projects / ghc-hetmet.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: b97e170) | patch
Make sym coercion smart constructor smarter, add comments
authorManuel M T Chakravarty <chak@cse.unsw.edu.au>
Wed, 20 Sep 2006 18:14:48 +0000 (18:14 +0000)
committerManuel M T Chakravarty <chak@cse.unsw.edu.au>
Wed, 20 Sep 2006 18:14:48 +0000 (18:14 +0000)
commita7bda9e63ce091e4f33b6058a96686d7cde3d40d
tree51776886af9e6c48e2259902cd3256ce10a577f8tree | snapshot
parentb97e1705d4bfd96d6a274d1fe593fff46edd23f6commit | diff
Make sym coercion smart constructor smarter, add comments
Mon Sep 18 17:11:59 EDT 2006  Manuel M T Chakravarty <chak@cse.unsw.edu.au>
  * Make sym coercion smart constructor smarter, add comments
  Sun Aug  6 20:32:58 EDT 2006  Manuel M T Chakravarty <chak@cse.unsw.edu.au>
    * Make sym coercion smart constructor smarter, add comments
    Tue Aug  1 11:30:14 EDT 2006  kevind@bu.edu
compiler/typecheck/TcGadt.lhs diff | blob | history
compiler/types/Coercion.lhs diff | blob | history
Glasgow Haskell Compiler with heterogeneous metaprogramming (generalized arrows and modal types)