diff options
| author | Dr. ERDI Gergo <gergo@erdi.hu> | 2014-11-06 19:01:38 +0800 |
|---|---|---|
| committer | Dr. ERDI Gergo <gergo@erdi.hu> | 2014-11-08 13:49:53 +0800 |
| commit | 44362225235906c5cc76a7fd10deeb16534bac58 (patch) | |
| tree | d3f362424ff707d25c7bff5fdcf750e58f341cc9 /compiler/iface/TcIface.lhs | |
| parent | 65f32aed54fb9a0ff2afb953eb17c9b2603ce8f9 (diff) | |
| download | haskell-wip/T9783.tar.gz | |
Group PatSyn req/prov arguments together so that they're not all over the placewip/T9783
Diffstat (limited to 'compiler/iface/TcIface.lhs')
| -rw-r--r-- | compiler/iface/TcIface.lhs | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/compiler/iface/TcIface.lhs b/compiler/iface/TcIface.lhs index 4e2cfd5a76..65345ec3c8 100644 --- a/compiler/iface/TcIface.lhs +++ b/compiler/iface/TcIface.lhs @@ -605,7 +605,8 @@ tc_iface_decl _ _ (IfacePatSyn{ ifName = occ_name ; pat_ty <- tcIfaceType pat_ty ; arg_tys <- mapM tcIfaceType args ; return $ buildPatSyn name is_infix matcher wrapper - arg_tys univ_tvs ex_tvs prov_theta req_theta pat_ty } + (univ_tvs, req_theta) (ex_tvs, prov_theta) + arg_tys pat_ty } ; return $ AConLike . PatSynCon $ patsyn }}} where mk_doc n = ptext (sLit "Pattern synonym") <+> ppr n |