[Haskell-cafe] Equirecursive types?

Jim Apple jbapple+haskell-cafe at gmail.com
Sun Mar 26 13:22:17 EST 2006

According to Pierce's book, O'Caml has an optional equirecursive type
extension that turns off the occurs check. Is there any particular
reason Haskell doesn't have that available?

Here's what got me thinking about it:


More information about the Haskell-Cafe mailing list