Changes to the type checker with respect to UndecidableInstances

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


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

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


-------------- next part --------------
An HTML attachment was scrubbed...
URL: <>

More information about the Glasgow-haskell-users mailing list