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.
tuned;
authorwenzelm
Mon, 19 Oct 2015 16:26:01 +0200
changeset 61482 391814730b40
parent 61481 078ec7b710ab
child 61483 07c8d5d8acab
tuned;
src/Pure/ML/ml_lex.ML file | annotate | diff | comparison | revisions 
--- a/src/Pure/ML/ml_lex.ML	Mon Oct 19 00:19:19 2015 +0200
+++ b/src/Pure/ML/ml_lex.ML	Mon Oct 19 16:26:01 2015 +0200
@@ -328,10 +328,11 @@
       |> Source.source Symbol_Pos.stopper
         (Scan.recover (Scan.bulk (!!! "bad input" scan))
           (fn msg => recover msg >> map Antiquote.Text))
-      |> Source.exhaust
-      |> tap (Position.reports o Antiquote.antiq_reports)
-      |> tap (Position.reports_text o maps (fn Antiquote.Text t => [token_report SML t] | _ => []))
-      |> tap (List.app check);
+      |> Source.exhaust;
+    val _ = Position.reports (Antiquote.antiq_reports input);
+    val _ =
+      Position.reports_text (maps (fn Antiquote.Text t => [token_report SML t] | _ => []) input);
+    val _ = List.app check input;
   in input @ termination end;
 
 in
isabelle