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 699, Mon Aug 21 22:13:39 2000 UTC revision 818, Fri May 4 20:58:47 2001 UTC
# Line 88  Line 88
88  val fcs : (FLINT.prog -> FLINT.prog) list ref = ref []  val fcs : (FLINT.prog -> FLINT.prog) list ref = ref []
89
90  (** compiling FLINT code into the binary machine code *)  (** compiling FLINT code into the binary machine code *)
91  fun flintcomp(flint, compInfo as {error, sourceName=src, ...}: CB.compInfo) =  fun flintcomp(flint, compInfo as {error, sourceName=src, ...}: CB.compInfo,
92                  splitting) =
93    let fun err severity s =    let fun err severity s =
94          error (0,0) severity (concat["Real constant out of range: ",s,"\n"])          error (0,0) severity (concat["Real constant out of range: ",s,"\n"])
95
# Line 127  Line 128
128                let val f = typelift f                let val f = typelift f
129                in if !CTRL.check then wff(f, p) else (); (f, fi, fk, p) end                in if !CTRL.check then wff(f, p) else (); (f, fi, fk, p) end
130              | ("split",    FK_NAMED)    =>              | ("split",    FK_NAMED)    =>
131                let val (f,fi) = split f in (f, fi, fk, p) end                let val (f,fi) = split (f, splitting) in (f, fi, fk, p) end
132
133              (* pseudo FLINT phases *)              (* pseudo FLINT phases *)
134              | ("pickle",   _)           =>              | ("pickle",   _)           =>

Legend:
 Removed from v.699 changed lines Added in v.818