<div dir="ltr">Hi Sergei,<br><div><br>I think you should use {-# OVERLAPPABLE #-}: see the description here <a href="https://ghc.haskell.org/trac/ghc/ticket/9242#comment:16">https://ghc.haskell.org/trac/ghc/ticket/9242#comment:16</a> which is probably in the manual somewhere too.<br><br></div><div>Regards,<br></div><div>Adam<br></div></div><div class="gmail_extra"><br><div class="gmail_quote">On Thu, May 21, 2015 at 9:40 AM, Sergei Meshveliani <span dir="ltr"><<a href="mailto:mechvel@botik.ru" target="_blank">mechvel@botik.ru</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">People,<br>
<br>
I wrote recently about finding places to set {-# OVERLAPPING #-}<br>
when porting an application from 7.8.2 to 7.10.1.<br>
<br>
I am doing this for porting  docon-2.12  from 7.8.2 to 7.10.1.<br>
<br>
And  ghc-7.10.1  indeed helped me to find several places to set this<br>
pragma (instead of using the total key -XOverlappingInstances).<br>
<br>
Finally, it has come to this module:<br>
<br>
---------------------------------------------<br>
Preprocessing library docon-2.12.1...<br>
[48 of 86] Compiling ResRing__  ( ResRing__.hs, dist/build/ResRing__.o )<br>
<br>
ResRing__.hs:183:31:<br>
    Overlapping instances for Eq (Maybe PropValue)<br>
      arising from a use of ‘/=’<br>
    Matching instances:<br>
      instance Eq a => Eq (Maybe a) -- Defined in ‘GHC.Base’<br>
      instance (Residue r, Eq a) => Eq (r a) -- Defined in ‘ResEuc0_’<br>
    In the expression: lookup IsGxBasis ps /= Just Yes<br>
    ...<br>
----------------------------------------------<br>
<br>
As before, I set<br>
   instance {-# OVERLAPPING #-} (Residue r, Eq a) => Eq (r a)  where<br>
            ...<br>
<br>
in  ResEuc0_.hs.<br>
<br>
But this does not help, the compiler continues with the same report.<br>
<br>
I see the difference to previous porting process in that one of the<br>
overlapping instances is of the GHC library, so that I cannot set the<br>
needed overlap pragma for it.<br>
<br>
On the other hand, ghc-7.8.2 compiled docon-2.12 successfully.<br>
<br>
What my be a way out?<br>
<br>
Thanks,<br>
<br>
------<br>
Sergei<br>
<br>
<br>
_______________________________________________<br>
Glasgow-haskell-users mailing list<br>
<a href="mailto:Glasgow-haskell-users@haskell.org">Glasgow-haskell-users@haskell.org</a><br>
<a href="http://mail.haskell.org/cgi-bin/mailman/listinfo/glasgow-haskell-users" target="_blank">http://mail.haskell.org/cgi-bin/mailman/listinfo/glasgow-haskell-users</a><br>
</blockquote></div><br></div>