[clean-list] Clean Book Part II Case studies: my problem solved

John W. Small jsmall@laser.net
Sat, 16 Mar 2002 18:52:38 -0500


This is a multi-part message in MIME format.

------=_NextPart_000_001D_01C1CD1B.BE3C79D0
Content-Type: text/plain;
	charset="iso-8859-1"
Content-Transfer-Encoding: quoted-printable

Hi,

Thanks to RT Happe who solved my mistake.

In part II, chapter 5, section 5.10

If the following

        gen :: ([s] e e -> e) [[s]] (Parser s e) -> Parser s e | =3D=3D =
s

is changed to

        gen :: ([s] e e -> e) [[s]] (Parser s e) -> Parser s e | Eq s

the gen function then compiles without error.

Thanks RT!  Had I understand type class context constraints
I wouldn't have made such a silly mistake.

John



------=_NextPart_000_001D_01C1CD1B.BE3C79D0
Content-Type: text/html;
	charset="iso-8859-1"
Content-Transfer-Encoding: quoted-printable

<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.0 Transitional//EN">
<HTML><HEAD>
<META http-equiv=3DContent-Type content=3D"text/html; =
charset=3Diso-8859-1">
<META content=3D"MSHTML 6.00.2600.0" name=3DGENERATOR>
<STYLE></STYLE>
</HEAD>
<BODY bgColor=3D#ffffff>
<DIV><FONT face=3DArial size=3D2>Hi,</FONT></DIV>
<DIV><FONT size=3D2></FONT>&nbsp;</DIV>
<DIV><FONT size=3D2>Thanks to RT Happe who solved my =
mistake.</FONT></DIV>
<DIV><FONT size=3D2></FONT>&nbsp;</DIV>
<DIV><FONT size=3D2>In part II, chapter 5, section 5.10</FONT></DIV>
<DIV><FONT size=3D2></FONT>&nbsp;</DIV>
<DIV><FONT size=3D2>If the following</FONT></DIV>
<DIV><FONT size=3D2></FONT>&nbsp;</DIV>
<DIV><FONT face=3DArial size=3D2>&nbsp;&nbsp;&nbsp; &nbsp;&nbsp;&nbsp; =
gen :: ([s] e=20
e -&gt; e) [[s]] (Parser s e) -&gt; Parser s e | =3D=3D s</FONT></DIV>
<DIV><FONT size=3D2></FONT>&nbsp;</DIV>
<DIV><FONT size=3D2>is changed to</FONT></DIV>
<DIV><FONT size=3D2></FONT>&nbsp;</DIV>
<DIV><FONT size=3D2>
<DIV><FONT face=3DArial size=3D2>&nbsp;&nbsp;&nbsp; &nbsp;&nbsp;&nbsp; =
gen :: ([s] e=20
e -&gt; e) [[s]] (Parser s e) -&gt; Parser s e |&nbsp;Eq s</FONT></DIV>
<DIV>&nbsp;</DIV>
<DIV><FONT face=3DArial>the gen function then compiles without =
error.</FONT></DIV>
<DIV>&nbsp;</DIV>
<DIV><FONT face=3DArial>Thanks RT!&nbsp; Had I understand type class =
context=20
constraints</FONT></DIV>
<DIV>I wouldn't have made such a silly mistake.</DIV>
<DIV>&nbsp;</DIV>
<DIV><FONT face=3DArial>John</FONT></DIV>
<DIV>&nbsp;</DIV></FONT></DIV>
<DIV><FONT size=3D2></FONT>&nbsp;</DIV></BODY></HTML>

------=_NextPart_000_001D_01C1CD1B.BE3C79D0--