equal
deleted
inserted
replaced
146 val modes = ref ([]: string list); |
146 val modes = ref ([]: string list); |
147 |
147 |
148 fun eval_antiquote lex node (str, pos) = |
148 fun eval_antiquote lex node (str, pos) = |
149 let |
149 let |
150 fun expand (Antiquote.Text s) = s |
150 fun expand (Antiquote.Text s) = s |
151 | expand (Antiquote.Antiq x) = |
151 | expand (Antiquote.Antiq (x, _)) = |
152 let val (opts, src) = Antiquote.scan_arguments lex antiq x in |
152 let val (opts, src) = Antiquote.scan_arguments lex antiq x in |
153 options opts (fn () => command src node) (); (*preview errors!*) |
153 options opts (fn () => command src node) (); (*preview errors!*) |
154 PrintMode.with_modes (! modes @ Latex.modes) |
154 PrintMode.with_modes (! modes @ Latex.modes) |
155 (Output.no_warnings (options opts (fn () => command src node))) () |
155 (Output.no_warnings (options opts (fn () => command src node))) () |
156 end |
156 end |