Tim Whiting
I'm curious why you need a factory function that is named the same as the data type? You can use default expressions on the data type definition if there is...
https://koka-lang.github.io/koka/doc/book.html#sec-structs The example shows initializing realname with name, but it is just any arbitrary expression (provided it doesn't use effects I think? Not sure about that)
@daanx I was leaving this open, particularly because the error message that @chtenb ran into is particularly unintuitive.
@woojamon Explicitly adding `,?show=show` works, but the above example without the explicit `show` should ideally work as well. Ahh, I think I figured it out. The main function isn't in...
It just happens to be typed checked prior to main, or is uniquely named.
This is a known issue. It also happens with the language server / vscode extension. I'm pretty sure it has to do with Haskell's laziness. I'd love to figure this...
I guess the request is for something like protected? If you give a Koka file a module declaration by default all of its functions are private unless explicitly marked `pub`....
Yeah, there is no current mechanism for that in Koka, other than to include the private definitions in the library you want to use them in - though this makes...
Only the pub functions should be re-exported and available. If that is not the case we should create a new issue for this.
> i think the latest Unicode version in use is 15.1 (16 is in draft) > > https://www.unicode.org/Public/UNIDATA/EastAsianWidth.txt Thanks for the pointer to a link that doesn't have a hard-coded...