Wed Apr 25 02:16:46 PDT 2007 Manuel M T Chakravarty <[EMAIL PROTECTED]>
* Generating synonym instance representation tycons
- Type synonym instances are turned into representation synonym tycons
- They are entered into the pool of family instances (FamInst environments)
in the same way as data/newtype instances
- Still missing is writing the parent tycon information into ifaces and
various well-formedness checks.
M ./compiler/iface/BuildTyCl.lhs -32 +48
M ./compiler/iface/TcIface.lhs -1 +3
M ./compiler/prelude/TysWiredIn.lhs -1 +1
M ./compiler/typecheck/TcEnv.lhs -1 +1
M ./compiler/typecheck/TcTyClsDecls.lhs -7 +18
M ./compiler/types/Coercion.lhs -11 +11
M ./compiler/types/FamInstEnv.lhs -1 +1
M ./compiler/types/TyCon.lhs -10 +22
_______________________________________________
Cvs-ghc mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/cvs-ghc
