Diff of /sml/trunk/src/cm/main/envcfg.sml

Parent Directory | Revision Log | Patch

	revision 320, Tue Jun 8 07:42:11 1999 UTC	revision 321, Tue Jun 8 08:14:28 1999 UTC
#	Line 7	Line 7
7	*)	*)
8	signature ENVCONFIG = sig	signature ENVCONFIG = sig
9
10	type 'a getterSetter = 'a option -> 'a	type 'a getterSetter
11
12	val new : (string -> 'a option) -> string * 'a -> 'a getterSetter	val new : (string -> 'a option) -> string * 'a -> 'a getterSetter
13		val getSet : 'a getterSetter -> 'a option -> 'a
14
15	val init : unit -> unit	val init : unit -> unit
16	end	end
#	Line 18	Line 19
19
20	type 'a getterSetter = 'a option -> 'a	type 'a getterSetter = 'a option -> 'a
21
22		fun getSet gs = gs
23
24	fun cfg cvt reg session0 fallback = let	fun cfg cvt reg session0 fallback = let
25	val session = "CM_" ^ session0	val session = "CM_" ^ session0
26	val default = session ^ "_DEFAULT"	val default = session ^ "_DEFAULT"

---

Colored Diff Long Colored Diff Unidiff Context Diff Side by Side

Legend: Removed from v.320   changed lines   Added in v.321

---

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