Guy,
I agree that the report should be updated to express the restriction we
really have in mind. Simon: as editor, this is your bailiwick!
I also think its neat that you seem to have found a use for cyclic
unification. This is definitely an impetus to extend the language to
include cyclic typ
I blew it! My example had a bad flaw. See below.
Date: Mon, 22 Feb 93 19:30:19 GMT
From: wadler <[EMAIL PROTECTED]>
Guy,
I agree that the report should be updated to express the restriction we
really have in mind. Simon: as editor, this is your bailiwick!
I also think its
Please could you tell me how to change the heap size for Gofer for the PC, or
direct me to someone who would know.
Many thanks
Paresh Chauhan ([EMAIL PROTECTED])
Hi, I'm the author of Gofer and I use it quite a bit on PCs myself so I am
probably well qualified to answer your question:
| Please could you tell me how to change the heap size for Gofer for the PC,
| or direct me to someone who would know.
Except that, in order to answer this question, you
Guy asks the following (non-stupid) Haskell question, which I reply to
below. The question points out an area in the Haskell report that
seems to be unclear; and a place where it might be worthwhile to change
the design to be less conservative but more uniform.
Guy's question:
- Begin Incl
Date: Mon, 22 Feb 93 14:28:47 GMT
From: wadler <[EMAIL PROTECTED]>
Guy asks the following (non-stupid) Haskell question, which I reply to
below. The question points out an area in the Haskell report that
seems to be unclear; and a place where it might be worthwhile to change
th
