Changes to the type checker with respect to UndecidableInstances

Mitsutoshi Aoe maoe at foldr.in
Sun Dec 28 10:47:07 UTC 2014


Hi,

I found a difference between GHC 7.6.3 and 7.8.3 with respect to UndecidableInstances.

https://gist.github.com/maoe/57a4346eb36aee159916 <https://gist.github.com/maoe/57a4346eb36aee159916>

7.6.3 requires UndecidableInstances to compile this snippet whereas 7.8.3 doesn't. What has changed in the type checker?

Mitsutoshi

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.haskell.org/pipermail/glasgow-haskell-users/attachments/20141228/0dd17acc/attachment.html>


More information about the Glasgow-haskell-users mailing list