OI in 7.10.1

[Sergei Meshveliani]

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 at haskell.org
> http://mail.haskell.org/cgi-bin/mailman/listinfo/glasgow-haskell-users
>