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

Parent Directory | Revision Log | Patch

	revision 377, Wed Jul 7 06:55:18 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 91	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.377   changed lines   Added in v.457

---

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