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 277, Mon May 17 09:13:26 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 89  Line 89 
89    
90  structure CMSemant :> CM_SEMANT = struct  structure CMSemant :> CM_SEMANT = struct
91    
     structure Symbol = GenericVC.Symbol  
92      structure SymPath = GenericVC.SymPath      structure SymPath = GenericVC.SymPath
93    
94      type pathname = AbsPath.t      type pathname = AbsPath.t
# Line 125  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 applyTo mc e = e mc
128    
129      val emptyGroup = Dummy.v      val emptyGroup = Dummy.v
130      fun group (p: permspec, e: exports, m: members) =  
131          (ignore (m MemberCollection.empty);      fun group (p: permspec, e: exports option, m) = let
132           Dummy.v)          val mc = applyTo MemberCollection.empty m
133      fun library (p: permspec, e: exports, m: members) =          val exports = Option.map (applyTo mc) e
134          (ignore (m MemberCollection.empty);      in
135           Dummy.v)          ignore (MemberCollection.build mc);
136            Dummy.v
137        end
138    
139        fun library (p: permspec, e: exports, m) = let
140            val mc = applyTo MemberCollection.empty m
141            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.277  
changed lines
  Added in v.282

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