X-Git-Url: http://git.megacz.com/?p=ghc-hetmet.git;a=blobdiff_plain;f=utils%2Fext-core%2FDriver.hs;fp=utils%2Fext-core%2FDriver.hs;h=2328eca22a94d67f1c9284edb1c4a0e130a31b9a;hp=0000000000000000000000000000000000000000;hb=0065d5ab628975892cea1ec7303f968c3338cbe1;hpb=28a464a75e14cece5db40f2765a29348273ff2d2

diff --git a/utils/ext-core/Driver.hs b/utils/ext-core/Driver.hs
new file mode 100644
index 0000000..2328eca2
--- /dev/null
+++ b/utils/ext-core/Driver.hs
@@ -0,0 +1,86 @@
+{- A simple driver that loads, typechecks, prepares, re-typechecks, and interprets the 
+    GHC standard Prelude modules and an application module called Main. 
+
+   Note that, if compiled under GHC, this requires a very large heap to run!
+-}
+
+import Monad
+import Core
+import Printer
+import Parser
+import Lex
+import ParseGlue
+import Env
+import Prims
+import Check
+import Prep
+import Interp
+
+process (senv,modules) f = 
+       do putStrLn ("Processing " ++ f)
+          s <- readFile f
+	  case parse s 1 of
+	    OkP m -> do putStrLn "Parse succeeded"
+			{- writeFile (f ++ ".parsed") (show m) -}
+			case checkModule senv m of
+			  OkC senv' -> 
+			    do putStrLn "Check succeeded"
+			       let m' = prepModule senv' m
+                               {- writeFile (f ++ ".prepped") (show m') -}
+			       case checkModule senv m' of
+                                 OkC senv'' ->
+				   do putStrLn "Recheck succeeded"
+                                      return (senv'',modules ++ [m'])
+				 FailC s -> 
+				   do putStrLn ("Recheck failed: " ++ s)
+				      error "quit"
+			  FailC s -> 
+			    do putStrLn ("Check failed: " ++ s)
+			       error "quit"
+            FailP s -> do putStrLn ("Parse failed: " ++ s)
+                          error "quit"
+
+main = do (_,modules) <- foldM process (initialEnv,[]) flist
+	  let result = evalProgram modules
+	  putStrLn ("Result = " ++ show result)
+	  putStrLn "All done"
+       where flist = 	 ["PrelBase.hcr",
+			  "PrelMaybe.hcr",
+			  "PrelTup.hcr",
+			  "PrelList.hcr", 
+			  "PrelShow.hcr",
+			  "PrelEnum.hcr",
+			  "PrelNum.hcr",
+			  "PrelST.hcr",
+			  "PrelArr.hcr",
+			  "PrelDynamic.hcr",
+			  "PrelReal.hcr",
+			  "PrelFloat.hcr",
+			  "PrelRead.hcr",
+			  "PrelIOBase.hcr",
+			  "PrelException.hcr",
+			  "PrelErr.hcr",
+			  "PrelConc.hcr",
+			  "PrelPtr.hcr",
+			  "PrelByteArr.hcr",
+			  "PrelPack.hcr",
+			  "PrelBits.hcr",
+			  "PrelWord.hcr",
+			  "PrelInt.hcr",
+			  "PrelCTypes.hcr",
+			  "PrelStable.hcr",
+			  "PrelCTypesISO.hcr",
+			  "Monad.hcr",
+			  "PrelStorable.hcr",
+			  "PrelMarshalAlloc.hcr",
+			  "PrelMarshalUtils.hcr",
+			  "PrelMarshalArray.hcr",
+			  "PrelCString.hcr",
+			  "PrelMarshalError.hcr",
+			  "PrelCError.hcr",
+			  "PrelPosix.hcr",
+			  "PrelHandle.hcr",
+			  "PrelIO.hcr",
+			  "Prelude.hcr",
+			  "Main.hcr" ] 
+