arrow-kt / ank

ΛNK: Compile time docs verification and evaluation for Kotlin and Java (Temporarily moved to Arrow-kt)
https://github.com/arrow-kt/arrow/tree/master/modules/ank
Apache License 2.0
53 stars 3 forks source link

Bug fixes and better error reporting #17

Closed raulraja closed 6 years ago

raulraja commented 6 years ago
### ΛNK Compilation Error ###

x mappedResult1


error: unresolved reference: x
x
^

##############################

        at io.kategory.ank.InterpreterKt$compileCodeImpl$evaledSnippets$1$result$2.invoke(interpreter.kt:112)
        at io.kategory.ank.InterpreterKt$compileCodeImpl$evaledSnippets$1$result$2.invoke(interpreter.kt)
        at kategory.Try.fold(Try.kt:75)
        at io.kategory.ank.InterpreterKt.compileCodeImpl(interpreter.kt:111)
        at io.kategory.ank.main$main$$inlined$ankMonadErrorInterpreter$1$6.invoke(interpreter.kt:30)
        at io.kategory.ank.main$main$$inlined$ankMonadErrorInterpreter$1$6.invoke(interpreter.kt:21)
        at kategory.ApplicativeErrorKt.catch(ApplicativeError.kt:39)
        at io.kategory.ank.main$main$$inlined$ankMonadErrorInterpreter$1.invoke(interpreter.kt:30)
        at kategory.FreeKt$foldMap$1.invoke(Free.kt:83)
        at kategory.FreeKt$foldMap$1.invoke(Free.kt)
        at kategory.EitherInstances$DefaultImpls.tailRecM(EitherInstances.kt:18)
        at kategory.Either$Companion$instances$1.tailRecM(Either.kt:124)
        at kategory.Either$Companion$instances$1.tailRecM(Either.kt:124)
        at kategory.FreeKt.foldMap(Free.kt:79)
        at kategory.FreeKt$foldMap$1.invoke(Free.kt:87)
        at kategory.FreeKt$foldMap$1.invoke(Free.kt)
        at kategory.EitherInstances$DefaultImpls.tailRecM(EitherInstances.kt:18)
        at kategory.Either$Companion$instances$1.tailRecM(Either.kt:124)
        at kategory.Either$Companion$instances$1.tailRecM(Either.kt:124)
        at kategory.FreeKt.foldMap(Free.kt:79)
        at io.kategory.ank.main.main(main.kt:29)
:sample:runAnk FAILED