X-Git-Url: http://git.megacz.com/?p=ghc-hetmet.git;a=blobdiff_plain;f=compiler%2Ftypecheck%2FTcCanonical.lhs;fp=compiler%2Ftypecheck%2FTcCanonical.lhs;h=bd8b9110904bd9ea42f3c75b91d6583857a8385e;hp=ffe0a7e52055e53273c6386c9c745dc6150d6d0c;hb=cd450d41e84c2bf09bb9c3a646c7408eb2c2d772;hpb=4d20bc6a4159b6b6747b581a60589861e31a236d

diff --git a/compiler/typecheck/TcCanonical.lhs b/compiler/typecheck/TcCanonical.lhs
index ffe0a7e..bd8b911 100644
--- a/compiler/typecheck/TcCanonical.lhs
+++ b/compiler/typecheck/TcCanonical.lhs
@@ -546,7 +546,7 @@ classify ty                | Just ty' <- tcView ty
                            = OtherCls ty
 
 -- See note [Canonical ordering for equality constraints].
-reOrient :: Untouchables -> TypeClassifier -> TypeClassifier -> Bool	
+reOrient :: TcsUntouchables -> TypeClassifier -> TypeClassifier -> Bool	
 -- (t1 `reOrient` t2) responds True 
 --   iff we should flip to (t2~t1)
 -- We try to say False if possible, to minimise evidence generation
@@ -579,7 +579,7 @@ reOrient _untch (FskCls {}) (FunCls {})     = True
 reOrient _untch (FskCls {}) (OtherCls {})   = False 
 
 ------------------
-canEqLeaf :: Untouchables 
+canEqLeaf :: TcsUntouchables 
           -> CtFlavor -> CoVar 
           -> TypeClassifier -> TypeClassifier -> TcS CanonicalCts 
 -- Canonicalizing "leaf" equality constraints which cannot be