blob: ba3799d2019c309443377076686409c3f3584eb4 (
plain)
1
2
3
4
5
6
7
|
unidir.hs:4:18: error:
Invalid right-hand side of bidirectional pattern synonym ‘Head’:
Pattern ‘_’ is not invertible
Suggestion: instead use an explicitly bidirectional pattern synonym, e.g.
pattern Head x <- x : _ where Head x = ...
RHS pattern: x : _
|