projects / ghc-hetmet.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: bda859a) | patch
Make data con wrappers for GADTs express the user type directly
authorManuel M T Chakravarty <chak@cse.unsw.edu.au>
Wed, 20 Sep 2006 17:46:38 +0000 (17:46 +0000)
committerManuel M T Chakravarty <chak@cse.unsw.edu.au>
Wed, 20 Sep 2006 17:46:38 +0000 (17:46 +0000)
commitc58414c7fc6c259945c457c24f5992af1230a824
tree01a9feeee68686011f100bef31bdc9b3eeee4046tree | snapshot
parentbda859adc28cc7f9b5292fb7f93a0d8fc763ad08commit | diff
Make data con wrappers for GADTs express the user type directly
Mon Sep 18 16:44:29 EDT 2006  Manuel M T Chakravarty <chak@cse.unsw.edu.au>
  * Make data con wrappers for GADTs express the user type directly
  Sun Aug  6 17:24:17 EDT 2006  Manuel M T Chakravarty <chak@cse.unsw.edu.au>
    * Make data con wrappers for GADTs express the user type directly
    Wed Jul 26 08:19:09 EDT 2006  simonpj@microsoft.com
compiler/basicTypes/MkId.lhs diff | blob | history
Glasgow Haskell Compiler with heterogeneous metaprogramming (generalized arrows and modal types)