simonpj 2005/05/26 14:37:14 PDT
Modified files:
ghc/compiler/typecheck TcBinds.lhs
Log:
MERGE TO STABLE
Put back in a missing case for higher-rank types. When the
definition is
a) non-recursive
b) a function binding
c) lacks a type signature
we want to *infer* a perhaps-higher-rank type for the RHS,
before making a monomorphically-typed Id for the LHS.
E.g. f = \(x :: forall a. a->a) -> (x True, x 'c')
This case got lost in the transition to 6.4
tc194 tests it
Revision Changes Path
1.143 +20 -0 fptools/ghc/compiler/typecheck/TcBinds.lhs
_______________________________________________
Cvs-ghc mailing list
[EMAIL PROTECTED]
http://www.haskell.org/mailman/listinfo/cvs-ghc
