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 433, Mon Sep 13 06:57:29 1999 UTC revision 537, Fri Feb 18 17:20:16 2000 UTC
# Line 9  Line 9 
9   *)   *)
10  structure GeneralParams = struct  structure GeneralParams = struct
11    
12      type param = { primconf : Primitive.configuration,      type param = { pcmode : PathConfig.mode,
                    pcmode : PathConfig.mode,  
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                     keep_going: bool,                     keep_going: bool,
17                     pervasive: GenericVC.Environment.environment,                     corenv: GenericVC.BareEnvironment.environment }
                    corenv: GenericVC.BareEnvironment.staticEnv,  
                    pervcorepids: PidSet.set }  
18    
19      type info = { param: param,      type info = { param: param,
20                    groupreg: GroupReg.groupreg,                    groupreg: GroupReg.groupreg,

Legend:
Removed from v.433  
changed lines
  Added in v.537

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