equal
deleted
inserted
replaced
142 |> Source.exhaust; |
142 |> Source.exhaust; |
143 |
143 |
144 in |
144 in |
145 |
145 |
146 fun antiq_args lex (s, pos) = |
146 fun antiq_args lex (s, pos) = |
147 (case antiq_args_aux lex (s, pos) of [x] => x | _ => raise ERROR) handle ERROR => |
147 let |
148 error ("Malformed antiquotation: " ^ quote ("@{" ^ s ^ "}") ^ Position.str_of pos); |
148 fun err msg = cat_error msg |
|
149 ("Malformed antiquotation: " ^ quote ("@{" ^ s ^ "}") ^ Position.str_of pos); |
|
150 in (case antiq_args_aux lex (s, pos) of [x] => x | _ => err "") handle ERROR msg => err msg end; |
149 |
151 |
150 end; |
152 end; |
151 |
153 |
152 |
154 |
153 (* eval_antiquote *) |
155 (* eval_antiquote *) |