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
| ^^^^^^