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 297, Thu May 27 08:29:19 1999 UTC revision 299, Thu May 27 13:53:27 1999 UTC
# Line 20  Line 20 
20    
21      val empty : collection      val empty : collection
22    
23      val expandOne : GeneralParams.params * (AbsPath.t -> GroupGraph.group)      val expandOne : GeneralParams.info * (AbsPath.t -> GroupGraph.group)
24          -> { sourcepath: AbsPath.t, group: AbsPath.t * region,          -> { sourcepath: AbsPath.t, group: AbsPath.t * region,
25               class: string option }               class: string option }
26          -> collection          -> collection
# Line 28  Line 28 
28    
29      val build :      val build :
30          collection * SymbolSet.set option * (string -> unit) *          collection * SymbolSet.set option * (string -> unit) *
31          GeneralParams.params          GeneralParams.info
32          -> impexp SymbolMap.map          -> impexp SymbolMap.map
33    
34      val subgroups : collection -> GroupGraph.group list      val subgroups : collection -> GroupGraph.group list
# Line 92  Line 92 
92                       subgroups = #subgroups c1 @ #subgroups c2 }                       subgroups = #subgroups c1 @ #subgroups c2 }
93      end      end
94    
95      fun expandOne (params, rparse) arg = let      fun expandOne (gp, rparse) arg = let
96          val primconf = #primconf params          val primconf = #primconf (#param gp)
97          val { sourcepath, group, class } = arg          val { sourcepath, group, class } = arg
98          val error = GroupReg.error (#groupreg params) group          val error = GroupReg.error (#groupreg gp) group
99          fun noPrimitive () = let          fun noPrimitive () = let
100              fun e0 s = error EM.COMPLAIN s EM.nullErrorBody              fun e0 s = error EM.COMPLAIN s EM.nullErrorBody
101              fun w0 s = error EM.WARN s EM.nullErrorBody              fun w0 s = error EM.WARN s EM.nullErrorBody
# Line 110  Line 110 
110                  end                  end
111                | exp2coll (PrivateTools.SMLSOURCE src) = let                | exp2coll (PrivateTools.SMLSOURCE src) = let
112                      val { sourcepath = p, history = h, share = s } = src                      val { sourcepath = p, history = h, share = s } = src
113                      val i =  SmlInfo.info params                      val i =  SmlInfo.info gp
114                          { sourcepath = p,                          { sourcepath = p,
115                            group = group,                            group = group,
116                            share = s }                            share = s }
117                      val exports = SmlInfo.exports params i                      val exports = SmlInfo.exports gp i
118                      val _ = if SS.isEmpty exports then w0 "no module exports"                      val _ = if SS.isEmpty exports then w0 "no module exports"
119                              else ()                              else ()
120                      fun addLD (s, m) = SymbolMap.insert (m, s, i)                      fun addLD (s, m) = SymbolMap.insert (m, s, i)

Legend:
Removed from v.297  
changed lines
  Added in v.299

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