I believe this is probably an instance of
https://ghc.haskell.org/trac/ghc/ticket/3927
There are numerous other similar tickets, about GHC's inadequate/misleading
warnings for non-exhaustive patterns. A selection is
#595, #5728, #3927, #5724, #5762, #4139, #6124, #7669, #322, #8016,
Hi Simon,
Thanks for the clarification, I attached the code to that ticket. Does this
mean improvements in this area are supposed to land in 7.10?
Semi-relatedly, before attempting the current code (which at least compiles), I
had a few other attempts and I was hoping you (or other readers)
List
| Subject: Re: GHC not able to detect impossible GADT pattern
|
| Hi Simon,
|
| Thanks for the clarification, I attached the code to that ticket. Does
| this mean improvements in this area are supposed to land in 7.10?
|
| Semi-relatedly, before attempting the current code (which at least
