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

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

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

revision 433, Mon Sep 13 06:57:29 1999 UTC revision 444, Thu Sep 16 05:32:14 1999 UTC
# Line 30  Line 30 
30          collection * SymbolSet.set option * GeneralParams.info          collection * SymbolSet.set option * GeneralParams.info
31          -> impexp SymbolMap.map * GroupGraph.privileges          -> impexp SymbolMap.map * GroupGraph.privileges
32    
33      val subgroups : collection -> GroupGraph.group list      val subgroups : collection -> (SrcPath.t * GroupGraph.group) list
34    
35      val num_look : GeneralParams.info -> collection -> string -> int      val num_look : GeneralParams.info -> collection -> string -> int
36      val cm_look : GeneralParams.info -> collection -> string -> bool      val cm_look : GeneralParams.info -> collection -> string -> bool
# Line 56  Line 56 
56                          gimports: impexp SymbolMap.map,                          gimports: impexp SymbolMap.map,
57                          smlfiles: smlinfo list,                          smlfiles: smlinfo list,
58                          localdefs: smlinfo SymbolMap.map,                          localdefs: smlinfo SymbolMap.map,
59                          subgroups: GG.group list,                          subgroups: (SrcPath.t * GG.group) list,
60                          reqpriv: GG.privileges }                          reqpriv: GG.privileges }
61    
62      val empty =      val empty =
# Line 119  Line 119 
119                  in                  in
120                      COLLECTION { imports = i, gimports = gi, smlfiles = [],                      COLLECTION { imports = i, gimports = gi, smlfiles = [],
121                                   localdefs = SymbolMap.empty,                                   localdefs = SymbolMap.empty,
122                                   subgroups = [g],                                   subgroups = [(p, g)],
123                                   reqpriv = required }                                   reqpriv = required }
124                  end                  end
125                | exp2coll (PrivateTools.SMLSOURCE src) = let                | exp2coll (PrivateTools.SMLSOURCE src) = let

Legend:
Removed from v.433  
changed lines
  Added in v.444

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