src/Tools/Code/code_printer.ML
changeset 37899 527cedd71356
parent 37881 096c8397c989
child 37958 9728342bcd56
equal deleted inserted replaced
37898:eb89d0ac75fb 37899:527cedd71356
   356         >> (fn ((x, i), s) => mk_complex (parse_infix prep_arg (x, i) s))
   356         >> (fn ((x, i), s) => mk_complex (parse_infix prep_arg (x, i) s))
   357       || Parse.string >> (fn s => (parse_mixfix mk_plain mk_complex prep_arg s)));
   357       || Parse.string >> (fn s => (parse_mixfix mk_plain mk_complex prep_arg s)));
   358 
   358 
   359 val _ = List.app Keyword.keyword [infixK, infixlK, infixrK];
   359 val _ = List.app Keyword.keyword [infixK, infixlK, infixrK];
   360 
   360 
   361 val parse_tyco_syntax = parse_syntax (fn s => (0, (K o K o K o str) s)) I I;
   361 fun parse_tyco_syntax x = parse_syntax (fn s => (0, (K o K o K o str) s)) I I x;
   362 
   362 
   363 val parse_const_syntax = parse_syntax plain_const_syntax simple_const_syntax fst;
   363 val parse_const_syntax = parse_syntax plain_const_syntax simple_const_syntax fst;
   364 
   364 
   365 
   365 
   366 (** module name spaces **)
   366 (** module name spaces **)