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 |