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