Re: Existential Type Declarations in Hugs

[Critterrathman]

In a message dated 5/3/2001 4:00:18 AM Central Daylight Time,
[EMAIL PROTECTED] 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