Jonathan Immanuel Brachthäuser
Jonathan Immanuel Brachthäuser
@xeno-by Ad 2) I was using `dummy123.tpe` on the typechecked tree which always yielded ``. Switching to `dummy123.symbol.typeSignature` (as you did in your gist) works. Thanks a lot.
This is related to this proposal: https://github.com/effect-handlers/wasm-effect-handlers
@daanx ping :)
I think the easiest way is to define your own Stream, where the tail is an unforced computation (that is, in `Control`), like: ``` sealed trait Stream[T] case class Halt[T]()...
It is now also possible to write tests as literal Markdown files: https://github.com/effekt-lang/effekt/blob/master/examples/features/adt.md This way, we can have automatically checked documentation.
Note that it is a bit inconvenient to have example files as `md` since one cannot simple run them. This is both the case for developing them as well as...
Effekt now has a literate mode. More precisely, it can compile md files by ignoring everything outside of code fences. This way readers of the documentation can simply run the...
I think this issue is still a great way to get to learn the language. What do you think @edding4500 ?
That's not necessary anymore, see one comment after. A few tests are already written as Markdown files. For example the case studies: https://github.com/effekt-lang/effekt/blob/master/examples/casestudies/anf.md
@edding4500 Thanks for reporting! Can you double-check whether my latest commit resolves the issue for you?