projects / ghc-hetmet.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 8f8ac4f) | patch
Fix Trac #3346: tcSimplify for LHS of RULES with type equalities
authorsimonpj@microsoft.com <unknown>
Fri, 17 Jul 2009 15:57:22 +0000 (15:57 +0000)
committersimonpj@microsoft.com <unknown>
Fri, 17 Jul 2009 15:57:22 +0000 (15:57 +0000)
commit2f223e8f4a4e2fb22a8bb0638cd48256e9f2f0e2
treec8605ca922af14365696fd1b9e8d4278c6317ae4tree | snapshot
parent8f8ac4f9eb1dd5cc51c70e9c6ee1bcd824fbfcb2commit | diff
Fix Trac #3346: tcSimplify for LHS of RULES with type equalities
compiler/typecheck/TcSimplify.lhs diff | blob | history
Glasgow Haskell Compiler with heterogeneous metaprogramming (generalized arrows and modal types)