[commit: ghc] master: No need to call defaultKind in mkTcEqPred (3c1f2f7)

git at git.haskell.org git at git.haskell.org
Wed May 28 08:17:22 UTC 2014


Repository : ssh://git@git.haskell.org/ghc

On branch  : master
Link       : http://ghc.haskell.org/trac/ghc/changeset/3c1f2f74897198638f84f8f3af06a2c80b02b29a/ghc

>---------------------------------------------------------------

commit 3c1f2f74897198638f84f8f3af06a2c80b02b29a
Author: Simon Peyton Jones <simonpj at microsoft.com>
Date:   Wed May 28 09:16:53 2014 +0100

    No need to call defaultKind in mkTcEqPred


>---------------------------------------------------------------

3c1f2f74897198638f84f8f3af06a2c80b02b29a
 compiler/typecheck/TcType.lhs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/compiler/typecheck/TcType.lhs b/compiler/typecheck/TcType.lhs
index 530397a..b093d80 100644
--- 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.



More information about the ghc-commits mailing list