diff options
| author | Simon Peyton Jones <simonpj@microsoft.com> | 2014-05-28 09:16:53 +0100 |
|---|---|---|
| committer | Simon Peyton Jones <simonpj@microsoft.com> | 2014-05-28 09:16:53 +0100 |
| commit | 3c1f2f74897198638f84f8f3af06a2c80b02b29a (patch) | |
| tree | 6e0d87c3b360747190325f6ae11d0c87e1c78b29 | |
| parent | 8668c549e8d558ab27126a743c23b0894ce19523 (diff) | |
| download | haskell-3c1f2f74897198638f84f8f3af06a2c80b02b29a.tar.gz | |
No need to call defaultKind in mkTcEqPred
| -rw-r--r-- | compiler/typecheck/TcType.lhs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/compiler/typecheck/TcType.lhs b/compiler/typecheck/TcType.lhs index 530397aeca..b093d80391 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. |