<html><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space; "><br><div><div>On Nov 21, 2008, at 2:04 PM, Jason Dagit wrote:</div><br class="Apple-interchange-newline"><blockquote type="cite"><div>Hello,<br><br></div></blockquote><div><blockquote type="cite">[...]</blockquote></div><blockquote type="cite"><br></blockquote><blockquote type="cite"><div>My understanding was that from 6.6 to 6.8, GADT type checking was<br>refined to fill some gaps in the soundness. Did that happen again<br>between 6.8 and 6.10 or is 6.10 being needlessly strict here?<br><br>Thanks,<br>Jason<br></div></blockquote><br></div><div>typing rules for gadts changed in 6.10. try:</div><div><br></div><div> <a href="http://haskell.org/haskellwiki/Upgrading_packages%23Changes_to_GADT_matching">http://haskell.org/haskellwiki/Upgrading_packages#Changes_to_GADT_matching</a></div></body></html>