# HG changeset patch
# User haftmann
# Date 1229512240 -3600
# Node ID 20b42397e293244beed3233eb5bd4602cb6d81b5
# Parent  9657871890c7602b4a6c95dfa6d9b1a628f7e328
GHC ext pragma in generated Haskell modules

diff -r 9657871890c7 -r 20b42397e293 src/Tools/code/code_haskell.ML
--- a/src/Tools/code/code_haskell.ML	Wed Dec 17 12:10:39 2008 +0100
+++ b/src/Tools/code/code_haskell.ML	Wed Dec 17 12:10:40 2008 +0100
@@ -414,7 +414,10 @@
                 o NameSpace.explode) modlname;
         val pathname = Path.append destination filename;
         val _ = File.mkdir (Path.dir pathname);
-      in File.write pathname (Code_Target.code_of_pretty content) end
+      in File.write pathname
+        ("{-# OPTIONS_GHC -fglasgow-exts #-}\n\n"
+          ^ Code_Target.code_of_pretty content)
+      end
   in
     Code_Target.mk_serialization target NONE
       (fn NONE => K () o map (Code_Target.code_writeln o snd) | SOME file => K () o map (write_module file))