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 665, Fri Jun 16 04:43:57 2000 UTC revision 666, Fri Jun 16 08:27:00 2000 UTC
# Line 9  Line 9 
9   *)   *)
10  structure GeneralParams = struct  structure GeneralParams = struct
11    
12      type param = { pcmode : PathConfig.mode,      type param = { penv: SrcPath.env,
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 },
# Line 18  Line 18 
18      type info = { param: param,      type info = { param: param,
19                    groupreg: GroupReg.groupreg,                    groupreg: GroupReg.groupreg,
20                    errcons: PrettyPrint.ppconsumer }                    errcons: PrettyPrint.ppconsumer }
21    
22        fun bind { param = { penv, fnpolicy, symval, keep_going },
23                    groupreg, errcons } rb =
24            { param = { penv = SrcPath.bind penv rb,
25                        fnpolicy = fnpolicy,
26                        symval = symval,
27                        keep_going = keep_going },
28              groupreg = groupreg, errcons = errcons }
29  end  end

Legend:
Removed from v.665  
changed lines
  Added in v.666

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