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 86, Wed May 26 22:23:17 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 => (
36                    checkForErrors errStrm;                    checkForErrors errStrm;
37                    ignore (Typechecker.check pt))                    ignore (checkTypes pt);
38                      checkForErrors errStrm)
39              (* end case *);              (* end case *);
40              TextIO.closeIn inS              TextIO.closeIn inS
41            end            end

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

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