1.1 --- a/src/Tools/Code/code_haskell.ML Thu Jul 01 13:38:17 2010 +0200
1.2 +++ b/src/Tools/Code/code_haskell.ML Thu Jul 01 13:47:27 2010 +0200
1.3 @@ -382,7 +382,7 @@
1.4 | _ => (Path.ext "hs" o Path.explode o implode o separate "/"
1.5 o Long_Name.explode) modlname;
1.6 val pathname = Path.append destination filename;
1.7 - val _ = File.mkdir (Path.dir pathname);
1.8 + val _ = File.mkdir_leaf (Path.dir pathname);
1.9 in File.write pathname
1.10 ("{-# OPTIONS_GHC -fglasgow-exts #-}\n\n"
1.11 ^ code_of_pretty content)