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 368, Sat Jul 3 13:05:59 1999 UTC revision 369, Sun Jul 4 12:55:20 1999 UTC
# Line 10  Line 10 
10          val bool = EnvConfig.new Bool.fromString          val bool = EnvConfig.new Bool.fromString
11          val int = EnvConfig.new Int.fromString          val int = EnvConfig.new Int.fromString
12          val string = EnvConfig.new SOME          val string = EnvConfig.new SOME
13            val stringoptthunk = EnvConfig.new (fn s => SOME (fn () => SOME s))
14      in      in
15          val verbose = bool ("VERBOSE", true)          val verbose = bool ("VERBOSE", true)
16          val debug = bool ("DEBUG", false)          val debug = bool ("DEBUG", false)
17          val keep_going = bool ("KEEP_GOING", false)          val keep_going = bool ("KEEP_GOING", false)
18          val pathcfgspec = string ("PATHCONFIG", "/usr/lib/smlnj-pathconfig")          val pathcfgspec = string ("PATHCONFIG", "/usr/lib/smlnj-pathconfig")
19          val parse_caching = int ("PARSE_CACHING", 100)          val parse_caching = int ("PARSE_CACHING", 100)
20            val local_pathconfig =
21                stringoptthunk ("LOCAL_PATHCONFIG",
22                                fn () =>
23                                  Option.map (fn h => OS.Path.concat
24                                               (h, ".smlnj-pathconfig"))
25                                             (OS.Process.getEnv "HOME"))
26      end      end
27  end  end
28    

Legend:
Removed from v.368  
changed lines
  Added in v.369

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