projects / ghc-hetmet.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 9e5a454) | patch
handle stage-(n+1) literals properly by expanding them in the typechecker
authorAdam Megacz <megacz@cs.berkeley.edu>
Tue, 8 Mar 2011 04:35:15 +0000 (20:35 -0800)
committerAdam Megacz <megacz@cs.berkeley.edu>
Tue, 8 Mar 2011 04:35:15 +0000 (20:35 -0800)
commitce15c63e3e309ee175dfa5f4ad787c347c7dab1c
tree4ef8b6714600c5cf7f1ba473c2652895f4e7bb0ftree | snapshot
parent9e5a454cd78650a0c9e2a859693ee1af056b3fb9commit | diff
handle stage-(n+1) literals properly by expanding them in the typechecker
compiler/coq diff | blob | history
compiler/prelude/PrelNames.lhs diff | blob | history
compiler/typecheck/TcExpr.lhs diff | blob | history
Glasgow Haskell Compiler with heterogeneous metaprogramming (generalized arrows and modal types)