Commit 2207ce8c authored by dimitris@microsoft.com's avatar dimitris@microsoft.com
Browse files

Minor

parent 38febb30
......@@ -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
reOrient (VarCls tv1) (FunCls {}) = not (isMetaTyVar tv1)
reOrient (VarCls tv1) (FunCls {}) = not (isMetaTyVar tv1)
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
......
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