projects / ghc-hetmet.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: b5ec986) | patch
TcHsType: set the kind for tyvars that occur in explicit code types
authorAdam Megacz <megacz@cs.berkeley.edu>
Mon, 30 May 2011 01:46:11 +0000 (18:46 -0700)
committerAdam Megacz <megacz@cs.berkeley.edu>
Mon, 30 May 2011 01:46:11 +0000 (18:46 -0700)
commitab8c38b97b62a8ff428b536715d50207571345be
treec87d773b17faf27d11e679424c0ab318cc5cff24tree | snapshot
parentb5ec98622cc44d250819a6ef07fd878253ab34dfcommit | diff
TcHsType: set the kind for tyvars that occur in explicit code types
compiler/typecheck/TcHsType.lhs diff | blob | history
Glasgow Haskell Compiler with heterogeneous metaprogramming (generalized arrows and modal types)