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

Parent Directory | Revision Log | Patch

	revision 323, Wed Jun 9 06:16:22 1999 UTC	revision 324, Wed Jun 9 07:57:07 1999 UTC
#	Line 15	Line 15
15	val newEra : unit -> unit	val newEra : unit -> unit
16
17	val cwdContext: unit -> context	val cwdContext: unit -> context
	(* val configContext: (unit -> string) * string -> context *)
18	val relativeContext: t -> context	val relativeContext: t -> context
19
20	val name : t -> string	val name : t -> string
#	Line 134	Line 133
133	fun cwdContext () =	fun cwdContext () =
134	CUR { stamp = cwdStamp (), name = cwdName (), id = cwdId () }	CUR { stamp = cwdStamp (), name = cwdName (), id = cwdId () }
135
136	fun configContext (f, n) =	fun relativeContext (p as PATH { context, spec, ... }) =
137	CONFIG_ANCHOR { fetch = f, cache = ref NONE, config_name = n }	if spec = OS.Path.currentArc then context else RELATIVE p
	fun relativeContext p = RELATIVE p
138
139	fun mkElab (cache, name) = let	fun mkElab (cache, name) = let
140	val e : elaboration =	val e : elaboration =

---

Colored Diff Long Colored Diff Unidiff Context Diff Side by Side

Legend: Removed from v.323   changed lines   Added in v.324

---

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