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/Semant/pickle/pickmod-new.sml
ViewVC logotype

Diff of /sml/trunk/src/compiler/Semant/pickle/pickmod-new.sml

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

revision 439, Wed Sep 15 16:37:27 1999 UTC revision 475, Wed Nov 10 22:59:58 1999 UTC
# Line 49  Line 49 
49                       Access.lvar list * PersStamps.persstamp option                       Access.lvar list * PersStamps.persstamp option
50  end  end
51    
52    local
53        (* make those into red-black-maps once rb-maps work correcty. *)
54        functor MapFn = RedBlackMapFn
55        structure IntMap = IntRedBlackMap
56    in
57  structure PickMod :> PICKMOD = struct  structure PickMod :> PICKMOD = struct
58    
59      (* to gather some statistics... *)      (* to gather some statistics... *)
# Line 85  Line 90 
90          if Symbol.symbolGt (a, b) then GREATER          if Symbol.symbolGt (a, b) then GREATER
91          else if Symbol.eq (a, b) then EQUAL else LESS          else if Symbol.eq (a, b) then EQUAL else LESS
92    
93      structure LTMap = BinaryMapFn      structure LTMap = MapFn
94          (struct type ord_key = LK.lty val compare = LK.lt_cmp end)          (struct type ord_key = LK.lty val compare = LK.lt_cmp end)
95      structure TCMap = BinaryMapFn      structure TCMap = MapFn
96          (struct type ord_key = LK.tyc val compare = LK.tc_cmp end)          (struct type ord_key = LK.tyc val compare = LK.tc_cmp end)
97      structure TKMap = BinaryMapFn      structure TKMap = MapFn
98          (struct type ord_key = LK.tkind val compare = LK.tk_cmp end)          (struct type ord_key = LK.tkind val compare = LK.tk_cmp end)
99      local      local
100          structure StampMap = BinaryMapFn          structure StampMap = MapFn
101              (struct type ord_key = Stamps.stamp val compare = Stamps.cmp end)              (struct type ord_key = Stamps.stamp val compare = Stamps.cmp end)
102      in      in
103          structure DTMap = StampMap          structure DTMap = StampMap
# Line 119  Line 124 
124        | acc_pid (A.PATH (a, _)) = acc_pid a        | acc_pid (A.PATH (a, _)) = acc_pid a
125        | acc_pid A.NO_ACCESS = NONE        | acc_pid A.NO_ACCESS = NONE
126    
127      structure MIMap = BinaryMapFn      structure MIMap = MapFn
128          (struct type ord_key = mi val compare = mi_cmp end)          (struct type ord_key = mi val compare = mi_cmp end)
129    
130      structure PU = PickleUtil      structure PU = PickleUtil
# Line 220  Line 225 
225      val pid = PSymPid.w_pid      val pid = PSymPid.w_pid
226    
227      fun mkAlphaConvert () = let      fun mkAlphaConvert () = let
228          val m = ref IntBinaryMap.empty          val m = ref IntMap.empty
229          val cnt = ref 0          val cnt = ref 0
230          fun cvt i =          fun cvt i =
231              case IntBinaryMap.find (!m, i) of              case IntMap.find (!m, i) of
232                  SOME i' => i'                  SOME i' => i'
233                | NONE => let                | NONE => let
234                      val i' = !cnt                      val i' = !cnt
235                  in                  in
236                      cnt := i' + 1;                      cnt := i' + 1;
237                      m := IntBinaryMap.insert (!m, i, i');                      m := IntMap.insert (!m, i, i');
238                      i'                      i'
239                  end                  end
240      in      in
# Line 1200  Line 1205 
1205          (newenv, hash, rev lvars, exportPid)          (newenv, hash, rev lvars, exportPid)
1206      end      end
1207  end  end
1208    end
1209    

Legend:
Removed from v.439  
changed lines
  Added in v.475

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