# HG changeset patch
# User bulwahn
# Date 1327571987 -3600
# Node ID 0fd9ab902b5a46d690201219770ba987d8cc5a09
# Parent  3858dc8eabd880dc7e4ca93fd35ed9e8da529a70
using fully qualified module names in Haskell source, which seems to be required by GHC 7.0.4

diff -r 3858dc8eabd8 -r 0fd9ab902b5a src/HOL/Tools/Quickcheck/Narrowing_Engine.hs
--- a/src/HOL/Tools/Quickcheck/Narrowing_Engine.hs	Thu Jan 26 09:52:47 2012 +0100
+++ b/src/HOL/Tools/Quickcheck/Narrowing_Engine.hs	Thu Jan 26 10:59:47 2012 +0100
@@ -1,6 +1,6 @@
 module Narrowing_Engine where {
 
-import Monad;
+import Control.Monad;
 import Control.Exception;
 import System.IO;
 import System.Exit;
diff -r 3858dc8eabd8 -r 0fd9ab902b5a src/HOL/Tools/Quickcheck/narrowing_generators.ML
--- a/src/HOL/Tools/Quickcheck/narrowing_generators.ML	Thu Jan 26 09:52:47 2012 +0100
+++ b/src/HOL/Tools/Quickcheck/narrowing_generators.ML	Thu Jan 26 10:59:47 2012 +0100
@@ -239,7 +239,8 @@
         val narrowing_engine_file = Path.append in_path (Path.basic "Narrowing_Engine.hs")
         val main_file = Path.append in_path (Path.basic "Main.hs")
         val main = "module Main where {\n\n" ^
-          "import System;\n" ^
+          "import System.IO;\n" ^
+          "import System.Environment;\n" ^
           "import Narrowing_Engine;\n" ^
           "import Generated_Code;\n\n" ^
           "main = getArgs >>= \\[potential, size] -> " ^