projects
/
ghc-hetmet.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(from parent 1:
4d7fed4
)
Fix typo where I forgot the new substitution
author
simonpj@microsoft.com
<unknown>
Mon, 28 Jan 2008 21:38:56 +0000
(21:38 +0000)
committer
simonpj@microsoft.com
<unknown>
Mon, 28 Jan 2008 21:38:56 +0000
(21:38 +0000)
compiler/types/Unify.lhs
patch
|
blob
|
history
diff --git
a/compiler/types/Unify.lhs
b/compiler/types/Unify.lhs
index
b99d387
..
9ab60e7
100644
(file)
--- a/
compiler/types/Unify.lhs
+++ b/
compiler/types/Unify.lhs
@@
-161,7
+161,8
@@
match menv subst (TyVarTy tv1) ty2
-> Nothing -- Occurs check
| otherwise
-> do { subst1 <- match_kind menv subst tv1 ty2
- ; return (extendVarEnv subst tv1' ty2) }
+ ; return (extendVarEnv subst1 tv1' ty2) }
+ -- Note [Matching kinds]
Just ty1' -- There is an existing binding; check whether ty2 matches it
| tcEqTypeX (nukeRnEnvL rn_env) ty1' ty2