Commit 9528fa3e authored by simonpj's avatar simonpj
Browse files

[project @ 2001-07-23 16:27:41 by simonpj]

parent 5c408765
......@@ -289,10 +289,12 @@ checkClsFD qtvs fd clas_tvs tys1 tys2
Nothing -> []
Just unif -> [ (qtvs', substTy full_unif r1, substTy full_unif r2)
| (r1,r2) <- rs1 `zip` rs2,
not (maybeToBool (unifyExtendTysX qtvs' unif r1 r2))]
not (maybeToBool (unifyExtendTysX qtvs unif r1 r2))]
-- Don't include any equations that already hold
-- taking account of the fact that any qtvs that aren't
-- already instantiated can be instantiated to anything at all
-- NB: qtvs, not qtvs' because unifyExtendTysX only tries to
-- look template tyvars up in the substitution
full_unif = mkSubst emptyInScopeSet unif
-- No for-alls in sight; hmm
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment