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/clos/freeclose.sml
ViewVC logotype

Diff of /sml/trunk/src/compiler/FLINT/clos/freeclose.sml

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

revision 897, Fri Aug 10 17:55:15 2001 UTC revision 898, Mon Aug 13 17:44:08 2001 UTC
# Line 142  Line 142 
142  val knownP = Intset.mem known  val knownP = Intset.mem known
143  val knownM = Intset.add known  val knownM = Intset.add known
144  fun knownK k = (k <> CONT) andalso (k <> ESCAPE)  fun knownK k = (k <> CONT) andalso (k <> ESCAPE)
145    fun frmszK k = (k = CONT) orelse (k = KNOWN_TAIL)
146    
147  val contset = Intset.new()  val contset = Intset.new()
148  val contP = Intset.mem contset  val contP = Intset.mem contset
# Line 539  Line 540 
540    
541           val _ = addEntry(f,l,z,(gsz,fsz))           val _ = addEntry(f,l,z,(gsz,fsz))
542           val (gsz',fsz') =           val (gsz',fsz') =
543             if econtK fk then   (* only count escaping functions *)             if frmszK fk then   (* only count escap-cont & knowntail funs *)
544               (let val gn = length l (**** NEED MORE WORK HERE ****)               (let val gn = length l (**** NEED MORE WORK HERE ****)
545                 in (Int.max(gn,gsz),fsz)                 in (Int.max(gn,gsz),fsz)
546                end)                end)

Legend:
Removed from v.897  
changed lines
  Added in v.898

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