1.1 --- a/src/Tools/Code/code_haskell.ML Sat Nov 27 15:36:35 2010 +0100
1.2 +++ b/src/Tools/Code/code_haskell.ML Sat Nov 27 15:45:20 2010 +0100
1.3 @@ -353,7 +353,7 @@
1.4 val _ = File.check destination;
1.5 val filepath = (Path.append destination o Path.ext "hs" o Path.explode o implode
1.6 o separate "/" o Long_Name.explode) module_name;
1.7 - val _ = Isabelle_System.mkdir_leaf (Path.dir filepath);
1.8 + val _ = Isabelle_System.mkdir (Path.dir filepath);
1.9 in
1.10 (File.write filepath o format [] width o Pretty.chunks2)
1.11 [str "{-# OPTIONS_GHC -fglasgow-exts #-}", content]