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 517, Wed Jan 12 03:17:34 2000 UTC revision 518, Wed Jan 12 06:26:25 2000 UTC
# Line 20  Line 20 
20    
21      val empty : collection      val empty : collection
22    
23      val expandOne : GeneralParams.info * (SrcPath.t -> GroupGraph.group)      val expandOne :
24            GeneralParams.info * (SrcPath.t -> GroupGraph.group) * (string -> bool)
25          -> { name: string, mkpath: string -> SrcPath.t,          -> { name: string, mkpath: string -> SrcPath.t,
26               group: SrcPath.t * region, class: string option,               group: SrcPath.t * region, class: string option,
27               context: SrcPath.context }               context: SrcPath.context }
# Line 104  Line 105 
105                       reqpriv = StringSet.union (#reqpriv c1, #reqpriv c2) }                       reqpriv = StringSet.union (#reqpriv c1, #reqpriv c2) }
106      end      end
107    
108      fun expandOne (gp, rparse) arg = let      fun expandOne (gp, rparse, load_plugin) arg = let
109          val primconf = #primconf (#param gp)          val primconf = #primconf (#param gp)
110          val { name, mkpath, group, class, context } = arg          val { name, mkpath, group, class, context } = arg
111          val class = Option.map (String.map Char.toLower) class          val class = Option.map (String.map Char.toLower) class
# Line 115  Line 116 
116              val { smlfiles, cmfiles } =              val { smlfiles, cmfiles } =
117                  PrivateTools.expand { error = e0,                  PrivateTools.expand { error = e0,
118                                        spec = (name, mkpath, class),                                        spec = (name, mkpath, class),
119                                        context = context }                                        context = context,
120                                          load_plugin = load_plugin }
121              fun g_coll p = let              fun g_coll p = let
122                  val g as GG.GROUP { exports = i, kind, required, ... } =                  val g as GG.GROUP { exports = i, kind, required, ... } =
123                      rparse p                      rparse p

Legend:
Removed from v.517  
changed lines
  Added in v.518

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