git.megacz.com Git - ghc-hetmet.git/commit - compiler/iface/BuildTyCl.lhs

author	Manuel M T Chakravarty <chak@cse.unsw.edu.au>
	Wed, 25 Apr 2007 09:16:46 +0000 (09:16 +0000)
committer	Manuel M T Chakravarty <chak@cse.unsw.edu.au>
	Wed, 25 Apr 2007 09:16:46 +0000 (09:16 +0000)
commit	13cd965d80be5c25dc54534a833df39ab7aa7a12
tree	57c573a1251431293820dfcd9026391b3bd1d371	tree \| snapshot
parent	0560e796f1d813582e066a5f2bec2684c71df44d	commit \| diff

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.

Glasgow Haskell Compiler with heterogeneous metaprogramming (generalized arrows and modal types)

RSS Atom

compiler/iface/BuildTyCl.lhs		diff \| blob \| history
compiler/iface/TcIface.lhs		diff \| blob \| history
compiler/prelude/TysWiredIn.lhs		diff \| blob \| history
compiler/typecheck/TcEnv.lhs		diff \| blob \| history
compiler/typecheck/TcTyClsDecls.lhs		diff \| blob \| history
compiler/types/Coercion.lhs		diff \| blob \| history
compiler/types/FamInstEnv.lhs		diff \| blob \| history
compiler/types/TyCon.lhs		diff \| blob \| history