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

Parent Directory | Revision Log | Patch

	revision 376, Wed Jul 7 04:25:11 1999 UTC	revision 377, Wed Jul 7 06:55:18 1999 UTC
#	Line 38	Line 38
38
39	fun new () = ref StringMap.empty	fun new () = ref StringMap.empty
40
41	fun configAnchor m s =	fun configAnchor m s = let
42	case StringMap.find (!m, s) of	fun look () = StringMap.find (!m, s)
43		fun get () =
44		case look () of
45		SOME v => v
46		(* Return a bogus value here that will later cause a failure
47		* when actually opening a file.  We don't want to fail here
48		* because the anchor may come back to life later. *)
49		| NONE => concat ["$$undefined<", s, ">"]
50		in
51		case look () of
52	NONE => NONE	NONE => NONE
53	| SOME _ => SOME (fn () => valOf (StringMap.find (!m, s)))	| SOME _ => SOME get
54		end
55
56	fun processSpecFile (m, f) = let	fun processSpecFile (m, f) = let
57	fun work s = let	fun work s = let

---

Colored Diff Long Colored Diff Unidiff Context Diff Side by Side

Legend: Removed from v.376   changed lines   Added in v.377

---

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