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

Parent Directory | Revision Log | Patch

	revision 354, Fri Jun 25 08:36:12 1999 UTC	revision 364, Fri Jul 2 07:33:12 1999 UTC
#	Line 45	Line 45
45	val unpickle : PathConfig.mode -> string list * t -> t option	val unpickle : PathConfig.mode -> string list * t -> t option
46
47	val tstamp : t -> TStamp.t	val tstamp : t -> TStamp.t
	val openTextIn : t -> TextIO.instream
48	end	end
49
50	structure SrcPath :> SRCPATH = struct	structure SrcPath :> SRCPATH = struct
#	Line 93	Line 91
91	fun sameDirContext (ap, _) = AbsPath.sameDirContext ap	fun sameDirContext (ap, _) = AbsPath.sameDirContext ap
92	val cwdContext = AbsPath.cwdContext	val cwdContext = AbsPath.cwdContext
93
	fun openTextIn (ap, _) = AbsPath.openTextIn ap
94	fun pickle warn ((ap, _), (cap, _)) = AbsPath.pickle warn (ap, cap)	fun pickle warn ((ap, _), (cap, _)) = AbsPath.pickle warn (ap, cap)
95	fun unpickle m (l, (cap, _)) =	fun unpickle m (l, (cap, _)) =
96	Option.map intern (AbsPath.unpickle m (l, cap))	Option.map intern (AbsPath.unpickle m (l, cap))

---

Colored Diff Long Colored Diff Unidiff Context Diff Side by Side

Legend: Removed from v.354   changed lines   Added in v.364

---

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