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

Diff of /sml/trunk/src/cm/semant/semant.sml

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

revision 280, Tue May 18 09:05:13 1999 UTC revision 282, Wed May 19 05:14:03 1999 UTC
# Line 34  Line 34 
34    
35      (* getting the full analysis for a group/library *)      (* getting the full analysis for a group/library *)
36      val emptyGroup : group      val emptyGroup : group
37      val group : permspec * exports * members -> group      val group : permspec * exports option * members -> group
38      val library : permspec * exports * members -> group      val library : permspec * exports * members -> group
39    
40      (* assembling permission lists *)      (* assembling permission lists *)
# Line 124  Line 124 
124      val ml_functor = Symbol.fctSymbol      val ml_functor = Symbol.fctSymbol
125      val ml_funsig = Symbol.fsigSymbol      val ml_funsig = Symbol.fsigSymbol
126    
127      fun group0 islib (p: permspec, e: exports, m) = let      fun applyTo mc e = e mc
128          val mc = m MemberCollection.empty  
129          val exports = e mc      val emptyGroup = Dummy.v
130    
131        fun group (p: permspec, e: exports option, m) = let
132            val mc = applyTo MemberCollection.empty m
133            val exports = Option.map (applyTo mc) e
134      in      in
135          ignore (MemberCollection.build mc);          ignore (MemberCollection.build mc);
136          if islib then Dummy.v else Dummy.v          Dummy.v
137      end      end
138    
139      val emptyGroup = Dummy.v      fun library (p: permspec, e: exports, m) = let
140      val group = group0 false          val mc = applyTo MemberCollection.empty m
141      val library = group0 true          val exports = applyTo mc e
142        in
143            ignore (MemberCollection.build mc);
144            Dummy.v
145        end
146    
147      local      local
148          val isMember = StringSet.member          val isMember = StringSet.member

Legend:
Removed from v.280  
changed lines
  Added in v.282

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