projects / ghc-hetmet.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 8ddec56) | patch
GADT pattern matching fix
authorManuel M T Chakravarty <chak@cse.unsw.edu.au>
Mon, 18 Sep 2006 20:40:38 +0000 (20:40 +0000)
committerManuel M T Chakravarty <chak@cse.unsw.edu.au>
Mon, 18 Sep 2006 20:40:38 +0000 (20:40 +0000)
commitf86fa5fd11a2847c6687ad84d579760a7a06eb8b
tree0c35e9025734b9dde3084f48ac2900d2d861b838tree | snapshot
parent8ddec564494dc7889ea7aa8b4133f08cf3e64e0ccommit | diff
GADT pattern matching fix
Sun Aug  6 17:01:59 EDT 2006  Manuel M T Chakravarty <chak@cse.unsw.edu.au>
  * GADT pattern matching fix
  Wed Jul 19 10:53:09 EDT 2006  kevind@bu.edu
compiler/basicTypes/DataCon.lhs diff | blob | history
compiler/deSugar/MatchCon.lhs diff | blob | history
Glasgow Haskell Compiler with heterogeneous metaprogramming (generalized arrows and modal types)