src/Pure/Syntax/mixfix.ML
changeset 16610 58bf09036a6d
parent 15751 65e4790c7914
child 17284 ca3eebbb3724
     1.1 --- a/src/Pure/Syntax/mixfix.ML	Wed Jun 29 15:13:39 2005 +0200
     1.2 +++ b/src/Pure/Syntax/mixfix.ML	Wed Jun 29 15:13:40 2005 +0200
     1.3 @@ -193,9 +193,10 @@
     1.4      val mfix = List.concat (map mfix_of const_decls);
     1.5      val xconsts = map name_of const_decls;
     1.6      val binders = List.mapPartial binder const_decls;
     1.7 -    val binder_trs = binders |> map (SynExt.stamp_trfun binder_stamp o SynTrans.mk_binder_tr);
     1.8 +    val binder_trs = binders |> map (SynExt.stamp_trfun binder_stamp o
     1.9 +        apsnd K o SynTrans.mk_binder_tr);
    1.10      val binder_trs' = binders |> map (SynExt.stamp_trfun binder_stamp o
    1.11 -        apsnd SynTrans.non_typed_tr' o SynTrans.mk_binder_tr' o swap);
    1.12 +        apsnd (K o SynTrans.non_typed_tr') o SynTrans.mk_binder_tr' o swap);
    1.13    in
    1.14      SynExt.syn_ext' true is_logtype
    1.15        mfix xconsts ([], binder_trs, binder_trs', []) [] ([], [])