Jonathan Lindegaard Starup
Jonathan Lindegaard Starup
!!!jar
No I don't know - haven't looked into it
Yeah i think thats fine, but we should blame the definition not the use site. I don't know which phase, but something should point to the `
Continued by #7825
I think i remember you saying that this is the plan @magnus-madsen
@magnus-madsen you want this merged in or should it just live on that summary branch?
for a paper we want to count the variables that are "subtyping slack", so if some rule says that `a
Cool :) thats better yeah. will it be something like `hey you have a lowercase constructor` or how ambitious is the parser errors?
Regards the final line, I think that this signature more uniformly conveys that two kinds of error can happend `Result[Either[IoError, EofError], Int32]`
Ah I see, and if you read zero things you can't differentiate.