Existential Type Declarations in Hugs
Critterrathman@aol.com
Critterrathman@aol.com
Thu, 3 May 2001 17:20:06 EDT
--part1_cd.61a8300.28232586_boundary
Content-Type: text/plain; charset="US-ASCII"
Content-Transfer-Encoding: 7bit
In a message dated 5/3/2001 4:00:18 AM Central Daylight Time,
qrczak@knm.org.pl writes:
> Should be:
> setx (MakeExistentialShape a) newx = MakeExistentialShape (setx a
> newx)
> The result of setx must have the same type as its first argument.
>
Thanks. That solves my problem.
BTW, what is this "Skolem constant" that's referred to in the error message
that I received?
Chris Rathman
--part1_cd.61a8300.28232586_boundary
Content-Type: text/html; charset="US-ASCII"
Content-Transfer-Encoding: 7bit
<HTML><FONT FACE=arial,helvetica><FONT SIZE=4 FAMILY="SERIF" FACE="Times New Roman" LANG="0">In a message dated 5/3/2001 4:00:18 AM Central Daylight Time,
<BR>qrczak@knm.org.pl writes:
<BR></FONT><FONT COLOR="#000000" SIZE=2 FAMILY="SANSSERIF" FACE="Arial" LANG="0">
<BR><BLOCKQUOTE TYPE=CITE style="BORDER-LEFT: #0000ff 2px solid; MARGIN-LEFT: 5px; MARGIN-RIGHT: 0px; PADDING-LEFT: 5px">Should be:
<BR> setx (MakeExistentialShape a) newx = MakeExistentialShape (setx a
<BR>newx)
<BR>The result of setx must have the same type as its first argument.
<BR></BLOCKQUOTE>
<BR></FONT><FONT COLOR="#000000" SIZE=4 FAMILY="SERIF" FACE="Times New Roman" LANG="0">
<BR>Thanks. That solves my problem.
<BR>
<BR>BTW, what is this "Skolem constant" that's referred to in the error message
<BR>that I received?
<BR>
<BR>Chris Rathman
<BR>
<BR></FONT></HTML>
--part1_cd.61a8300.28232586_boundary--