<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.0 Transitional//EN">
<HTML><HEAD>
<META content="text/html; charset=us-ascii" http-equiv=Content-Type>
<META name=GENERATOR content="MSHTML 8.00.6001.19328"></HEAD>
<BODY>
<DIV><FONT size=2 face=Arial><SPAN class=796202117-24102012>A year ago I made a 
program.&nbsp;I&nbsp;took&nbsp;code from ApplicativeParsec.hs (capt. 16 Real 
World Haskell).</SPAN></FONT></DIV>
<DIV><FONT size=2 face=Arial><SPAN class=796202117-24102012>The program 
compiled&nbsp;and ran flawless. Now (after a year) I've upgraded to GHC version 
7.0.4 (Windows) and&nbsp;I want to change something. But&nbsp;the&nbsp;unchanged 
version doesn't compile any more. I get warning:</SPAN></FONT></DIV>
<DIV><FONT size=2 face=Arial><SPAN 
class=796202117-24102012>ApplicativeParsec.hs:17:10:<BR>&nbsp;&nbsp;&nbsp; 
Illegal instance declaration for `Applicative (GenParser s 
a)'<BR>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; (All instance types must be of the form (T 
t1 ... tn)<BR>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; where T is not a 
synonym.<BR>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; Use -XTypeSynonymInstances if 
you want to disable this.)<BR>&nbsp;&nbsp;&nbsp; In the instance declaration for 
`Applicative (GenParser s a)'</SPAN></FONT></DIV>
<DIV><FONT size=2 face=Arial></FONT>&nbsp;</DIV>
<DIV><FONT size=2 face=Arial><SPAN 
class=796202117-24102012>ApplicativeParsec.hs:22:10:<BR>&nbsp;&nbsp;&nbsp; 
Illegal instance declaration for `Alternative&nbsp;....(same advice 
as&nbsp;above)</SPAN></FONT></DIV>
<DIV><FONT size=2 face=Arial><SPAN 
class=796202117-24102012></SPAN></FONT>&nbsp;</DIV>
<DIV><FONT size=2 face=Arial><SPAN class=796202117-24102012>So I added 
TypeSynonymInstances. Then I got:</SPAN></FONT></DIV>
<DIV><FONT size=2 face=Arial><SPAN 
class=796202117-24102012>ApplicativeParsec.hs:22:10:<BR>&nbsp;&nbsp;&nbsp; 
Overlapping instances for Applicative (GenParser s 
a)<BR>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; arising from the superclasses of an 
instance declaration<BR>&nbsp;&nbsp;&nbsp; Matching 
instances:<BR>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; instance Applicative 
(Text.Parsec.Prim.ParsecT s u m)<BR>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; 
-- Defined in Text.Parsec.Prim<BR>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; instance 
Applicative (GenParser s a)<BR>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; -- 
Defined at ApplicativeParsec.hs:17:10-36<BR>&nbsp;&nbsp;&nbsp; In the instance 
declaration for `Alternative (GenParser s a)'</SPAN></FONT></DIV>
<DIV><FONT size=2 face=Arial><SPAN 
class=796202117-24102012></SPAN></FONT>&nbsp;</DIV>
<DIV><FONT size=2 face=Arial><SPAN class=796202117-24102012>Then I added the 
OverlappingInstances directive.&nbsp;Same&nbsp;error and no 
compilation.</SPAN></FONT></DIV>
<DIV><FONT size=2 face=Arial><SPAN 
class=796202117-24102012></SPAN></FONT>&nbsp;</DIV>
<DIV><FONT size=2 face=Arial><SPAN class=796202117-24102012>I wonder, is this 
the new GHC version? And what can I do about it?</SPAN></FONT></DIV>
<DIV><FONT size=2 face=Arial><SPAN 
class=796202117-24102012></SPAN></FONT>&nbsp;</DIV>
<DIV><FONT size=2 face=Arial><SPAN 
class=796202117-24102012>Kees</SPAN></FONT></DIV>
<DIV><FONT size=2 face=Arial><SPAN 
class=796202117-24102012></SPAN></FONT>&nbsp;</DIV></BODY></HTML>