projects / ghc-hetmet.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 00cc4d8) | patch
Re-work the newtype-deriving support
authorsimonpj@microsoft.com <unknown>
Sat, 23 Sep 2006 04:05:05 +0000 (04:05 +0000)
committersimonpj@microsoft.com <unknown>
Sat, 23 Sep 2006 04:05:05 +0000 (04:05 +0000)
commit2ce87c70529c2a75071161bd3d22b029f003ba36
treed16b894c8f60f67b3e39b3890f7eacc6ad74bd5dtree | snapshot
parent00cc4d8773d1138f7b3b3ac122f3c98a6f93e68acommit | diff
Re-work the newtype-deriving support

The newtype deriving mechanism is much trickier to support than it
seems at first.  Kevin didn't get it quite right when moving to FC,
and I ended up re-writing quite a bit of it.

I think it's right now, but I have not yet tested it thoroughly.
compiler/iface/BuildTyCl.lhs diff | blob | history
compiler/typecheck/TcDeriv.lhs diff | blob | history
compiler/typecheck/TcEnv.lhs diff | blob | history
compiler/typecheck/TcInstDcls.lhs diff | blob | history
compiler/types/Coercion.lhs diff | blob | history
Glasgow Haskell Compiler with heterogeneous metaprogramming (generalized arrows and modal types)