GHC-like line snippets in warning messages
Currently, warning messages only contain an abstract representation of the problem in the user's source code:
..\curry-playground\MultiBranch.curry, line 4.5: Warning: Pattern matches are potentially unreachable In a case alternative: _ -> ...
It would be nice to have a GHC-like message printing the relevant line(s) in the source code:
..\curry-playground\MultiBranch.hs:6:5: warning: [-Woverlapping-patterns] Pattern match is redundant In a case alternative: _ -> ... | 6 | _ -> 4 | ^^^^^^
To upload designs, you'll need to enable LFS. More information