# HG changeset patch
# User haftmann
# Date 1292606684 -3600
# Node ID e1da70df68c16bb5427301ea857092df2b687c14
# Parent  cddc7db22bc9d1727ca864257eb9ee017d07c6bc
allocate intermediate directories in module hierarchy

diff -r cddc7db22bc9 -r e1da70df68c1 src/Tools/Code/code_haskell.ML
--- a/src/Tools/Code/code_haskell.ML	Fri Dec 17 16:55:27 2010 +0100
+++ b/src/Tools/Code/code_haskell.ML	Fri Dec 17 18:24:44 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 (Path.dir filepath);
+            val _ = Isabelle_System.mkdirs (Path.dir filepath);
           in
             (File.write filepath o format [] width o Pretty.chunks2)
               [str "{-# LANGUAGE ScopedTypeVariables #-}", content]