Manuel M T Chakravarty wrote:
I realise that principal types and principal typings are slightly different, but I wasI accept that this is the process by which GHC computes these types, but
it does violate the principal types property, doesn't it? The relation
Int -> () <= forall c. Int -> c
does not hold.
wondering if the fact that it has recently been shown that Hindley/Milner does not
have principal typings has any meaning here?
Keean.
_______________________________________________ Glasgow-haskell-users mailing list Glasgow-haskell-users@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-users
