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

Parent Directory | Revision Log | Patch

	revision 457, Thu Oct 28 05:58:19 1999 UTC	revision 464, Tue Nov 9 06:49:52 1999 UTC
#	Line 29	Line 29
29	(* This makes sure CM knows what the current working directory is: *)	(* This makes sure CM knows what the current working directory is: *)
30	val revalidateCwd : unit -> unit	val revalidateCwd : unit -> unit
31
32		(* This marks the cwd cache as invalid so that the next revalidation
33		* will cause external servers to be notified. *)
34		val invalidateCwd : unit -> unit
35
36	(* This erases all persistent state: *)	(* This erases all persistent state: *)
37	val clear : unit -> unit	val clear : unit -> unit
38
#	Line 79	Line 83
83	fun clear () = knownPaths := AbsPathMap.empty	fun clear () = knownPaths := AbsPathMap.empty
84
85	val revalidateCwd = AbsPath.revalidateCwd	val revalidateCwd = AbsPath.revalidateCwd
86		val invalidateCwd = AbsPath.invalidateCwd
87
88	fun intern ap =	fun intern ap =
89	case AbsPathMap.find (!knownPaths, ap) of	case AbsPathMap.find (!knownPaths, ap) of

---

Colored Diff Long Colored Diff Unidiff Context Diff Side by Side

Legend: Removed from v.457   changed lines   Added in v.464

---

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