projects / ghc-hetmet.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 536ef73) | patch
Improve origin of constraints in subsumption checking
authorsimonpj@microsoft.com <unknown>
Mon, 11 Dec 2006 16:05:57 +0000 (16:05 +0000)
committersimonpj@microsoft.com <unknown>
Mon, 11 Dec 2006 16:05:57 +0000 (16:05 +0000)
commit85de95cd55d5dcda29630b665b50c7575df6dddd
tree5677e5df88515da23db0e52f6f64df85c7c78eddtree | snapshot
parent536ef736dfc1568670d44072abfb4f16c84bcdb8commit | diff
Improve origin of constraints in subsumption checking
compiler/typecheck/TcUnify.lhs diff | blob | history
Glasgow Haskell Compiler with heterogeneous metaprogramming (generalized arrows and modal types)