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 692, Thu Jul 27 08:34:53 2000 UTC revision 873, Mon Jul 9 15:26:20 2001 UTC
# Line 13  Line 13 
13                     fnpolicy: FilenamePolicy.policy,                     fnpolicy: FilenamePolicy.policy,
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,
17                     keep_going: bool }                     keep_going: bool }
18    
19      type info = { param: param,      type info = { param: param,
# Line 20  Line 21 
21                    errcons: PrettyPrint.ppconsumer,                    errcons: PrettyPrint.ppconsumer,
22                    youngest: TStamp.t ref }                    youngest: TStamp.t ref }
23    
24      fun bind { param = { penv, fnpolicy, symval, keep_going },      fun bind { param = { penv, archos, fnpolicy, symval, keep_going },
25                  groupreg, errcons, youngest } rb =                  groupreg, errcons, youngest } rb =
26          { param = { penv = SrcPath.bind penv rb,          { param = { penv = SrcPath.bind penv rb,
27                        archos = archos,
28                      fnpolicy = fnpolicy,                      fnpolicy = fnpolicy,
29                      symval = symval,                      symval = symval,
30                      keep_going = keep_going },                      keep_going = keep_going },

Legend:
Removed from v.692  
changed lines
  Added in v.873

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