Diff of /sml/trunk/src/cm/paths/pathconfig.sml

Parent Directory | Revision Log | Patch

	revision 309, Wed Jun 2 03:21:57 1999 UTC	revision 318, Mon Jun 7 09:32:09 1999 UTC
#	Line 9	Line 9
9	*)	*)
10
11	signature PATHCONFIG = sig	signature PATHCONFIG = sig
12	val configAnchor : string -> (unit -> string) option	type mode
13
14		val default : mode
15
16		val configAnchor : mode -> string -> (unit -> string) option
17	end	end
18
19	(*	(*
#	Line 18	Line 22
22	* the directory that contains the corresponding file.	* the directory that contains the corresponding file.
23	*)	*)
24	structure PathConfig :> PATHCONFIG = struct	structure PathConfig :> PATHCONFIG = struct
25		type mode = Dummy.t
26
27		val default = Dummy.v
28
29	(* this is bogus -- should not be hard-wired like this *)	(* this is bogus -- should not be hard-wired like this *)
30	fun configAnchor "smlnj-lib.cm" =	fun configAnchor _ "smlnj-lib.cm" =
31	SOME (fn () => "/home/blume/ML/current/lib")	SOME (fn () => "/home/blume/ML/current/lib")
32	| configAnchor _ = NONE	| configAnchor _ _ = NONE
33	end	end

---

Colored Diff Long Colored Diff Unidiff Context Diff Side by Side

Legend: Removed from v.309   changed lines   Added in v.318

---

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