Tim Whiting
PR open with fix for this one.
Try `sudo ulimit -s unlimited` to allow unlimited stack growth if you are on Linux / MacOS. This is an issue that we are aware of, and is because Koka...
I think this has to do with public private. To workaround the bug you can change to `pub extend type`.
I keep running into this, and sometimes changing to pub works, but sometimes it doesn't. I'm going to take a deeper look.
Okay, the issue is that right now the constructor tag is special cased in the C codegen, because it needs to be defined prior to use in the constructor, but...
Yeah, just tried it and it breaks like all of the current standard library, which has a lot of `inline extern` definitions in header files that reference private constructors.
I agree that check : or file name stuff should still be highlighted differently. Possibly with the grey of the default text.
Can you update the screenshot with the magenta for this PR?
`total` is another effect that should be considered here. In math `total` function means that it is defined for it's whole domain (i.e. no exceptions & divergence). It says nothing...
In some ways I agree with you. It seems to be a keyword more like `fip` / `fbip` - since the effect seems mostly related to code complexity, though it...