21 Nov
2008
21 Nov
'08
11:25 a.m.
On Nov 21, 2008, at 2:04 PM, Jason Dagit wrote:
Hello,
[...]
My understanding was that from 6.6 to 6.8, GADT type checking was refined to fill some gaps in the soundness. Did that happen again between 6.8 and 6.10 or is 6.10 being needlessly strict here?
Thanks, Jason
typing rules for gadts changed in 6.10. try: http://haskell.org/haskellwiki/Upgrading_packages#Changes_to_GADT_matching