Tim Whiting
Yes, I've seen this behavior too. You'll notice that `test1'` does cause the program to terminate which is technically a sort of exception just without an exceptional status or an...
To be clear, I think it should raise a message, I was just saying that it was technically exceptional behavior.
You are welcome to create a pull request, seems like you know what to do.
No clue. I don't have iOS devices. Other people have tried, and maybe been successful. However, you would need to include the dynamic library and set the location manually, as...
Yeah, set / get has always been tricky. I really don't have the time to look into this, but feel free to make a PR, I'm pretty good at getting...
So it looks like there is a bug in `Simplify.hs` when there are duplicate labels: I'm seeing the following: ```koka (fn(){ (std/core/hnd/@open1( (std/core/vector/unvlist( // Here is the problem (std/core/types/Cons((std/core/types/@make-ssize_t(0)), (std/core/types/Cons((std/core/types/@make-ssize_t(0)),...
This is what I've had to import for a similar error before: (using `now()`). ```koka import std/time import std/num/ddouble import std/time/instant import std/time/chrono import std/time/duration ``` I'm not sure if...
I've tracked this down a bit to the fact that the main wrapper doesn't import the same imports as the original file which then doesn't get the pub imports.
Yes, it looks like `bytes.c` already handles the `len+1` and terminating byte for all internal variants of strings. https://github.com/koka-lang/koka/blob/b1c558e91afbb39a2388f207df17c384a279cbc1/kklib/src/bytes.c#L18 I'll commit a quick fix on dev.
Marking this as draft: I've since made some updates here, which I need to migrate back to this PR: https://github.com/koka-community/std/blob/main/std/cextern.kk