The warning format is slightly different in GHC 7.10 and GHC 8.2.2:
Warning:
Pattern match(es) are non-exhaustive
In a case alternative: Patterns not matched: Just False
vs
warning:
Pattern match(es) are non-exhaustive
In a case alternative: Patterns not matched: (Just False)
I tried to match against the very liberal pattern
...
...Just False...
...
But apparently doctest doesn't consider the empty string to match "...".
Doctest also doesn't recognize the TH syntax or something, because when I use its :{ ... :} multiline syntax, it complains that my multiline block isn't terminated.
I really like doctest, but it doesn't seem to be a good fit for this project, so I guess I should write my own test harness.
The warning format is slightly different in GHC 7.10 and GHC 8.2.2:
vs
I tried to match against the very liberal pattern
But apparently doctest doesn't consider the empty string to match "...".
Doctest also doesn't recognize the TH syntax or something, because when I use its
:{ ... :}multiline syntax, it complains that my multiline block isn't terminated.I really like doctest, but it doesn't seem to be a good fit for this project, so I guess I should write my own test harness.