projects
/
ghc-hetmet.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
|
inline
| side by side (parent:
38febb3
)
Minor
author
dimitris@microsoft.com
<unknown>
Tue, 12 Oct 2010 08:09:51 +0000
(08:09 +0000)
committer
dimitris@microsoft.com
<unknown>
Tue, 12 Oct 2010 08:09:51 +0000
(08:09 +0000)
compiler/typecheck/TcCanonical.lhs
patch
|
blob
|
history
diff --git
a/compiler/typecheck/TcCanonical.lhs
b/compiler/typecheck/TcCanonical.lhs
index
b870b86
..
d72fae4
100644
(file)
--- a/
compiler/typecheck/TcCanonical.lhs
+++ b/
compiler/typecheck/TcCanonical.lhs
@@
-528,11
+528,10
@@
reOrient (FunCls {}) (VarCls tv2) = isMetaTyVar tv2
-- meta type variable is the RHS of a function equality
reOrient (FunCls {}) _ = False -- Fun/Other on rhs
-- meta type variable is the RHS of a function equality
reOrient (FunCls {}) _ = False -- Fun/Other on rhs
-
-reOrient (VarCls tv1) (FunCls {}) = not (isMetaTyVar tv1)
+reOrient (VarCls tv1) (FunCls {}) = not (isMetaTyVar tv1)
reOrient (VarCls {}) (OtherCls {}) = False
reOrient (VarCls {}) (OtherCls {}) = False
+reOrient (VarCls {}) (VarCls {}) = False
-reOrient (VarCls tv1) (VarCls tv2) = False
{-
-- Variables-variables are oriented according to their kind
-- so that the following property has the best chance of
{-
-- Variables-variables are oriented according to their kind
-- so that the following property has the best chance of