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
Wed, 28 Dec 2022 15:25:37 +0100
changeset 76802 ad01b550e74b
parent 76801 f425e0fda79c
child 76803 5ffe32b613ae
tuned;
src/Pure/Tools/generated_files.ML file | annotate | diff | comparison | revisions 
--- a/src/Pure/Tools/generated_files.ML	Wed Dec 28 14:52:03 2022 +0100
+++ b/src/Pure/Tools/generated_files.ML	Wed Dec 28 15:25:37 2022 +0100
@@ -285,10 +285,9 @@
 fun check_external_files ctxt (raw_files, raw_base_dir) =
   let
     val base_dir = Resources.check_dir ctxt NONE raw_base_dir;
-    fun check source =
+    val files = raw_files |> map (fn source =>
      (Resources.check_file ctxt (SOME base_dir) source;
-      Path.explode (Input.string_of source));
-    val files = map check raw_files;
+      Path.explode (Input.string_of source)));
   in (files, base_dir) end;
 
 fun get_external_files dir (files, base_dir) =
isabelle