--- trunk/src/compiler/driver/main.sml 2010/07/24 15:37:50 173 +++ trunk/src/compiler/driver/main.sml 2010/07/24 15:38:08 174 @@ -33,11 +33,15 @@ case Parser.parseFile (errStrm, inS) of NONE => (checkForErrors errStrm; quitWithError ()) | SOME pt => let - val _ = checkForErrors errStrm; + val _ = checkForErrors errStrm val ast = (checkTypes pt) handle Typechecker.Error => AST.Program[] + val _ = checkForErrors errStrm + val _ = ASTPP.output (TextIO.stdOut, ast) (* DEBUG *) + val simple = Simplify.transform ast in - checkForErrors errStrm; - ASTPP.output (TextIO.stdOut, ast) (* DEBUG *) +(* + SimplePP.output (TextIO.stdOut, ast) (* DEBUG *) +*)() end (* end case *); TextIO.closeIn inS