src/Tools/Code/code_haskell.ML

--- a/src/Tools/Code/code_haskell.ML	Sun Mar 20 13:49:21 2011 +0100
+++ b/src/Tools/Code/code_haskell.ML	Sun Mar 20 17:40:45 2011 +0100
@@ -350,7 +350,7 @@
     (*serialization*)
     fun write_module width (SOME destination) (module_name, content) =
           let
-            val _ = File.check destination;
+            val _ = File.check_dir 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.mkdirs (Path.dir filepath);