-haskell-users [mailto:glasgow-haskell-users-
| boun...@haskell.org] On Behalf Of Merijn Verstraaten
| Sent: 03 September 2014 06:59
| To: GHC Users List
| Subject: GHC not able to detect impossible GADT pattern
|
| I've been trying to stretch GHC's type system again and somehow managed
| to get myself
when testing Tom's shiny new version.
Simon
| -Original Message-
| From: Glasgow-haskell-users [mailto:glasgow-haskell-users-
| boun...@haskell.org] On Behalf Of Merijn Verstraaten
| Sent: 03 September 2014 06:59
| To: GHC Users List
| Subject: GHC not able to detect
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
I’ve been trying to stretch GHC’s type system again and somehow managed to get
myself into a position where GHC warns about a non-exhaustive pattern where
adding the (according to GHC) missing pattern results in a type error (as
intended by me). It seems that even with closed type families GHC