Daan
Daan
Ah this is indeed a real bug :-( -- I tried to run with `--target=js` and also got an error. Strange -- it might be that it is ill-typed but...
Maybe it has to do with the `mask` in `many`... I see the typing is quite tricky there, interesting :-)
Ah yes -- it should be written as: ```koka raw ctl yield(a) Just( (a, Iter(fn() rcontext.resume(()) )) ) ``` (.. but if you forget this there should be an error...
I just skimmed the discussion so apologies if I am rehashing :-), but: ``` module foo ref struct model value : int fun model(b : bool) : model Model(if b...
Yes -- there is some kind of space leak... I think it is a laziness issue but haven't been able to find it (yet)... I think it has to do...
That is so strange that my path is in there.. how can that be? (I guess because I built a binary and the .o files contain debug information about header...
Ah, I can repro it -- it works with `--cc=clang` so it is some problem with gcc; I'll look into it further tomorrow
It is fixed in `dev` now -- it was because I built on Ubuntu 18 (so libs are compatible) but that has gcc 7.4 which doesn't have __has_builtin, causing link...
Hmm, I don't have a macos 12 Intel build to try on .. can you try running this in the interactive prompt and see if you can see more information?...
Ah, I know about this bug but haven't been able to find the culprit yet. You can work around it by importing `std/time/timestamp` explicitly I think.