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 377, Wed Jul 7 06:55:18 1999 UTC
#	Line 69	Line 69
69
70	fun sync () =	fun sync () =
71	(AbsPath.newEra ();	(AbsPath.newEra ();
72	knownPaths := foldl AbsPathMap.insert' AbsPathMap.empty	knownPaths :=
73	(AbsPathMap.listItemsi (!knownPaths)))	AbsPathMap.foldli (fn (k, v, m) => AbsPathMap.insert (m, k, v))
74		AbsPathMap.empty
75		(!knownPaths))
76
77	fun clear () = knownPaths := AbsPathMap.empty	fun clear () = knownPaths := AbsPathMap.empty
78

---

Colored Diff Long Colored Diff Unidiff Context Diff Side by Side

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

---

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