GADT Type Checking GHC 6.10 versus older GHC

[Daniel Gorín]

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