Re: Polymorphic recursion

[Joe Fasel]

I support Simon's proposal to allow explicitly typed polymorphic recursion.
It is consistent with the exception to the monomorphism restriction
for explicit typings.  Let's get a ruling from the type wizards that the
principle is sound, however, and from the implementors that it doesn't
seriously complicate a type checker.

--Joe

Joseph H. Fasel                         email:  [EMAIL PROTECTED]
Computer Research and Applications      phone:  +1 505 667 7158
University of California                fax:    +1 505 665 5220
Los Alamos National Laboratory          postal: C-3 MS B265
                                                Los Alamos, NM  87545