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
ViewVC logotype

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

Parent Directory Parent Directory | Revision Log Revision Log | View Patch Patch

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

root@smlnj-gforge.cs.uchicago.edu
ViewVC Help
Powered by ViewVC 1.0.0