Home My Page Projects Code Snippets Project Openings diderot
Summary Activity Tracker Tasks SCM

SCM Repository

[diderot] Diff of /trunk/src/driver/main.sml
ViewVC logotype

Diff of /trunk/src/driver/main.sml

Parent Directory Parent Directory | Revision Log Revision Log | View Patch Patch

revision 70, Sat May 22 14:23:32 2010 UTC revision 93, Thu May 27 15:32:06 2010 UTC
# Line 28  Line 28 
28      fun doFile filename = let      fun doFile filename = let
29            val errStrm = Error.mkErrStream filename            val errStrm = Error.mkErrStream filename
30            val inS = TextIO.openIn filename            val inS = TextIO.openIn filename
31              val checkTypes = Typechecker.check errStrm
32            in            in
33              case Parser.parseFile (errStrm, inS)              case Parser.parseFile (errStrm, inS)
34               of NONE => (checkForErrors errStrm; quitWithError ())               of NONE => (checkForErrors errStrm; quitWithError ())
35                | SOME pt => (                | SOME pt => let
36                      val _ = checkForErrors errStrm;
37                      val ast = (checkTypes pt) handle Typechecker.Error => AST.Program[]
38                      in
39                    checkForErrors errStrm;                    checkForErrors errStrm;
40                    ignore (Typechecker.check pt))                      ASTPP.output (TextIO.stdOut, ast) (* DEBUG *)
41                      end
42              (* end case *);              (* end case *);
43              TextIO.closeIn inS              TextIO.closeIn inS
44            end            end

Legend:
Removed from v.70  
changed lines
  Added in v.93

root@smlnj-gforge.cs.uchicago.edu
ViewVC Help
Powered by ViewVC 1.0.0