src/Pure/Thy/term_style.ML
changeset 56029 8bedca4bd5a3
parent 53171 a5e54d4d9081
child 56030 ef2ffd622264
     1.1 --- a/src/Pure/Thy/term_style.ML	Mon Mar 10 15:30:29 2014 +0100
     1.2 +++ b/src/Pure/Thy/term_style.ML	Mon Mar 10 16:30:07 2014 +0100
     1.3 @@ -42,10 +42,10 @@
     1.4  
     1.5  (* style parsing *)
     1.6  
     1.7 -fun parse_single ctxt = Parse.position (Parse.xname -- Args.parse)
     1.8 -  >> (fn x as ((name, _), _) => fst (Args.context_syntax "style"
     1.9 +fun parse_single ctxt = Parse.position Parse.xname -- Args.parse
    1.10 +  >> (fn ((name, pos), args) => fst (Args.context_syntax "style"
    1.11         (Scan.lift (the_style (Proof_Context.theory_of ctxt) name))
    1.12 -         (Args.src x) ctxt |>> (fn f => f ctxt)));
    1.13 +         (Args.src (name, pos) args) ctxt |>> (fn f => f ctxt)));
    1.14  
    1.15  val parse = Args.context :|-- (fn ctxt => Scan.lift
    1.16    (Args.parens (parse_single ctxt ::: Scan.repeat (Args.$$$ "," |-- parse_single ctxt))