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.
made SML/NJ happy;
authorwenzelm
Tue, 26 May 1998 12:29:27 +0200
changeset 4968 c68a9c510c90
parent 4967 c9c481bc0216
child 4969 61fd5c1d733f
made SML/NJ happy;
src/Pure/Syntax/scan.ML file | annotate | diff | comparison | revisions 
--- a/src/Pure/Syntax/scan.ML	Tue May 26 12:29:10 1998 +0200
+++ b/src/Pure/Syntax/scan.ML	Tue May 26 12:29:27 1998 +0200
@@ -189,7 +189,7 @@
 
 fun source' def_prmpt get unget stopper scanner opt_recover (state, src) =
   let
-    val drain_with = drain def_prmpt get stopper;
+    fun drain_with scan = drain def_prmpt get stopper scan;
 
     fun drain_loop recover inp =
       drain_with (catch scanner) inp handle FAIL msg =>
isabelle