cvs commit: fptools/ghc/docs/users_guide glasgow_exts.sgml
simonmar at microsoft.com
Tue Nov 4 09:30:29 EST 2003
> Simon Marlow <simonmar at glass.cse.ogi.edu> 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.
More information about the Cvs-ghc