Re: Polymorphic recursion

1994-01-06 Thread Sebastian Hunt
On Thu, 6 Jan 1994, Simon L Peyton Jones wrote: > OK, here's my example. I hope it's right. I was writing a compiler > pass which looked at a data type something like > > data Expr = Let Bind Expr > | ... > > data Bind = MkBind String Expr > > Then I had three fu

Re: Polymorphic recursion

1994-01-06 Thread Simon L Peyton Jones
| From: Sebastian Hunt <[EMAIL PROTECTED]> | Date: Thu, 9 Dec 1993 16:00:13 GMT | In the interests of keeping things (ie, the haskell type system) | as simple as possible, I would vote (if I had a vote) against this | proposal. Unless, of course, I was persuaded that the extension was | Really