instance inference

Ross Paterson ross at
Mon Feb 6 12:03:44 EST 2006

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).

More information about the Glasgow-haskell-users mailing list