From 2207ce8cdc4c33838f77f285c7dd4f7c75dbae1c Mon Sep 17 00:00:00 2001 From: "dimitris@microsoft.com" Date: Tue, 12 Oct 2010 08:09:51 +0000 Subject: [PATCH] Minor --- compiler/typecheck/TcCanonical.lhs | 5 ++--- 1 file changed, 2 insertions(+), 3 deletions(-) diff --git a/compiler/typecheck/TcCanonical.lhs b/compiler/typecheck/TcCanonical.lhs index b870b86..d72fae4 100644 --- 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 - -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 -- 1.7.10.4