using fully qualified module names in Haskell source, which seems to be required by GHC 7.0.4
authorbulwahn
Thu Jan 26 10:59:47 2012 +0100 (2012-01-26)
changeset 463350fd9ab902b5a
parent 46334 3858dc8eabd8
child 46336 39fe503602fb
using fully qualified module names in Haskell source, which seems to be required by GHC 7.0.4
src/HOL/Tools/Quickcheck/Narrowing_Engine.hs
src/HOL/Tools/Quickcheck/narrowing_generators.ML
     1.1 --- a/src/HOL/Tools/Quickcheck/Narrowing_Engine.hs	Thu Jan 26 09:52:47 2012 +0100
     1.2 +++ b/src/HOL/Tools/Quickcheck/Narrowing_Engine.hs	Thu Jan 26 10:59:47 2012 +0100
     1.3 @@ -1,6 +1,6 @@
     1.4  module Narrowing_Engine where {
     1.5  
     1.6 -import Monad;
     1.7 +import Control.Monad;
     1.8  import Control.Exception;
     1.9  import System.IO;
    1.10  import System.Exit;
     2.1 --- a/src/HOL/Tools/Quickcheck/narrowing_generators.ML	Thu Jan 26 09:52:47 2012 +0100
     2.2 +++ b/src/HOL/Tools/Quickcheck/narrowing_generators.ML	Thu Jan 26 10:59:47 2012 +0100
     2.3 @@ -239,7 +239,8 @@
     2.4          val narrowing_engine_file = Path.append in_path (Path.basic "Narrowing_Engine.hs")
     2.5          val main_file = Path.append in_path (Path.basic "Main.hs")
     2.6          val main = "module Main where {\n\n" ^
     2.7 -          "import System;\n" ^
     2.8 +          "import System.IO;\n" ^
     2.9 +          "import System.Environment;\n" ^
    2.10            "import Narrowing_Engine;\n" ^
    2.11            "import Generated_Code;\n\n" ^
    2.12            "main = getArgs >>= \\[potential, size] -> " ^