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.
See for instance Karl-Filip Faxen, "A Static Semantics for Haskell",
JFP 12(4-5), 2002. The abstract says:
"A surprising result of this formalization effort is that the
monomorphism restriction, when rendered in a system of inference
rules, compromises the principal type property."
Regards,
Malcolm
_______________________________________________
Cvs-ghc mailing list
[EMAIL PROTECTED]
http://www.haskell.org/mailman/listinfo/cvs-ghc
