# HG changeset patch # User haftmann # Date 1277964760 -7200 # Node ID f6b592f2aca4c10f5552eced86a1407e282cf317 # Parent 56e3520b68b23af04186d179a2a7b03c7e8a5555 revert to plain for now mkdir diff -r 56e3520b68b2 -r f6b592f2aca4 src/Tools/Code/code_haskell.ML --- a/src/Tools/Code/code_haskell.ML Wed Jun 30 17:12:38 2010 +0200 +++ b/src/Tools/Code/code_haskell.ML Thu Jul 01 08:12:40 2010 +0200 @@ -382,7 +382,7 @@ | _ => (Path.ext "hs" o Path.explode o implode o separate "/" o Long_Name.explode) modlname; val pathname = Path.append destination filename; - val _ = File.mkdir_leaf (Path.dir pathname); + val _ = File.mkdir (Path.dir pathname); in File.write pathname ("{-# OPTIONS_GHC -fglasgow-exts #-}\n\n" ^ code_of_pretty content) diff -r 56e3520b68b2 -r f6b592f2aca4 src/Tools/Code/code_scala.ML --- a/src/Tools/Code/code_scala.ML Wed Jun 30 17:12:38 2010 +0200 +++ b/src/Tools/Code/code_scala.ML Thu Jul 01 08:12:40 2010 +0200 @@ -376,7 +376,7 @@ | _ => (Path.ext "scala" o Path.explode o implode o separate "/" o Long_Name.explode) modlname; val pathname = Path.append destination filename; - val _ = File.mkdir_leaf (Path.dir pathname); + val _ = File.mkdir (Path.dir pathname); in File.write pathname (code_of_pretty content) end in Code_Target.mk_serialization target NONE