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
> [email protected]
> http://mail.haskell.org/cgi-bin/mailman/listinfo/glasgow-haskell-users
>
_______________________________________________
Glasgow-haskell-users mailing list
[email protected]
http://mail.haskell.org/cgi-bin/mailman/listinfo/glasgow-haskell-users
