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 651, Thu Jun 1 18:34:03 2000 UTC revision 652, Tue Jun 6 02:14:56 2000 UTC
# Line 187  Line 187 
187          fun sameSL (p, g) (p', g') = SrcPath.compare (p, p') = EQUAL          fun sameSL (p, g) (p', g') = SrcPath.compare (p, p') = EQUAL
188          fun add (x, l) =          fun add (x, l) =
189              if List.exists (sameSL x) l then l else x :: l              if List.exists (sameSL x) l then l else x :: l
190          fun oneSG (x as (_, GG.GROUP { kind, sublibs, ... }), l) =          fun oneSG (x as (_, gth), l) =
191                case gth () of
192                    GG.GROUP { kind, sublibs, ... } =>
193              (case kind of              (case kind of
194                   GG.NOLIB _ => foldl add l sublibs                   GG.NOLIB _ => foldl add l sublibs
195                 | _ => add (x, l))                 | _ => add (x, l))
196            | oneSG (_, l) = l                | _ => l
197      in      in
198          foldl oneSG [] subgroups          foldl oneSG [] subgroups
199      end      end
# Line 210  Line 212 
212          in          in
213              #1 (valOf (SymbolMap.find (exports, PervAccess.pervStrSym)))              #1 (valOf (SymbolMap.find (exports, PervAccess.pervStrSym)))
214          end          end
215          val (exports, rp) = MemberCollection.build (mc, filter, gp, pfsbn)          val (exports, rp) = MemberCollection.build (mc, filter, gp, pfsbn ())
216          val subgroups = MemberCollection.subgroups mc          fun thunkify (p, g) = (p, fn () => g)
217            val subgroups = map thunkify (MemberCollection.subgroups mc)
218          val { required = rp', wrapped = wr } = p          val { required = rp', wrapped = wr } = p
219          val rp'' = StringSet.union (rp', StringSet.union (rp, wr))          val rp'' = StringSet.union (rp', StringSet.union (rp, wr))
220      in      in
# Line 239  Line 242 
242          in          in
243              #1 (valOf (SymbolMap.find (exports, PervAccess.pervStrSym)))              #1 (valOf (SymbolMap.find (exports, PervAccess.pervStrSym)))
244          end          end
245          val (exports, rp) = MemberCollection.build (mc, filter, gp, pfsbn)          val (exports, rp) = MemberCollection.build (mc, filter, gp, pfsbn ())
246          val subgroups = MemberCollection.subgroups mc          fun thunkify (p, g) = (p, fn () => g)
247            val subgroups = map thunkify (MemberCollection.subgroups mc)
248          val { required = rp', wrapped = wr } = p          val { required = rp', wrapped = wr } = p
249          val rp'' = StringSet.union (rp', StringSet.union (rp, wr))          val rp'' = StringSet.union (rp', StringSet.union (rp, wr))
250      in      in

Legend:
Removed from v.651  
changed lines
  Added in v.652

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