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
_______________________________________________
Glasgow-haskell-users mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/glasgow-haskell-users
