Commit f02200f1 authored by Simon Peyton Jones's avatar Simon Peyton Jones

Layout only

parent 5a62b6ac
......@@ -741,7 +741,8 @@ tcInferArgs fun fun_kind mb_kind_info args
; let (invis_bndrs, really_res_kind) = splitPiTysInvisible res_kind
; (subst, invis_args)
<- tcInstBindersX emptyTCvSubst mb_kind_info invis_bndrs
; return ( substTy subst really_res_kind, args' `chkAppend` invis_args
; return ( substTy subst really_res_kind
, args' `chkAppend` invis_args
, leftovers, n ) }
-- | See comments for 'tcInferArgs'. But this version does not instantiate
......
Markdown is supported
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