Mercurial Mercurial > repos > testboard / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Pure/Syntax/scan.ML
changeset 4968 c68a9c510c90
parent 4958 ad2acb8d2db4
child 5048 2af6b01e7ab6 
--- 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 =>
testboard