projects / ghc-hetmet.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: cfda042) | patch
TFs: Fixed InstContextNorm (and simplification of IPs)
authorManuel M T Chakravarty <chak@cse.unsw.edu.au>
Wed, 1 Oct 2008 13:13:03 +0000 (13:13 +0000)
committerManuel M T Chakravarty <chak@cse.unsw.edu.au>
Wed, 1 Oct 2008 13:13:03 +0000 (13:13 +0000)
commitc7344a639519b0ecd4ac24252ebc13ffdd3e9bd7
tree24f831f142ee62aa810f5cc315406afe1e0b9233tree | snapshot
parentcfda0421ca2c7c5f762814fd25988cf89871f1d8commit | diff
TFs: Fixed InstContextNorm (and simplification of IPs)

  MERGE TO 6.10
compiler/typecheck/TcSimplify.lhs diff | blob | history
Glasgow Haskell Compiler with heterogeneous metaprogramming (generalized arrows and modal types)