Tim Whiting
Actually this is now fixed on dev.
Let's avoid that change for now. Daan has changed some parsing on the branch dev-overload, and we should wait for that to be merged.
Ignore this: I misread the issue the first time. Real answer in follow-up comments. The println function requires the console effect to be handled. (It doesn't make sense to use...
Sorry, I completely read the signatures wrong. This is partially related to #401. Daan has told me that he does not let-generalize functions due to this paper: https://dl.acm.org/doi/abs/10.1145/1708016.1708023 However, he...
To work around it you can provide an explicit annotation for now: ```koka pub fun main() val f : forall () -> e int = get val str = f().show...
Hi, see #384 for the reintroduction of async support into Koka. As feedback on your approach `rcontext` should not escape the handler clause (resume will always be resolved locally to...
In line 1068 of the Parser ```haskell -- for now add a divergence effect to named effects/resources when there are type variables... -- this is too conservative though; we should...
One thing to note is that typically using keywords helps to disambiguate syntax earlier which means it can parse files much quicker. This is something that most newer languages try...
Other references: https://github.com/sosopop/uvhttp https://ayende.com/blog/185441-A/using-openssl-with-libuv
Note here that tlsuv seems actively maintained, however it does not currently support server side. They are open to contributions and that is likely the quickest route forward.