> > John notes that recursive type synonyms may lead to less comprehensible
> > error messages.  Good point!

> As John says, experimentation would be a good idea.  Any takers?
> Cheers,  -- P

A simple suggestion (for experimentation): All recursive types needed to
typecheck a program must be explicitly named in the program.
This should allow construction of meaningful error messages. Of course,
type synonyms should also be regular to avoid the problem highlighted
by Stefan Kahrs.

Chris Reade
*-------------------------------------.
| email: [EMAIL PROTECTED]     |
|   Tel: (+44) (0)895 274000 ext.2122 |
|   Fax: (+44) (0)895 251686          |
|  *--------------------------------------.
|  |   Dr. C.M.P.Reade,                   |
*--|   Department of Computer Science,    |
   |   Brunel University,                 |
   |   Uxbridge,                          |
   |   Middlesex UB8 3PH                  |
   |   England                            /
   *-------------------------------------'



Reply via email to