projects / ghc-hetmet.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: b876d4b) | patch
Add comments about pruning implication constraints
authorsimonpj@microsoft.com <unknown>
Mon, 11 Dec 2006 16:43:33 +0000 (16:43 +0000)
committersimonpj@microsoft.com <unknown>
Mon, 11 Dec 2006 16:43:33 +0000 (16:43 +0000)
commiteab8711f0b0723c61ec4fece2b70983c90d92d19
tree2072efdb09cdeee7a0328f5ac2ffc79471b818f1tree | snapshot
parentb876d4b8495e5d393e50f0cee979c899b50f6bfbcommit | diff
Add comments about pruning implication constraints
compiler/typecheck/TcSimplify.lhs diff | blob | history
Glasgow Haskell Compiler with heterogeneous metaprogramming (generalized arrows and modal types)