Commit 02c2c4e9 authored by Alejandro Serrano Mena's avatar Alejandro Serrano Mena
Browse files

Allow impred instantiation in checkExpectedKind

parent 892cbe42
Pipeline #9884 failed with stages
in 2 minutes and 43 seconds
......@@ -1371,9 +1371,13 @@ checkExpectedKind_pp pp_hs_ty ty act_kind exp_kind
; let res_ty = ty `mkTcAppTys` new_args
; dflags <- getDynFlags
; let allow_impred_unif = xopt LangExt.ImpredicativeTypes dflags
; if act_kind' `tcEqType` exp_kind
then return res_ty -- This is very common
else do { co_k <- uType KindLevel origin False act_kind' exp_kind
else do { co_k <- uType KindLevel origin allow_impred_unif
act_kind' exp_kind
; traceTc "checkExpectedKind" (vcat [ ppr act_kind
, ppr exp_kind
, ppr co_k ])
......
Supports Markdown
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