SCM Repository

[smlnj] Diff of /sml/trunk/src/cm/stable/stabilize.sml

[smlnj] / sml / trunk / src / cm / stable / stabilize.sml

Diff of /sml/trunk/src/cm/stable/stabilize.sml

-revision 369, Sun Jul  4 12:55:20 1999 UTC
+revision 370, Mon Jul  5 08:59:13 1999 UTC
 Line 278
                      "b" :: w_int n (w_symbol sy k) m
                  end
-             fun w_sn_raw (DG.SNODE n) k =
+             fun w_bool true k m = "t" :: k m
-                 w_si (#smlinfo n)
+               | w_bool false k m = "f" :: k m
-                      (w_list w_sn (#localimports n)
-                                   (w_list w_fsbn (#globalimports n) k))
+             fun w_sn_raw (DG.SNODE n) k = let
+                 val i = #smlinfo n
+                 val li = #localimports n
+                 val gi = #globalimports n
+             in
+                 Say.say ["+++ w_sn_raw: ", SmlInfo.descr i, "\n"];
+                 app (fn (DG.SNODE n, ref r) =>
+                       (Say.say ["     ", if r then "+" else "-",
+                                 SmlInfo.descr (#smlinfo n), "\n"])) li;
+                 app (fn ((_, sbn), ref r) =>
+                       (Say.say ["      ", if r then "+" else "-",
+                                 DG.describeSBN sbn, "\n"])) gi;
+                 w_si i (w_list w_sloci li (w_list w_sglobi gi k))
+             end
+             and w_sloci (n, ref r) k m = w_sn n (w_bool r k) m
+             and w_sglobi (n, ref r) k m = w_fsbn n (w_bool r k) m
              and w_sn n = w_share w_sn_raw PSN n
-Line 294
+Line 310
              fun w_exports e = w_list w_impexp (SymbolMap.listItemsi e)
-             fun w_bool true k m = "t" :: k m
-               | w_bool false k m = "f" :: k m
              fun w_privileges p = w_list w_string (StringSet.listItems p)
              fun pickle_group () = let
-Line 321
+Line 334
                      case SmlInfoMap.find (!m, smlinfo) of
                          SOME n => n
                        | NONE => let
-                             val li = map sn (#localimports n)
+                             val li = map sloci (#localimports n)
-                             val gi = map fsbn (#globalimports n)
+                             val gi = map sglobi (#globalimports n)
                              val sourcepath = SmlInfo.sourcepath smlinfo
                              (* FIXME: see the comment near the other
                               * occurence of SrcPath.spec... *)
-Line 347
+Line 360
                              n
                          end
+                 and sloci (n, ref r) = (sn n, r)
+                 and sglobi (n, ref r) = (fsbn n, r)
                  and sbn (DG.SB_SNODE n) = sn n
                    | sbn (DG.SB_BNODE n) = n
-Line 642
+Line 658
              (* this is the place where what used to be an
               * SNODE changes to a BNODE! *)
-             fun r_sn_raw () = let
+             fun r_sn_raw () =
-                 val i = r_si ()
+                 DG.BNODE { bininfo = r_si (),
-             in
+                            localimports = r_list r_sloci (),
-                 DG.BNODE { bininfo = i,
+                            globalimports = r_list r_sglobi () }
-                            localimports = r_list r_sn (),
-                            globalimports = r_list r_fsbn () }
+             and r_sloci () = (r_sn (), r_bool ())
-             end
+             and r_sglobi () = (r_fsbn (), r_bool ())
              and r_sn () =
                  r_share r_sn_raw UBN (fn (UBN n) => n | _ => raise Format) ()

 Legend:



Removed from v.369
 


changed lines


 
Added in v.370
 Legend:



Removed from v.369
 


changed lines


 
Added in v.370
-Removed from v.369
+Added in v.370

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