{-# OPTIONS -Wall #-}
-
{- A simple driver that loads, typechecks, prepares, re-typechecks, and interprets the
GHC standard Prelude modules and an application module called Main.
import System.Exit
import System.FilePath
-import Core
-import Dependencies
-import Overrides
-import Prims
-import Check
-import Prep
-import Interp
-
-import ParsecParser
+import Language.Core.Core
+import Language.Core.Dependencies
+import Language.Core.Overrides
+import Language.Core.Prims
+import Language.Core.Check
+import Language.Core.Prep
+import Language.Core.Interp
+import Language.Core.ParsecParser
-- You may need to change this.
baseDir :: FilePath
Option ['n'] ["no-deps"] (NoArg NoDeps) "don't compute dependencies automatically"
]
-process :: Bool -> (Check.Menv,[Module]) -> (FilePath, Module)
- -> IO (Check.Menv,[Module])
+process :: Bool -> (Menv,[Module]) -> (FilePath, Module)
+ -> IO (Menv,[Module])
process _ (senv,modules) p@(f,m) | isLib p && not typecheckLibs = do
-- if it's a library and we set typecheckLibs to False:
-- prep, but don't typecheck
++ " while processing " ++ f)
return (senv, modules)
-prepM :: Check.Menv -> Module -> FilePath -> IO Module
+prepM :: Menv -> Module -> FilePath -> IO Module
prepM senv' m _f = do
let m' = prepModule senv' m
--writeFile (f </> ".prepped") (show m')