simonpj 2002/11/11 02:53:29 PST
Modified files:
ghc/compiler/typecheck TcDeriv.lhs TcEnv.lhs TcType.lhs
ghc/compiler/types TyCon.lhs Type.lhs
ghc/compiler/utils Util.lhs
Log:
------------------
Fix a newtype-deriving bug
------------------
The new newtype-deriving mechanism was erroneously using the
*representation type* of the newtype. The rep type looks through all
ihtermediate newtypes, so that is wrong. See Note [newtype
representation] in TcDeriv.lhs
deriving/should_run/drvrun013 now tests for this.
Revision Changes Path
1.102 +17 -7 fptools/ghc/compiler/typecheck/TcDeriv.lhs
1.112 +1 -1 fptools/ghc/compiler/typecheck/TcEnv.lhs
1.83 +14 -9 fptools/ghc/compiler/typecheck/TcType.lhs
1.61 +8 -5 fptools/ghc/compiler/types/TyCon.lhs
1.111 +7 -10 fptools/ghc/compiler/types/Type.lhs
1.61 +10 -10 fptools/ghc/compiler/utils/Util.lhs
_______________________________________________
Cvs-ghc mailing list
[EMAIL PROTECTED]
http://www.haskell.org/mailman/listinfo/cvs-ghc
