> Nor do I know how Hugs and nhc manage to succeed! I don't think either
> of them do fancy hash-consing of types. Maybe Malcolm W knows?
Malcolm is on holidays.
nhc98 doesn't do anything fancy with types.
> | Since the type system is predicative, the leftmost instance
> | of `copy' is instan
Interesting. I hadn't realised that predicativity could affect size of
types.
Nor do I know how Hugs and nhc manage to succeed! I don't think either
of them do fancy hash-consing of types. Maybe Malcolm W knows?
Simon
| -Original Message-
| From: Ralf Hinze [mailto:[EMAIL PROTECTED]