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 270, Tue May 11 07:45:42 1999 UTC revision 272, Wed May 12 07:09:28 1999 UTC
# Line 60  Line 60 
60      end      end
61    
62      fun expandOne gexports { sourcepath, group, class } = let      fun expandOne gexports { sourcepath, group, class } = let
63          val expansions = Tools.expand (sourcepath, class)          val expansions = PrivateTools.expand (sourcepath, class)
64          fun exp2coll (Tools.GROUP p) =          fun exp2coll (PrivateTools.GROUP p) =
65              COLLECTION { subexports = gexports p,              COLLECTION { subexports = gexports p,
66                           smlfiles = [],                           smlfiles = [],
67                           localdefs = SymbolMap.empty }                           localdefs = SymbolMap.empty }
68            | exp2coll (Tools.PRIMITIVE p) = let            | exp2coll (PrivateTools.PRIMITIVE p) = let
69                  val exports = Primitive.exports p                  val exports = Primitive.exports p
70                  fun addFN (s, m) =                  fun addFN (s, m) =
71                      SymbolMap.insert (m, s, (NONE, DG.PNODE p))                      SymbolMap.insert (m, s, (NONE, DG.PNODE p))
# Line 75  Line 75 
75                               smlfiles = [],                               smlfiles = [],
76                               localdefs = SymbolMap.empty }                               localdefs = SymbolMap.empty }
77              end              end
78            | exp2coll (Tools.SMLSOURCE src) = let            | exp2coll (PrivateTools.SMLSOURCE src) = let
79                  val { sourcepath = p, history = h, share = s } = src                  val { sourcepath = p, history = h, share = s } = src
80                  val i =  SmlInfo.new { sourcepath = p, group = group,                  val i =  SmlInfo.new { sourcepath = p, group = group,
81                                         history = SOME h, share = s,                                         history = h, share = s,
82                                         stableinfo = NONE }                                         stableinfo = NONE }
83                  val exports = SmlInfo.exports i                  val exports = SmlInfo.exports i
84                  fun addLD (s, m) = SymbolMap.insert (m, s, i)                  fun addLD (s, m) = SymbolMap.insert (m, s, i)

Legend:
Removed from v.270  
changed lines
  Added in v.272

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