projects / ghc-hetmet.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 58d200a) | patch
clean up Coercion kinding functions, rename coercionKindTyConApp
authorManuel M T Chakravarty <chak@cse.unsw.edu.au>
Wed, 20 Sep 2006 17:47:48 +0000 (17:47 +0000)
committerManuel M T Chakravarty <chak@cse.unsw.edu.au>
Wed, 20 Sep 2006 17:47:48 +0000 (17:47 +0000)
commit204e70a4a6b977116c77226f014ebed5407713c2
tree8aa68631c815ac20f144dabe90dbbf9a329f0643tree | snapshot
parent58d200ac9cb51faa5c94e7919217f170b35b8441commit | diff
clean up Coercion kinding functions, rename coercionKindTyConApp
Mon Sep 18 16:46:14 EDT 2006  Manuel M T Chakravarty <chak@cse.unsw.edu.au>
  * clean up Coercion kinding functions, rename coercionKindTyConApp
  Sun Aug  6 17:37:06 EDT 2006  Manuel M T Chakravarty <chak@cse.unsw.edu.au>
    * clean up Coercion kinding functions, rename coercionKindTyConApp
    Wed Jul 26 10:55:38 EDT 2006  kevind@bu.edu
compiler/coreSyn/CoreLint.lhs diff | blob | history
compiler/coreSyn/CoreUtils.lhs diff | blob | history
compiler/coreSyn/PprCore.lhs diff | blob | history
Glasgow Haskell Compiler with heterogeneous metaprogramming (generalized arrows and modal types)