# HG changeset patch
# User wenzelm
# Date 1290869120 -3600
# Node ID 1dabcda202c35278a45729afa10da252846677e3
# Parent  0e7c2957fc1d338392cfe6c0af29a4d2b2912bdb
more basic Isabelle_System.mkdir;

diff -r 0e7c2957fc1d -r 1dabcda202c3 src/Pure/System/isabelle_system.ML
--- a/src/Pure/System/isabelle_system.ML	Sat Nov 27 15:36:35 2010 +0100
+++ b/src/Pure/System/isabelle_system.ML	Sat Nov 27 15:45:20 2010 +0100
@@ -9,7 +9,7 @@
   val isabelle_tool: string -> string -> int
   val rm_tree: Path.T -> unit
   val mkdirs: Path.T -> unit
-  val mkdir_leaf: Path.T -> unit
+  val mkdir: Path.T -> unit
   val copy_dir: Path.T -> Path.T -> unit
 end;
 
@@ -41,7 +41,7 @@
 
 fun mkdirs path = system_command ("mkdir -p " ^ File.shell_path path);
 
-fun mkdir_leaf path = (File.check (Path.dir path); mkdirs path);  (* FIXME ? *)
+val mkdir = OS.FileSys.mkDir o File.platform_path;
 
 fun copy_dir src dst =
   if File.eq (src, dst) then ()
diff -r 0e7c2957fc1d -r 1dabcda202c3 src/Tools/Code/code_haskell.ML
--- a/src/Tools/Code/code_haskell.ML	Sat Nov 27 15:36:35 2010 +0100
+++ b/src/Tools/Code/code_haskell.ML	Sat Nov 27 15:45:20 2010 +0100
@@ -353,7 +353,7 @@
             val _ = File.check destination;
             val filepath = (Path.append destination o Path.ext "hs" o Path.explode o implode
               o separate "/" o Long_Name.explode) module_name;
-            val _ = Isabelle_System.mkdir_leaf (Path.dir filepath);
+            val _ = Isabelle_System.mkdir (Path.dir filepath);
           in
             (File.write filepath o format [] width o Pretty.chunks2)
               [str "{-# OPTIONS_GHC -fglasgow-exts #-}", content]