blob: bd0b9543af8ff366e981269cde5ca5d60038a1ee (
plain)
1
2
3
4
5
6
7
|
T14112.hs:5:21: error:
Invalid right-hand side of bidirectional pattern synonym ‘MyJust1’:
Pattern ‘!a’ is not invertible
Suggestion: instead use an explicitly bidirectional pattern synonym, e.g.
pattern MyJust1 a <- Just !a where MyJust1 a = ...
RHS pattern: Just !a
|
