Dawn
Dawn
If I specify the flow types, the errors are reduced to a single error for exceeding the flow type. I'm not having any luck creating a minimal example. My attempts...
While the first code block is somewhat hard to read, as someone who doesn't use the postfix application operator, I would have no idea how to read the second code...
The example above of how painful this is is creating a function that does the update. Then it only needs to be written once, and every other update can simply...
I believe that is one of the things it is talking about (number two in Ted's list). However, I had to rearrange the compilation of case expressions to get completeness...
Correct. I'm in the pattern matching extension, so anything only changing primitive matching is safe to change.
I ended up being able to use the flow environment for #317, so that isn't doing any collecting of information.
I don't think that adding a new symbol is a good idea. Typing `new(t)` isn't that hard, and the name "new" gives some idea of what it is. Using `~t`,...