Tim Whiting

This is the relevant code from `hnd.kk` ```koka pub fun finally( fin : () -> e (), action : () -> e a ) : e a finally-prompt(fin, action()); fun...

It looks like this is something specific to a configuration where the files are in the WSL filesystem, but vscode is not used in a client(windows)-server(wsl) configuration, instead opening just...

For reference this is how we are currently doing cancellation in Koka. (Sidenote, adding Koka's language server was my first time working in Haskell, and especially working with any asynchronous...

See https://github.com/koka-lang/koka/blob/f48555f1e2ba211f3e86524a15668597cad19118/lib/std/text/unicode.kk#L56 for the details on how koka currently reports graphemes. Note that strings already are utf16, and characters are utf16 code points. So doing `string.list` gives you characters at...

@Salakar @pr-Mais?

You should probably just do: ```dart class YourClass { final String url; static Future? urlToImageBytes(String url) async => http.readBytes(Uri.parse(url)); late final Uint8List? value => urlToImageBytes(url); } ```

I think you have to explicitly state that you want the type parameter to be polymorphic. See the video here for more information on the value type system (HMF): https://dl.acm.org/doi/abs/10.1145/1411204.1411245...

Note that you can also do this, though forall is better documentation at a function level I think: ``` fun test-fun(init: a): total () { var foo := (init: some...

This should be fixed on the dev branch now.

@chrisdone With the latest release of Koka, all identifiers must be locally qualified if ambiguous, and property accessor functions are locally qualified by the type name. This way, all identifiers...