Daan
Daan
std/os/readline should be in the latest release now (v2.3.6)
Right :-) Named handlers are still quite experimental and there is no `val` support for it right now -- it should not be too hard to add though (contact me...
ah, we should check for this and issue an error. However, note that at top-level there is a difference between a `val` and `fun` declaration, and only `val` declarations that...
should be fixed now :-)
Ah that is a bug -- a non-exhaustive pattern that does not match should always result in a Koka exception. Do you have an example where this fails?
Ah I will fix this with a nice dark&light theme. You can specify the colors on the command line but that is too cumbersome; until I fix this, you may...
I pushed an initial fix to `dev` and `feature/borrow` making the default scheme work on both dark and light consoles. It'll be in the next release. This also supports `--color=none`...
Yes, at the moment only static linking is supported; There is still work to be done to make even static linking better (and I hope it gets improved once I...
Hi @SchrodingerZhu -- thanks for your interest :-) Now with v2 coming to fruition, these are indeed high on the list. For **async**, we need: 1. First we need a...
Ouch! thanks for the reports -- it is a busy time for me until ICFP but will look at this later :-) One problem I can see is that `div`...