projects / ghc-hetmet.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 66c58d1) | patch
bug fix in Decomp step of completion algorithm for given equations
authorTom Schrijvers <tom.schrijvers@cs.kuleuven.be>
Tue, 4 Sep 2007 12:39:45 +0000 (12:39 +0000)
committerTom Schrijvers <tom.schrijvers@cs.kuleuven.be>
Tue, 4 Sep 2007 12:39:45 +0000 (12:39 +0000)
commitc4b993f3433777eb070de3090d76754cd6b4e2ec
treea2079e20d7adcf9f9d5c09e8202c9e2b1edcf08btree | snapshot
parent66c58d1c46338135abdb76a86c7342fab005a988commit | diff
bug fix in Decomp step of completion algorithm for given equations
compiler/typecheck/TcTyFuns.lhs diff | blob | history
Glasgow Haskell Compiler with heterogeneous metaprogramming (generalized arrows and modal types)