--- a/src/Pure/System/isabelle_system.ML Mon Apr 12 18:29:34 2021 +0200
+++ b/src/Pure/System/isabelle_system.ML Mon Apr 12 21:48:04 2021 +0200
@@ -78,8 +78,7 @@
(* directory and file operations *)
val absolute_path = Path.implode o File.absolute_path;
-fun scala_function0 name = ignore o Scala.function1 name o cat_strings0;
-fun scala_function name = scala_function0 name o map absolute_path;
+fun scala_function name = ignore o Scala.function name o map absolute_path;
fun make_directory path = (scala_function "make_directory" [path]; path);
@@ -88,8 +87,8 @@
fun copy_file src dst = scala_function "copy_file" [src, dst];
fun copy_file_base (base_dir, src) target_dir =
- scala_function0 "copy_file_base"
- [absolute_path base_dir, Path.implode src, absolute_path target_dir];
+ ignore (Scala.function "copy_file_base"
+ [absolute_path base_dir, Path.implode src, absolute_path target_dir]);
(* tmp files *)