20 Apr
2012
20 Apr
'12
1:25 a.m.
Has there been a change in the behaviour/requirement of TypeSynonymInstances as of GHC-7.4.1? (Not sure if this behaviour occurs with 7.2.1 as I don't have it installed) I had an instance for String for a class which ghc accepted whilst using FlexibleInstances; however, when trying to load it in 7.0.* it stated that TypeSynonymInstances was needed (which I forgot to add since it didn't seem to need it). All I could find in the release notes was that as of 7.2.1, both extensions were needed, not that one implied the other: http://www.haskell.org/ghc/docs/7.4.1/html/users_guide/release-7-2-1.html#id... Is this behaviour deliberate, or a bug? -- Ivan Lazar Miljenovic Ivan.Miljenovic@gmail.com http://IvanMiljenovic.wordpress.com