No need to call defaultKind in mkTcEqPred
authorSimon Peyton Jones <simonpj@microsoft.com>
Wed, 28 May 2014 08:16:53 +0000 (09:16 +0100)
committerSimon Peyton Jones <simonpj@microsoft.com>
Wed, 28 May 2014 08:16:53 +0000 (09:16 +0100)
compiler/typecheck/TcType.lhs

index 530397a..b093d80 100644 (file)
@@ -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.