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 278, Mon May 17 14:53:49 1999 UTC revision 280, Tue May 18 09:05:13 1999 UTC
# 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
128            val mc = m MemberCollection.empty
129            val exports = e mc
130        in
131            ignore (MemberCollection.build mc);
132            if islib then Dummy.v else Dummy.v
133        end
134    
135      val emptyGroup = Dummy.v      val emptyGroup = Dummy.v
136      fun group (p: permspec, e: exports, m: members) =      val group = group0 false
137          (ignore (m MemberCollection.empty);      val library = group0 true
          Dummy.v)  
     fun library (p: permspec, e: exports, m: members) =  
         (ignore (m MemberCollection.empty);  
          Dummy.v)  
138    
139      local      local
140          val isMember = StringSet.member          val isMember = StringSet.member

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

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