diff options
| author | Simon Peyton Jones <simonpj@microsoft.com> | 2016-09-19 10:08:29 +0100 |
|---|---|---|
| committer | Simon Peyton Jones <simonpj@microsoft.com> | 2016-10-21 17:07:44 +0100 |
| commit | 82efad788ed331ae16b586a4fbe4c4a4f92ee638 (patch) | |
| tree | 0a018bd3a71ad8332305e8778edfa181a5d789dc /compiler/typecheck | |
| parent | 45bfd1a65978ee282d8d2cc1ddb7e3e5f4cd4717 (diff) | |
| download | haskell-82efad788ed331ae16b586a4fbe4c4a4f92ee638.tar.gz | |
Comments and trivial refactoring
Diffstat (limited to 'compiler/typecheck')
| -rw-r--r-- | compiler/typecheck/TcInstDcls.hs | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/compiler/typecheck/TcInstDcls.hs b/compiler/typecheck/TcInstDcls.hs index c18d69d4be..ab5b75c056 100644 --- a/compiler/typecheck/TcInstDcls.hs +++ b/compiler/typecheck/TcInstDcls.hs @@ -1323,15 +1323,15 @@ tcMethodBody clas tyvars dfun_ev_vars inst_tys -- Substitute the local_meth_name for the binder -- NB: the binding is always a FunBind - ; global_meth_id <- addInlinePrags global_meth_id prags - ; spec_prags <- tcSpecPrags global_meth_id prags - -- taking instance signature into account might change the type of -- the local_meth_id ; (meth_implic, ev_binds_var, tc_bind) <- checkInstConstraints $ tcMethodBodyHelp sig_fn sel_id local_meth_id (L bind_loc lm_bind) + ; global_meth_id <- addInlinePrags global_meth_id prags + ; spec_prags <- tcSpecPrags global_meth_id prags + ; let specs = mk_meth_spec_prags global_meth_id spec_inst_prags spec_prags export = ABE { abe_poly = global_meth_id , abe_mono = local_meth_id |