SCM Repository
Diff of /trunk/src/driver/main.sml
Parent Directory
| 
Revision Log
| 
Patch
| revision 85, Wed May 26 19:51:10 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 |
|
||||||||
| root@smlnj-gforge.cs.uchicago.edu | ViewVC Help |
| Powered by ViewVC 1.0.0 |
