Re: Polymorphic recursion

[Fergus Henderson]

On 03-Nov-1998, Mark P Jones <[EMAIL PROTECTED]> wrote:
> ghc doesn't need to use an iteration limit because it subjects the input
> source program to stricter limits to guarantee decidability.

The release notes for ghc 4.00 mention a new `-fallow-undecidable-instances'
option.  I presume that it does what it says.

-- 
Fergus Henderson <[EMAIL PROTECTED]>  |  "I have always known that the pursuit
WWW: <http://www.cs.mu.oz.au/~fjh>  |  of excellence is a lethal habit"
PGP: finger [EMAIL PROTECTED]        |     -- the last words of T. S. Garp.