GADT Type Checking GHC 6.10 versus older GHC

Daniel Gorín dgorin at dc.uba.ar
Fri Nov 21 11:25:22 EST 2008


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
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://www.haskell.org/pipermail/glasgow-haskell-users/attachments/20081121/a1d5855b/attachment.htm


More information about the Glasgow-haskell-users mailing list