Edvard Thörnros

Thanks for the feedback @rhendric! :D I agree it's not the most elegant solution. I also dislike the visual clutter this causes. But I don't agree that the information isn't...

I don't know the inns and outs of the type checker perfectly. But reading @MonoidMusician s comment: > The tricky part is that unification mismatches can apply in e.g. contravariant...

Great to have more input! I've been thinking about this quite a bit for the last days. I you're both right that a more diff like approach is better. Particularly...

I've rewritten the errors to now display a diff. Should be easier to see typos. This is what it looks like one commit back:  (ce2fa58) I made some alterations...

TL;DR: I'll gladly implement this more thoroughly. But is this likely to get merged? > Could you clarify what those alterations were? I removed one of the parenthesis in the...

I have now made the changes that @rhendric suggested. The tests noted a change in one place, and I would say it's equally good or an improvement. This change doesn't...

> Also, are there any downsides to making this change? Can you explain what they are or why they don't exist? TL;DR: These changes improve the error messages somewhat. From...

I'd love to see this merged. What more do you want me to do?

I also hate when this happens (#same). But I'm also scared of the type-checker. I'm very interested in looking at this. But I'm not sure we have to go digging...

Great write up! I think the elm parser does something similar - it jumps to the next "start of line" expression and carries on from there. So: ``` a =...