Commit 3c1f2f74 authored by Simon Peyton Jones's avatar Simon Peyton Jones

No need to call defaultKind in mkTcEqPred

parent 8668c549
......@@ -736,7 +736,7 @@ mkTcEqPred :: TcType -> TcType -> Type
mkTcEqPred ty1 ty2
= mkTyConApp eqTyCon [k, ty1, ty2]
k = defaultKind (typeKind ty1)
k = typeKind ty1
@isTauTy@ tests for nested for-alls. It should not be called on a boxy type.
Markdown is supported
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment