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 305, Mon May 31 15:00:06 1999 UTC revision 320, Tue Jun 8 07:42:11 1999 UTC
# Line 46  Line 46 
46              smlmap := SmlInfoMap.insert (!smlmap, i, tmemo)              smlmap := SmlInfoMap.insert (!smlmap, i, tmemo)
47          end          end
48    
         fun discard (arg as (_, { bfc, ctxt })) = (BF.discardCode bfc; arg)  
   
49          val recomp_memo_sml =          val recomp_memo_sml =
50              if discard_code then recomp_memo_sml0 o discard              if discard_code then
51                    (fn x => (BF.discardCode (#bfc (#2 x)); recomp_memo_sml0 x))
52              else recomp_memo_sml0              else recomp_memo_sml0
53    
54          fun recomp_look_stable i = StableMap.find (!stablemap, i)          fun recomp_look_stable i = StableMap.find (!stablemap, i)
# Line 57  Line 56 
56              stablemap := StableMap.insert (!stablemap, i, memo)              stablemap := StableMap.insert (!stablemap, i, memo)
57    
58          val recomp_memo_stable =          val recomp_memo_stable =
59              if discard_code then recomp_memo_stable0 o discard              if discard_code then
60                    (fn x => (BF.discardCode (#bfc (#2 x)); recomp_memo_stable0 x))
61              else recomp_memo_stable0              else recomp_memo_stable0
62    
63          fun bfc_fetch_sml i = #bfc (#1 (valOf (SmlInfoMap.find (!smlmap, i))))          fun bfc_fetch_sml i = #bfc (#1 (valOf (SmlInfoMap.find (!smlmap, i))))

Legend:
Removed from v.305  
changed lines
  Added in v.320

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