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/cm/compile/recomp-persstate-fn.sml
ViewVC logotype

Diff of /sml/trunk/src/cm/compile/recomp-persstate-fn.sml

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

revision 359, Tue Jun 29 01:53:40 1999 UTC revision 360, Tue Jun 29 09:21:02 1999 UTC
# Line 5  Line 5 
5   *   *
6   * Author: Matthias Blume (blume@kurims.kyoto-u.ac.jp)   * Author: Matthias Blume (blume@kurims.kyoto-u.ac.jp)
7   *)   *)
8    local
9        structure Pid = GenericVC.PersStamps
10        type pid = Pid.persstamp
11    in
12  functor RecompPersstateFn  functor RecompPersstateFn
13      (structure MachDepVC : MACHDEP_VC      (structure MachDepVC : MACHDEP_VC
14       val discard_code : bool       val new_smlinfo : SmlInfo.info * pid option -> unit
15       val discard_value : SmlInfo.info -> unit) :> RECOMP_PERSSTATE = struct       val discard_code : bool) :> RECOMP_PERSSTATE = struct
16    
17          structure MachDepVC = MachDepVC          structure MachDepVC = MachDepVC
18          structure BF = MachDepVC.Binfile          structure BF = MachDepVC.Binfile
# Line 43  Line 47 
47              val ts = SmlInfo.lastseen i              val ts = SmlInfo.lastseen i
48              val tmemo = (memo, ts)              val tmemo = (memo, ts)
49          in          in
50              discard_value i;              new_smlinfo (i, BF.exportPidOf (#bfc memo));
51              smlmap := SmlInfoMap.insert (!smlmap, i, tmemo)              smlmap := SmlInfoMap.insert (!smlmap, i, tmemo)
52          end          end
53    
# Line 68  Line 72 
72    
73          val pid_fetch_sml = BF.exportPidOf o bfc_fetch_sml          val pid_fetch_sml = BF.exportPidOf o bfc_fetch_sml
74      end      end
75    end

Legend:
Removed from v.359  
changed lines
  Added in v.360

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