Tim Whiting
I think the support is in core-integer-inline.js but `std/num/int32` and `std/num/int64` doesn't use that support?
These examples no longer take a long time to infer types / compile. Thanks for the feedback!
I think this might help: https://github.com/koka-lang/koka/issues/455#issuecomment-1919321032
I believe this is fixed now? The error message now references the main function.
I believe wasm works now. Please open new issues with further feedback on the wasm support. Use the --target=wasm flag. Currently we use emscripten and wasmtime which you can install...
Yes this is the recommended approach for now. Use the `-i` option to add more include directories (you can also add compiler arguments in the vscode extension settings) and just...
Seems fixed to me?
Was this ever supported for partially annotated type variables? I seem to remember running into this issue in general for type variables. Annotating concrete types has always worked, and I...
Haha, I've actually been doing the implements workaround already for a few days with sealed classes. Would love to see this feature.