[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