The following error message just contains a typo before existential
context.
Cheers Christian
Compiling Syntax ( Syntax.hs, ./Syntax.o )
Syntax.hs:56:
Could not deduce (Institution id1 basic_spec1 local_env1,
Institution id basic_spec local_env)
Thanks. Will be fixed in 5.04
| -Original Message-
| From: Christian Maeder [mailto:[EMAIL PROTECTED]]
| Sent: 04 July 2002 13:37
| To: [EMAIL PROTECTED]
| Subject: typo in error message: duplicate the
|
|
| The following error message just contains a typo before
| existential
