SCM Repository
Diff of /trunk/src/compiler/driver/main.sml
Parent Directory
| 
Revision Log
| 
Patch
| revision 1165, Mon May 9 22:02:04 2011 UTC | revision 1166, Tue May 10 03:39:35 2011 UTC | |
|---|---|---|
| # | Line 13 | Line 13 |
| 13 | end = struct | end = struct |
| 14 | ||
| 15 | (* exception tracing magic *) | (* exception tracing magic *) |
| 16 | (* | |
| 17 | val _ = ( | val _ = ( |
| 18 | SMLofNJ.Internals.TDP.mode := true; | SMLofNJ.Internals.TDP.mode := true; |
| 19 | Coverage.install (); | Coverage.install (); |
| 20 | BackTrace.install ()) | BackTrace.install ()) |
| 21 | *) | |
| 22 | ||
| 23 | fun err s = TextIO.output (TextIO.stdErr, s) | fun err s = TextIO.output (TextIO.stdErr, s) |
| 24 | fun err1 c = TextIO.output1 (TextIO.stdErr, c) | fun err1 c = TextIO.output1 (TextIO.stdErr, c) |
| # | Line 67 | Line 69 |
| 69 | simple | simple |
| 70 | end | end |
| 71 | ||
| 72 | fun doFile filename = BackTrace.monitor (fn () => let | fun doFile filename = let |
| 73 | val baseName = (case OS.Path.splitBaseExt filename | val baseName = (case OS.Path.splitBaseExt filename |
| 74 | of {base, ext=SOME "diderot"} => base | of {base, ext=SOME "diderot"} => base |
| 75 | | _ => (errnl "expected diderot file"; quitWithError filename) | | _ => (errnl "expected diderot file"; quitWithError filename) |
| # | Line 124 | Line 126 |
| 126 | in | in |
| 127 | (***** CODE GENERATION *****) | (***** CODE GENERATION *****) |
| 128 | PhaseTimer.withTimer Timers.timeCodegen CBackEnd.generate (baseName, lowIL) | PhaseTimer.withTimer Timers.timeCodegen CBackEnd.generate (baseName, lowIL) |
| 129 | end) | end |
| 130 | ||
| 131 | fun doOptions args = let | fun doOptions args = let |
| 132 | val log = ref false | val log = ref false |
|
||||||||
| root@smlnj-gforge.cs.uchicago.edu | ViewVC Help |
| Powered by ViewVC 1.0.0 |
