Skip to content
Snippets Groups Projects
Commit 1353d1ef authored by Simon Peyton Jones's avatar Simon Peyton Jones
Browse files

Fix over-zealous ASSERT in TcUnify

parent f6f881f0
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
compiler/typecheck/TcUnify.lhs
+ 1
− 1
View file @ 1353d1ef
...@@ -244,7 +244,7 @@ matchExpectedTyConApp tc orig_ty ...@@ -244,7 +244,7 @@ matchExpectedTyConApp tc orig_ty
-- (a::*) ~ Maybe -- (a::*) ~ Maybe
-- because that'll make types that are utterly ill-kinded. -- because that'll make types that are utterly ill-kinded.
-- This happened in Trac #7368 -- This happened in Trac #7368
defer = ASSERT2( isLiftedTypeKind res_kind, ppr tc ) defer = ASSERT2( isSubOpenTypeKind res_kind, ppr tc )
do { kappa_tys <- mapM (const newMetaKindVar) kvs do { kappa_tys <- mapM (const newMetaKindVar) kvs
; let arg_kinds' = map (substKiWith kvs kappa_tys) arg_kinds ; let arg_kinds' = map (substKiWith kvs kappa_tys) arg_kinds
; tau_tys <- mapM newFlexiTyVarTy arg_kinds' ; tau_tys <- mapM newFlexiTyVarTy arg_kinds'
......
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment