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 353, Thu Jun 24 09:43:28 1999 UTC revision 354, Fri Jun 25 08:36:12 1999 UTC
# Line 20  Line 20 
20    
21      val empty : collection      val empty : collection
22    
23      val expandOne : GeneralParams.info * (AbsPath.t -> GroupGraph.group)      val expandOne : GeneralParams.info * (SrcPath.t -> GroupGraph.group)
24          -> { sourcepath: AbsPath.t, group: AbsPath.t * region,          -> { sourcepath: SrcPath.t, group: SrcPath.t * region,
25               class: string option }               class: string option }
26          -> collection          -> collection
27      val sequential : collection * collection * (string -> unit) -> collection      val sequential : collection * collection * (string -> unit) -> collection
# 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 -> (AbsPath.t * GroupGraph.group) list      val subgroups : collection -> (SrcPath.t * GroupGraph.group) list
35    
36      val num_look : GeneralParams.info -> collection -> string -> int      val num_look : GeneralParams.info -> collection -> string -> int
37      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: (AbsPath.t * GG.group) list,                          subgroups: (SrcPath.t * GG.group) list,
60                          reqpriv: GG.privileges }                          reqpriv: GG.privileges }
61    
62      val empty =      val empty =
# Line 134  Line 134 
134                              NONE => SS.empty                              NONE => SS.empty
135                            | SOME ex => (if SS.isEmpty ex then                            | SOME ex => (if SS.isEmpty ex then
136                                              w0 ("no module exports from " ^                                              w0 ("no module exports from " ^
137                                                  AbsPath.name p)                                                  SrcPath.descr p)
138                                          else ();                                          else ();
139                                          ex)                                          ex)
140                      fun addLD (s, m) = SymbolMap.insert (m, s, i)                      fun addLD (s, m) = SymbolMap.insert (m, s, i)
# Line 154  Line 154 
154          end          end
155      in      in
156          if isSome class then noPrimitive ()          if isSome class then noPrimitive ()
157          else case Primitive.fromString primconf (AbsPath.specOf sourcepath) of          else case Primitive.fromString primconf (SrcPath.specOf sourcepath) of
158              SOME p => let              SOME p => let
159                  val exports = Primitive.exports primconf p                  val exports = Primitive.exports primconf p
160                  val env = Primitive.da_env primconf p                  val env = Primitive.da_env primconf p

Legend:
Removed from v.353  
changed lines
  Added in v.354

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