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/util/stdcfg.sml
ViewVC logotype

Diff of /sml/trunk/src/cm/util/stdcfg.sml

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

revision 1260, Mon Jul 15 17:27:34 2002 UTC revision 1261, Tue Jul 23 15:45:45 2002 UTC
# Line 19  Line 19 
19          val bool_cvt = ControlUtil.Cvt.bool          val bool_cvt = ControlUtil.Cvt.bool
20          val int_cvt = ControlUtil.Cvt.int          val int_cvt = ControlUtil.Cvt.int
21    
22            val st_cvt =                    (* string thunk *)
23                { tyName = "string",
24                  fromString = fn s => SOME (fn () => s),
25                  toString = fn th => th () }
26    
27          val sot_cvt =          val sot_cvt =
28              { tyName = "string",        (* string option thunk *)              { tyName = "string",        (* string option thunk *)
29                fromString = fn s => SOME (fn () => SOME s),                fromString = fn s => SOME (fn () => SOME s),
# Line 47  Line 52 
52              { set = fn x => r := x,              { set = fn x => r := x,
53                get = fn () => !r }                get = fn () => !r }
54          end          end
55            val lib_pathconfig =
56                OS.Path.toString { isAbs = false, vol = "",
57                                   arcs = ["lib", "pathconfig"] }
58            val usr_lib_smlnj_pathconfig =
59                OS.Path.toString { isAbs = true, vol = "",
60                                   arcs = ["usr", "lib", "smlnj-pathconfig"] }
61      in      in
62          val verbose = new (bool_cvt, "verbose", "CM chattiness", true)          val verbose = new (bool_cvt, "verbose", "CM chattiness", true)
63          val debug = new (bool_cvt, "debug", "CM debug mode", false)          val debug = new (bool_cvt, "debug", "CM debug mode", false)
64          val keep_going = new (bool_cvt, "keep-going",          val keep_going = new (bool_cvt, "keep-going",
65                                "whether CM presses on in face of errors",                                "whether CM presses on in face of errors",
66                                false)                                false)
67          val pathcfgspec = new (string_cvt, "pathconfig",          val pathcfgspec =
68                                 "global path configuration file",              new (st_cvt, "pathconfig", "global path configuration file",
69                                 "/usr/lib/smlnj-pathconfig")                   fn () =>
70                        getOpt (Option.map (fn h => OS.Path.concat (h, lib_pathconfig))
71                                           (OS.Process.getEnv "SMLNJ_HOME"),
72                                usr_lib_smlnj_pathconfig))
73          val parse_caching =          val parse_caching =
74              new (int_cvt, "parse-caching", "limit on parse trees cached", 100)              new (int_cvt, "parse-caching", "limit on parse trees cached", 100)
75          val local_pathconfig =          val local_pathconfig =

Legend:
Removed from v.1260  
changed lines
  Added in v.1261

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