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 733, Fri Nov 17 05:13:45 2000 UTC revision 735, Tue Nov 21 12:15:55 2000 UTC
# Line 34  Line 34 
34               group: SrcPath.file * region,               group: SrcPath.file * region,
35               class: string option,               class: string option,
36               tooloptions: PrivateTools.toolopts option,               tooloptions: PrivateTools.toolopts option,
37                 local_registry: PrivateTools.registry,
38               context: SrcPath.dir }               context: SrcPath.dir }
39          -> collection          -> collection
40      val sequential : collection * collection * (string -> unit) -> collection      val sequential : collection * collection * (string -> unit) -> collection
# Line 157  Line 158 
158        | sequential _ = ERRORCOLLECTION        | sequential _ = ERRORCOLLECTION
159    
160      fun expandOne { gp, rparse, load_plugin } arg = let      fun expandOne { gp, rparse, load_plugin } arg = let
161          val { name, mkpath, group, class, tooloptions, context } = arg          val { name, mkpath, group, class, tooloptions,
162                  local_registry, context } = arg
163          val class = Option.map (String.map Char.toLower) class          val class = Option.map (String.map Char.toLower) class
164          val error = GroupReg.error (#groupreg gp) group          val error = GroupReg.error (#groupreg gp) group
165          fun e0 s = error EM.COMPLAIN s EM.nullErrorBody          fun e0 s = error EM.COMPLAIN s EM.nullErrorBody
166          fun w0 s = error EM.WARN s EM.nullErrorBody          fun w0 s = error EM.WARN s EM.nullErrorBody
167          val { smlfiles, cmfiles, sources } =          val { smlfiles, cmfiles, sources } =
168              PrivateTools.expand { error = e0,              PrivateTools.expand { error = e0,
169                                      local_registry = local_registry,
170                                    spec = { name = name,                                    spec = { name = name,
171                                             mkpath = mkpath,                                             mkpath = mkpath,
172                                             class = class,                                             class = class,

Legend:
Removed from v.733  
changed lines
  Added in v.735

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