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

Parent Directory | Revision Log | Patch

	revision 265, Fri May 7 08:42:54 1999 UTC	revision 318, Mon Jun 7 09:32:09 1999 UTC
#	Line 1	Line 1
1	(* just a placeholder so far *)	(* just a placeholder so far *)
2
3		(*
4		* Configurable path anchors for new CM.
5		*
6		* (C) 1999 Lucent Technologies, Bell Laboratories
7		*
8		* Author: Matthias Blume (blume@kurims.kyoto-u.ac.jp)
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		(*
20		* The names of config anchors must be names of actual files.
21		* Function configAnchor will map the name of the anchor to
22		* 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 "basis" = SOME (fn () => "/usr/local/smlnj/lib/basis")	fun configAnchor _ "smlnj-lib.cm" =
31	| configAnchor "smlnj" = SOME (fn () => "/usr/local/smlnj/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.265   changed lines   Added in v.318

---

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