Daan
Daan
I have the same problem. the package hasn't been usable since version 1.19 (? I think) because of these errors :-(
Ah, apologies for the late response! It looks like a nice extension; I'll look into it. Perhaps it can be done as an inline suggestion such that pressing completes it...
I think it is fine to leave it in "as is" since it is not build or used by default (right?). That may help in case it gets revived
@mjansson thanks for joining the conversation :-) hope we can figure out what is happening -- I have not looked at this yet in detail myself. (I guess it could...
Yeah, their make is passing a flag to treat warnings as errors to there is not much I can do..
Thanks -- that is definitely a bug; hmm -- wonder where Koka regressed. I'll add your program to the test suite. tbc (Thanks Anton -- the same bug indeed)
yikes -- thanks for the report I think I know how to fix it. (for now, putting extensions in separate modules will probably work)
Yes, `optional` is not available to the programmer; there is only the `maybe` type. (as an aside: the original reason for having `optional` internally is to be able to generate...
Ah I see. Yes, I agree -- I will put this on the todo list and display indeed as either `x : int = ?` or (even better) `x :...
Ah, I like it. Let me see how to integrate this :-)