Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
ML_Lex.read_antiq;
authorwenzelm
Sun, 22 Mar 2009 20:49:48 +0100
changeset 30643 955830462054
parent 30642 0c9f9c49d5df
child 30644 2948f4494e86
ML_Lex.read_antiq;
src/Pure/ML/ml_context.ML file | annotate | diff | comparison | revisions 
--- a/src/Pure/ML/ml_context.ML	Sun Mar 22 20:49:47 2009 +0100
+++ b/src/Pure/ML/ml_context.ML	Sun Mar 22 20:49:48 2009 +0100
@@ -240,8 +240,7 @@
 
     (*prepare source text*)
     val _ = Position.report Markup.ML_source pos;
-    val ants = (Symbol_Pos.explode (txt, pos), pos)
-      |> Antiquote.read ML_Lex.report_token ML_Lex.scan_antiq;
+    val ants = ML_Lex.read_antiq (Symbol_Pos.explode (txt, pos), pos);
     val ((env, body), env_ctxt) = eval_antiquotes (ants, pos) (Context.thread_data ())
       |>> pairself (implode o map ML_Lex.text_of);
     val _ = if ! trace then tracing (cat_lines [env, body]) else ();
isabelle