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 356, Sun Jun 27 11:51:16 1999 UTC revision 364, Fri Jul 2 07:33:12 1999 UTC
# Line 35  Line 35 
35      (* getting the full analysis for a group/library *)      (* getting the full analysis for a group/library *)
36      val emptyGroup : pathname -> group      val emptyGroup : pathname -> group
37      val group :      val group :
38          pathname * privilegespec * exports option * members * complainer *          pathname * privilegespec * exports option * members *
39          GeneralParams.info          GeneralParams.info
40          -> group          -> group
41      val library :      val library :
42          pathname * privilegespec * exports * members * complainer *          pathname * privilegespec * exports * members *
43          GeneralParams.info          GeneralParams.info
44          -> group          -> group
45    
# Line 155  Line 155 
155          foldl oneSG [] subgroups          foldl oneSG [] subgroups
156      end      end
157    
158      fun grouplib (islib, g, p, e, m, error, gp) = let      fun grouplib (islib, g, p, e, m, gp) = let
159          val mc = applyTo MemberCollection.empty m          val mc = applyTo MemberCollection.empty m
160          val filter = Option.map (applyTo mc) e          val filter = Option.map (applyTo mc) e
161          val (exports, rp) = MemberCollection.build (mc, filter, error, gp)          val (exports, rp) = MemberCollection.build (mc, filter, gp)
162          val subgroups = MemberCollection.subgroups mc          val subgroups = MemberCollection.subgroups mc
163          val { required = rp', wrapped = wr } = p          val { required = rp', wrapped = wr } = p
164          val rp'' = StringSet.union (rp', StringSet.union (rp, wr))          val rp'' = StringSet.union (rp', StringSet.union (rp, wr))
# Line 174  Line 174 
174                     sublibs = sgl2sll subgroups }                     sublibs = sgl2sll subgroups }
175      end      end
176    
177      fun group (g, p, e, m, error, gp) =      fun group (g, p, e, m, gp) =
178          grouplib (false, g, p, e, m, error, gp)          grouplib (false, g, p, e, m, gp)
179      fun library (g, p, e, m, error, gp) =      fun library (g, p, e, m, gp) =
180          grouplib (true, g, p, SOME e, m, error, gp)          grouplib (true, g, p, SOME e, m, gp)
181    
182      local      local
183          val isMember = StringSet.member          val isMember = StringSet.member

Legend:
Removed from v.356  
changed lines
  Added in v.364

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