SCM Repository
Diff of /sml/trunk/src/compiler/FLINT/main/flintcomp.sml
Parent Directory
| 
Revision Log
| 
Patch
| revision 184, Sun Nov 8 21:18:20 1998 UTC | revision 185, Tue Nov 10 21:01:05 1998 UTC | |
|---|---|---|
| # | Line 122 | Line 122 |
| 122 | ((* say("Phase "^p^"..."); *) | ((* say("Phase "^p^"..."); *) |
| 123 | (runphase arg) (* before *) | (runphase arg) (* before *) |
| 124 | (* say("..."^p^" Done.\n") *)) | (* say("..."^p^" Done.\n") *)) |
| 125 | handle x => (dumpTerm(PPFlint.printFundec,"FLINT.bug", f); raise x) | handle x => (say ("\nwhile in "^p^" phase"); |
| 126 | dumpTerm(PPFlint.printFundec,"FLINT.core", f); | |
| 127 | raise x) | |
| 128 | ||
| 129 | (* the "id" phases is just added to do the print/check at the entrance *) | (* the "id" phases is just added to do the print/check at the entrance *) |
| 130 | val (flint,r,_) = foldl (check o print o runphase') | val (flint,r,_) = foldl (check o print o runphase') |
|
||||||||
| root@smlnj-gforge.cs.uchicago.edu | ViewVC Help |
| Powered by ViewVC 1.0.0 |
