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/main/general-params.sml
ViewVC logotype

Diff of /sml/trunk/src/cm/main/general-params.sml

Parent Directory Parent Directory | Revision Log Revision Log | View Patch Patch

revision 1057, Fri Feb 8 17:31:02 2002 UTC revision 1058, Fri Feb 8 20:02:56 2002 UTC
# Line 14  Line 14 
14                     symval: string -> { get: unit -> int option,                     symval: string -> { get: unit -> int option,
15                                         set: int option -> unit },                                         set: int option -> unit },
16                     archos: string,                     archos: string,
17                     keep_going: bool }                     keep_going: bool,
18                       slave_mode: bool }
19    
20      type info = { param: param,      type info = { param: param,
21                    groupreg: GroupReg.groupreg,                    groupreg: GroupReg.groupreg,
22                    errcons: PrettyPrint.ppconsumer,                    errcons: PrettyPrint.ppconsumer,
23                    youngest: TStamp.t ref }                    youngest: TStamp.t ref }
24    
25      fun bind { param = { penv, archos, fnpolicy, symval, keep_going },      fun bind { param = { penv, archos, fnpolicy, symval,
26                             keep_going, slave_mode },
27                  groupreg, errcons, youngest } rb =                  groupreg, errcons, youngest } rb =
28          { param = { penv = SrcPath.bind penv rb,          { param = { penv = SrcPath.bind penv rb,
29                      archos = archos,                      archos = archos,
30                      fnpolicy = fnpolicy,                      fnpolicy = fnpolicy,
31                      symval = symval,                      symval = symval,
32                      keep_going = keep_going },                      keep_going = keep_going,
33                        slave_mode = slave_mode },
34            groupreg = groupreg, errcons = errcons, youngest = youngest }            groupreg = groupreg, errcons = errcons, youngest = youngest }
35  end  end

Legend:
Removed from v.1057  
changed lines
  Added in v.1058

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