No need to call defaultKind in mkTcEqPred

lortabac · May 28, 2014 · 3c1f2f7 · 3c1f2f7
1 parent 8668c54
commit 3c1f2f7
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/compiler/typecheck/TcType.lhs b/compiler/typecheck/TcType.lhs
@@ -736,7 +736,7 @@ mkTcEqPred :: TcType -> TcType -> Type
 mkTcEqPred ty1 ty2
   = mkTyConApp eqTyCon [k, ty1, ty2]
   where
-    k = defaultKind (typeKind ty1)
+    k = typeKind ty1
 \end{code}
 
 @isTauTy@ tests for nested for-alls.  It should not be called on a boxy type.