guards

Cagdas Ozgenc co19@cornell.edu
Fri, 29 Mar 2002 09:30:34 +0200


This is a multi-part message in MIME format.

------=_NextPart_000_0327_01C1D704.60869BC0
Content-Type: text/plain;
	charset="iso-8859-1"
Content-Transfer-Encoding: quoted-printable

Greetings.

Is it requried that the type used in guards always Bool?
It seems to me that the Haskell language is dependent to Bool type, and =
Bool type is depending to the Haskell language causing a circular =
dependency problem. Of course this is not a practical issue.

Is there a theoretical explanation?

Thanks for taking time.


------=_NextPart_000_0327_01C1D704.60869BC0
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 content=3D"text/html; charset=3Diso-8859-1" =
http-equiv=3DContent-Type>
<META content=3D"MSHTML 5.00.3315.2870" name=3DGENERATOR>
<STYLE></STYLE>
</HEAD>
<BODY bgColor=3D#ffffff>
<DIV><FONT face=3DArial size=3D2>Greetings.</FONT></DIV>
<DIV>&nbsp;</DIV>
<DIV><FONT face=3DArial size=3D2>Is it requried that the type used in =
guards always=20
Bool?</FONT></DIV>
<DIV><FONT face=3DArial size=3D2>It seems to me that the Haskell =
language is=20
dependent to Bool type, and Bool type is depending to the Haskell =
language=20
causing a circular dependency problem. Of course this is not a practical =

issue.</FONT></DIV>
<DIV>&nbsp;</DIV>
<DIV><FONT face=3DArial size=3D2>Is there a theoretical =
explanation?</FONT></DIV>
<DIV>&nbsp;</DIV>
<DIV><FONT face=3DArial size=3D2>Thanks for taking time.</FONT></DIV>
<DIV>&nbsp;</DIV></BODY></HTML>

------=_NextPart_000_0327_01C1D704.60869BC0--