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/stable/stabilize.sml
ViewVC logotype

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

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

revision 370, Mon Jul 5 08:59:13 1999 UTC revision 371, Mon Jul 5 14:34:41 1999 UTC
# Line 281  Line 281 
281              fun w_bool true k m = "t" :: k m              fun w_bool true k m = "t" :: k m
282                | w_bool false k m = "f" :: k m                | w_bool false k m = "f" :: k m
283    
284              fun w_sn_raw (DG.SNODE n) k = let              fun w_sn_raw (DG.SNODE n) k =
285                  val i = #smlinfo n                  w_si (#smlinfo n)
286                  val li = #localimports n                       (w_list w_sn (#localimports n)
287                  val gi = #globalimports n                                    (w_list w_fsbn (#globalimports n) k))
             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  
288    
289              and w_sn n = w_share w_sn_raw PSN n              and w_sn n = w_share w_sn_raw PSN n
290    
# Line 334  Line 321 
321                      case SmlInfoMap.find (!m, smlinfo) of                      case SmlInfoMap.find (!m, smlinfo) of
322                          SOME n => n                          SOME n => n
323                        | NONE => let                        | NONE => let
324                              val li = map sloci (#localimports n)                              val li = map sn (#localimports n)
325                              val gi = map sglobi (#globalimports n)                              val gi = map fsbn (#globalimports n)
326                              val sourcepath = SmlInfo.sourcepath smlinfo                              val sourcepath = SmlInfo.sourcepath smlinfo
327                              (* FIXME: see the comment near the other                              (* FIXME: see the comment near the other
328                               * occurence of SrcPath.spec... *)                               * occurence of SrcPath.spec... *)
# Line 360  Line 347 
347                              n                              n
348                          end                          end
349    
                 and sloci (n, ref r) = (sn n, r)  
                 and sglobi (n, ref r) = (fsbn n, r)  
   
350                  and sbn (DG.SB_SNODE n) = sn n                  and sbn (DG.SB_SNODE n) = sn n
351                    | sbn (DG.SB_BNODE n) = n                    | sbn (DG.SB_BNODE n) = n
352    
# Line 660  Line 644 
644               * SNODE changes to a BNODE! *)               * SNODE changes to a BNODE! *)
645              fun r_sn_raw () =              fun r_sn_raw () =
646                  DG.BNODE { bininfo = r_si (),                  DG.BNODE { bininfo = r_si (),
647                             localimports = r_list r_sloci (),                             localimports = r_list r_sn (),
648                             globalimports = r_list r_sglobi () }                             globalimports = r_list r_fsbn () }
   
             and r_sloci () = (r_sn (), r_bool ())  
             and r_sglobi () = (r_fsbn (), r_bool ())  
649    
650              and r_sn () =              and r_sn () =
651                  r_share r_sn_raw UBN (fn (UBN n) => n | _ => raise Format) ()                  r_share r_sn_raw UBN (fn (UBN n) => n | _ => raise Format) ()

Legend:
Removed from v.370  
changed lines
  Added in v.371

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