projects / ghc-hetmet.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: b24792b) | patch
New plan: push unsolved wanteds inwards
authorsimonpj@microsoft.com <unknown>
Fri, 11 Feb 2011 17:40:58 +0000 (17:40 +0000)
committersimonpj@microsoft.com <unknown>
Fri, 11 Feb 2011 17:40:58 +0000 (17:40 +0000)
commit72c40bc5f2d193ebd89471f6e1f2a36b81042304
treee12246699ef126cdf90f0220f992f15472d9cdfftree | snapshot
parentb24792b081f7f74cf52c0c3178cb71fccfc1fcb3commit | diff
New plan: push unsolved wanteds inwards

This fixes Trac #4935.  See Note [Preparing inert set for implications].
Lots of comments, but not a lot of code is changed!
compiler/typecheck/TcCanonical.lhs diff | blob | history
compiler/typecheck/TcSimplify.lhs diff | blob | history
Glasgow Haskell Compiler with heterogeneous metaprogramming (generalized arrows and modal types)