projects / ghc-hetmet.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 931515a) | patch
More fixes to pre-matching and pre-subsumption
authorsimonpj@microsoft.com <unknown>
Tue, 8 Aug 2006 22:49:24 +0000 (22:49 +0000)
committersimonpj@microsoft.com <unknown>
Tue, 8 Aug 2006 22:49:24 +0000 (22:49 +0000)
commit444006bcc30b9fd0db3d2f9430eb21b4f98ba74f
treef82d38f2a6e9348f5ba148d66a83b05a8da492d1tree | snapshot
parent931515abf853065116e4b984b9b0ff2f2ec851b1commit | diff
More fixes to pre-matching and pre-subsumption

Actually this patch fixes two errors. one was a trivial typo in
tha last patch (b_ty should be b_tau), which led to an infinite loop
when compiling Data.Generic.Twins.

Fixing that revealed a more serious error in the same function.
I was sloppy about dealing robsutly with name-capture for nested
quantifiers in pre-subsumption and pre-matching; and sure enough
I got bitten.  Sigh.  I think it is right now.
compiler/typecheck/TcUnify.lhs diff | blob | history
Glasgow Haskell Compiler with heterogeneous metaprogramming (generalized arrows and modal types)