diff options
| author | Simon Peyton Jones <simonpj@microsoft.com> | 2016-01-18 10:37:09 +0000 |
|---|---|---|
| committer | Simon Peyton Jones <simonpj@microsoft.com> | 2016-01-18 10:44:33 +0000 |
| commit | f02200f1516bd1dc850eff5aa642f300f21503fd (patch) | |
| tree | 54e7f85c7c1f631276a61483abcb19da2794b06d /compiler | |
| parent | 5a62b6ac0c44319e1a0b56a4300359fd25d3d818 (diff) | |
| download | haskell-f02200f1516bd1dc850eff5aa642f300f21503fd.tar.gz | |
Layout only
Diffstat (limited to 'compiler')
| -rw-r--r-- | compiler/typecheck/TcHsType.hs | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/compiler/typecheck/TcHsType.hs b/compiler/typecheck/TcHsType.hs index 421df69a53..114bcec143 100644 --- a/compiler/typecheck/TcHsType.hs +++ b/compiler/typecheck/TcHsType.hs @@ -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 |