Fri Aug 18 16:11:37 PDT 2006 Manuel M T Chakravarty <[EMAIL PROTECTED]>
* Extend TyCons and DataCons to represent data instance decls
- This is a faily involved patch, but it is not entirely complete:
+ The data con wrapper code for instance data cons needs to apply the
coercions (which we still have to generate).
+ There are still bugs, but it doesn't seem to affect the compilation of
code that doesn't use type families.
** WARNING: Yet another change of the iface format. **
** Recompile everything. **
M ./compiler/basicTypes/DataCon.lhs -6 +27
M ./compiler/basicTypes/MkId.lhs -9 +23
M ./compiler/iface/BinIface.hs -5 +8
M ./compiler/iface/BuildTyCl.lhs -8 +23
M ./compiler/iface/IfaceSyn.lhs -10 +28
M ./compiler/iface/MkIface.lhs -8 +16
M ./compiler/iface/TcIface.lhs -5 +19
M ./compiler/prelude/TysWiredIn.lhs -1 +4
M ./compiler/typecheck/TcHsType.lhs -1 +2
M ./compiler/typecheck/TcInstDcls.lhs -20 +36
M ./compiler/typecheck/TcTyClsDecls.lhs -38 +48
M ./compiler/types/TyCon.lhs -28 +30
_______________________________________________
Cvs-ghc mailing list
[EMAIL PROTECTED]
http://www.haskell.org/mailman/listinfo/cvs-ghc
