projects / ghc-hetmet.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: a5b47be) | patch
[project @ 2002-10-11 14:46:02 by simonpj]
authorsimonpj <unknown>
Fri, 11 Oct 2002 14:46:09 +0000 (14:46 +0000)
committersimonpj <unknown>
Fri, 11 Oct 2002 14:46:09 +0000 (14:46 +0000)
commitcbb5beb0ecef58ae6e47fa62e144a0855644f50a
tree408f43d5b565e123b4017e695c9717ba3a10c75dtree | snapshot
parenta5b47be19ba3a736aa60728dba43a14cd0cbe5a4commit | diff
[project @ 2002-10-11 14:46:02 by simonpj]
------------------------------------------
Implement reification for Template Haskell
------------------------------------------

This is entirely un-tested, but I don't think it'll break non-TH stuff.

Implements
reifyDecl T :: Dec -- Data type T
reifyDecl C :: Dec -- Class C
reifyType f :: Typ -- Function f

I hope.
14 files changed:
ghc/compiler/deSugar/DsExpr.lhs diff | blob | history
ghc/compiler/deSugar/DsMeta.hs diff | blob | history
ghc/compiler/deSugar/DsMonad.lhs diff | blob | history
ghc/compiler/hsSyn/HsExpr.lhs diff | blob | history
ghc/compiler/main/HscTypes.lhs diff | blob | history
ghc/compiler/parser/Lex.lhs diff | blob | history
ghc/compiler/parser/Parser.y diff | blob | history
ghc/compiler/rename/RnExpr.lhs diff | blob | history
ghc/compiler/rename/RnNames.lhs diff | blob | history
ghc/compiler/typecheck/TcExpr.lhs diff | blob | history
ghc/compiler/typecheck/TcHsSyn.lhs diff | blob | history
ghc/compiler/typecheck/TcMatches.lhs diff | blob | history
ghc/compiler/types/PprType.lhs diff | blob | history
ghc/compiler/types/Type.lhs diff | blob | history
Glasgow Haskell Compiler with heterogeneous metaprogramming (generalized arrows and modal types)