False alarm. I am sorry. This was an unexpected ghc-7.8.2 intrusion instead of 7.10.1.
The only remaining question is, so far -- of how to find all the needed places in docon-2.12 to set OVERLAPPING, what errors are possible in this matter. ------ Sergei On Thu, 2015-05-21 at 15:00 +0300, Sergei Meshveliani wrote: > Please, what is wrong here? > > --------------------------------------------------------------- > module OI where > class Foo a where foo :: a -> Bool > > instance Foo Bool where foo _ = True > > data C a = C a > > instance {-# OVERLAPPING #-} Foo a => Foo (C a) where foo (C a) = foo a > instance {-# OVERLAPPING #-} Foo (C Bool) where foo _ = False > --------------------------------------------------------------- > > By this I intended to test the overlapping instance control. > I set the pragma as it is shown in the User guide. > And > ghc-7.10.1 -c -XFlexibleInstances OI.hs > > reports "Unrecognised pragma". > > Please, advise, > > ------ > Sergei > > _______________________________________________ > Glasgow-haskell-users mailing list > Glasgow-haskell-users@haskell.org > http://mail.haskell.org/cgi-bin/mailman/listinfo/glasgow-haskell-users > _______________________________________________ Glasgow-haskell-users mailing list Glasgow-haskell-users@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/glasgow-haskell-users