Re: Existential Type Declarations in Hugs
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
On Thu, 3 May 2001 Critterrathman@aol.com wrote: (snip)
BTW, what is this "Skolem constant" that's referred to in the error message that I received?
A combination of http://www.sdsc.edu/~tbailey/teaching/cse151/lectures/chap09a.html and http://cs.wwc.edu/~aabyan/Logic/normal.html may answer that for you. (-: (It was too long ago now for me to remember much, and I'm not sure where my notes are, so I daren't attempt an explanation myself!) -- Mark
participants (2)
-
Critterrathman＠aol.com -
Mark Carroll