RE: Polymorphic recursion

[Simon Peyton-Jones]

> I don't know whether ghc uses an iteration limit mechanism --
> my guess is that it probably uses the same technique as Hugs.

No, it's an iteration limit.  (When you say -fallow-undecideable-instances).

Simon