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/depend/checksharing.sml
ViewVC logotype

Diff of /sml/trunk/src/cm/depend/checksharing.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 52  Line 52 
52              case StableMap.find (!stablemap, i) of              case StableMap.find (!stablemap, i) of
53                  SOME s' => StringSet.union (s, s')                  SOME s' => StringSet.union (s, s')
54                | NONE => let                | NONE => let
55                      val gs = foldl bglobi empty globalimports                      val gs = foldl fbn empty globalimports
56                      val ls = foldl bloci gs localimports                      val ls = foldl bn gs localimports
57                      val s' = check (BinInfo.share i, BinInfo.describe i, ls,                      val s' = check (BinInfo.share i, BinInfo.describe i, ls,
58                                      BinInfo.error i)                                      BinInfo.error i)
59                  in                  in
# Line 61  Line 61 
61                      StringSet.union (s, s')                      StringSet.union (s, s')
62                  end                  end
63    
         and bglobi ((n, _), s) = fbn (n, s)  
         and bloci ((n, _), s) = bn (n, s)  
   
64          and fbn ((_, n), s) = bn (n, s)          and fbn ((_, n), s) = bn (n, s)
65    
66          fun sn (DG.SNODE n, s) = let          fun sn (DG.SNODE n, s) = let
# Line 72  Line 69 
69              case SmlInfoMap.find (!smlmap, i) of              case SmlInfoMap.find (!smlmap, i) of
70                  SOME s' => StringSet.union (s, s')                  SOME s' => StringSet.union (s, s')
71                | NONE => let                | NONE => let
72                      val gs = foldl globi empty globalimports                      val gs = foldl fsbn empty globalimports
73                      val ls = foldl loci gs localimports                      val ls = foldl sn gs localimports
74                      val s' = check (SmlInfo.share i, SmlInfo.descr i, ls,                      val s' = check (SmlInfo.share i, SmlInfo.descr i, ls,
75                                      SmlInfo.error gp i)                                      SmlInfo.error gp i)
76                  in                  in
# Line 82  Line 79 
79                  end                  end
80          end          end
81    
         and loci ((n, _), s) = sn (n, s)  
         and globi ((n, _), s) = fsbn (n, s)  
   
82          and sbn (DG.SB_BNODE n, s) = bn (n, s)          and sbn (DG.SB_BNODE n, s) = bn (n, s)
83            | sbn (DG.SB_SNODE n, s) = sn (n, s)            | sbn (DG.SB_SNODE n, s) = sn (n, s)
84    

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