Error: Pattern match is redundant
In a case alternative: (Slist [] _) -> ...
|
67 | (Slist [] _) -> error "looking for a first ENode in an empty ENodeSet."
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
But looking at the code I don't see how it finds it redundant.
GHC9 complains
But looking at the code I don't see how it finds it redundant.