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

Parent Directory | Revision Log | Patch

	revision 367, Sat Jul 3 04:59:01 1999 UTC	revision 457, Thu Oct 28 05:58:19 1999 UTC
#	Line 47	Line 47
47	val native : { context: context, spec: string } -> t	val native : { context: context, spec: string } -> t
48	val standard : PathConfig.mode -> { context: context, spec: string } -> t	val standard : PathConfig.mode -> { context: context, spec: string } -> t
49
50		val fromDescr : PathConfig.mode -> string -> t
51
52	val pickle : (bool -> unit) -> t * t -> string list	val pickle : (bool -> unit) -> t * t -> string list
53	val unpickle : PathConfig.mode -> string list * t -> t	val unpickle : PathConfig.mode -> string list * t -> t
54
#	Line 69	Line 71
71
72	fun sync () =	fun sync () =
73	(AbsPath.newEra ();	(AbsPath.newEra ();
74	knownPaths := foldl AbsPathMap.insert' AbsPathMap.empty	knownPaths :=
75	(AbsPathMap.listItemsi (!knownPaths)))	AbsPathMap.foldli (fn (k, v, m) => AbsPathMap.insert (m, k, v))
76		AbsPathMap.empty
77		(!knownPaths))
78
79	fun clear () = knownPaths := AbsPathMap.empty	fun clear () = knownPaths := AbsPathMap.empty
80
#	Line 89	Line 93
93
94	val native = intern o AbsPath.native	val native = intern o AbsPath.native
95	fun standard m = intern o AbsPath.standard m	fun standard m = intern o AbsPath.standard m
96		fun fromDescr m = intern o AbsPath.fromDescr m
97
98	val contextName = AbsPath.contextName	val contextName = AbsPath.contextName
99	fun contextOf (ap, _) = AbsPath.contextOf ap	fun contextOf (ap, _) = AbsPath.contextOf ap

---

Colored Diff Long Colored Diff Unidiff Context Diff Side by Side

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

---

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