Diff of /trunk/src/common/stamp.sml

Parent Directory | Revision Log | Patch

	revision 62, Tue May 11 16:03:31 2010 UTC	revision 63, Thu May 13 00:29:39 2010 UTC
#	Line 41	Line 41
41	fun compare (STAMP{id, ...}, STAMP{id=id', ...}) = W.compare(id, id')	fun compare (STAMP{id, ...}, STAMP{id=id', ...}) = W.compare(id, id')
42	fun hash (STAMP{id, ...}) = id	fun hash (STAMP{id, ...}) = id
43
44	fun toString (STAMP{id, ...}) =	fun toString (STAMP{id, ...}) = StringCvt.padLeft #"0" 4 (W.toString id)
	concat["<", StringCvt.padLeft #"0" 4 (W.toString id), ">"]
45
46	structure Key =	structure Key =
47	struct	struct

---

Colored Diff Long Colored Diff Unidiff Context Diff Side by Side

Legend: Removed from v.62   changed lines   Added in v.63

---

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