instance inference

[Ross Paterson]

On Mon, Feb 06, 2006 at 05:49:42PM +0300, Bulat Ziganshin wrote:
> one question - will be the same rules incorporated in Hugs? as you
> know, i'm trying to made Hugs+GHC compatible library, so this matters

Hugs does not attempt to restrict instances to enforce termination --
it just makes context reduction fail if it's taking too long (so any
instance that's legal for GHC is also fine for Hugs).  If some
restriction is included in Haskell', then Hugs should implement it
(but may continue to offer the other behaviour as an option).