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 298, Thu May 27 09:42:28 1999 UTC revision 299, Thu May 27 13:53:27 1999 UTC
# Line 9  Line 9 
9   *)   *)
10  structure GeneralParams = struct  structure GeneralParams = struct
11    
12      type params = { primconf : Primitive.configuration,      type param = { primconf : Primitive.configuration,
13                      fnpolicy: FilenamePolicy.policy,                      fnpolicy: FilenamePolicy.policy,
14                      groupreg: GroupReg.groupreg,                      groupreg: GroupReg.groupreg,
15                      keep_going: bool }                     keep_going: bool,
16                       pervasive: GenericVC.Environment.environment,
17                       corenv: GenericVC.BareEnvironment.staticEnv }
18    
19        type info = { param: param, groupreg: GroupReg.groupreg }
20  end  end

Legend:
Removed from v.298  
changed lines
  Added in v.299

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