From: dimitris@microsoft.com <unknown>
Date: Tue, 12 Oct 2010 08:09:51 +0000 (+0000)
Subject: Minor
X-Git-Url: http://git.megacz.com/?p=ghc-hetmet.git;a=commitdiff_plain;h=2207ce8cdc4c33838f77f285c7dd4f7c75dbae1c

Minor
---

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