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 326, Thu Jun 10 06:08:29 1999 UTC revision 330, Sat Jun 12 07:45:52 1999 UTC
# Line 31  Line 31 
31          GeneralParams.info          GeneralParams.info
32          -> impexp SymbolMap.map * GroupGraph.privileges          -> impexp SymbolMap.map * GroupGraph.privileges
33    
34      val subgroups : collection -> GroupGraph.group list      val subgroups : collection -> (AbsPath.t * GroupGraph.group) list
35    
36      val num_look : collection -> string -> int      val num_look : collection -> string -> int
37      val ml_look : collection -> symbol -> bool      val ml_look : collection -> symbol -> 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: (AbsPath.t * GG.group) list,
60                          reqpriv: GG.privileges }                          reqpriv: GG.privileges }
61    
62      val empty =      val empty =
# Line 110  Line 110 
110                  in                  in
111                      COLLECTION { imports = i, gimports = gi, smlfiles = [],                      COLLECTION { imports = i, gimports = gi, smlfiles = [],
112                                   localdefs = SymbolMap.empty,                                   localdefs = SymbolMap.empty,
113                                   subgroups = [g],                                   subgroups = [(p, g)],
114                                   reqpriv = required }                                   reqpriv = required }
115                  end                  end
116                | exp2coll (PrivateTools.SMLSOURCE src) = let                | exp2coll (PrivateTools.SMLSOURCE src) = let

Legend:
Removed from v.326  
changed lines
  Added in v.330

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