Home My Page Projects Code Snippets Project Openings SML/NJ
 Summary Activity Forums Tracker Lists Tasks Docs Surveys News SCM Files

# SCM Repository

[smlnj] Diff of /sml/trunk/src/compiler/FLINT/main/flintcomp.sml
 [smlnj] / sml / trunk / src / compiler / FLINT / main / flintcomp.sml

# Diff of /sml/trunk/src/compiler/FLINT/main/flintcomp.sml

revision 505, Thu Dec 9 08:24:08 1999 UTC revision 506, Fri Dec 10 00:15:35 1999 UTC
# Line 128  Line 128
128                let val (f,fi) = split f in (f, fi, fk, p) end                let val (f,fi) = split f in (f, fi, fk, p) end
129
130              (* pseudo FLINT phases *)              (* pseudo FLINT phases *)
131  (*          | ("pickle",   _)           => *)              | ("pickle",   _)           =>
132  (*            (valOf(UnpickMod.unpickleFLINT(PickMod.pickleFLINT(SOME f))), *)                (valOf(UnpickMod.unpickleFLINT(#pickle(PickMod.pickleFLINT(SOME f)))),
133  (*             UnpickMod.unpickleFLINT(PickMod.pickleFLINT fi), *)                 UnpickMod.unpickleFLINT(#pickle(PickMod.pickleFLINT fi)),
134  (*             fk, p) *)                 fk, p)
135              | ("collect",_) => (fcollect f, fi, fk, p)              | ("collect",_) => (fcollect f, fi, fk, p)
136              | _ =>              | _ =>
137                ((case (p,fk)                ((case (p,fk)
# Line 163  Line 163
163                   (f, fi, fk, l)                   (f, fi, fk, l)
164            end            end
165
166          fun showhist [s] = say(concat["  raised at:\t", s, "\n"])
167            | showhist (s::r) = (showhist r; say (concat["\t\t", s, "\n"]))
168            | showhist [] = ()
169
170        fun runphase' (arg as (p,{1=f,...})) =        fun runphase' (arg as (p,{1=f,...})) =
171            (if !CTRL.printPhases then say("Phase "^p^"...") else ();            (if !CTRL.printPhases then say("Phase "^p^"...") else ();
172             ((check' o print o runphase) arg) before             ((check' o print o runphase) arg) before
173             (if !CTRL.printPhases then say("..."^p^" Done.\n") else ()))             (if !CTRL.printPhases then say("..."^p^" Done.\n") else ()))
174                handle x => (say ("\nwhile in "^p^" phase\n");                handle x => (say ("\nwhile in "^p^" phase\n");
175                             dumpTerm(PPFlint.printFundec,"FLINT.core", f);                             dumpTerm(PPFlint.printFundec,"flint.core", f);
176                               showhist(SMLofNJ.exnHistory x);
177                             raise x)                             raise x)
178
179        val (flint,fi,fk,_) = foldl runphase'        val (flint,fi,fk,_) = foldl runphase'

Legend:
 Removed from v.505 changed lines Added in v.506