patch applied (ghc): Generating synonym instance representation tycons

[chak at cse.unsw.edu.au]

Wed Apr 25 02:16:46 PDT 2007  Manuel M T Chakravarty <chak at cse.unsw.edu.au>
  * 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