> Simon Marlow <[EMAIL PROTECTED]> writes:
>
> > Modified files:
> > ghc/docs/users_guide glasgow_exts.sgml
> > Log:
> > Remove references to Haskell 1.4, replace with up to date
> Haskell 98
> > references. Includes removing a comment about the fact
> that Haskell
> > 1.4 didn't have principle types (Haskell 98 fixed that bug).
>
> Are you sure? I was under the impression that Haskell'98 still does
> not have principle types. It does however have principle /typings/
> I believe.
I was referring to a different bug: in Haskell 1.4 constraints like C (m
a) weren't allowed, but they are required for the principle types of
certain functions (see section 4.5.3 in the report).
I wasn't aware that Haskell had monormorphism-restriction-related
problems with principality too - thanks for pointing it out. However,
it doesn't affect the commit above.
Cheers,
Simon
_______________________________________________
Cvs-ghc mailing list
[EMAIL PROTECTED]
http://www.haskell.org/mailman/listinfo/cvs-ghc
