Diff of /sml/branches/FLINT/src/compiler/PervEnv/Basis/substring.sml

Parent Directory | Revision Log | Patch

	revision 131, Mon Sep 7 19:39:22 1998 UTC	revision 132, Mon Sep 7 19:48:36 1998 UTC
#	Line 4	Line 4
4	*	*
5	*)	*)
6
7	structure Substring :> SUBSTRING =	structure Substring :> SUBSTRING
8	struct	where type char = PrimTypes.char
9		where type string = PrimTypes.string
10		= struct
11
12	structure W = InlineT.DfltWord	structure W = InlineT.DfltWord
13
#	Line 22	Line 24
24	fun rev ([], l) = l	fun rev ([], l) = l
25	| rev (x::r, l) = rev (r, x::l)	| rev (x::r, l) = rev (r, x::l)
26
27		type char = PrimTypes.char
28		type string = PrimTypes.string
29	datatype substring = SS of (string * int * int)	datatype substring = SS of (string * int * int)
30
31	fun base (SS arg) = arg	fun base (SS arg) = arg

---

Colored Diff Long Colored Diff Unidiff Context Diff Side by Side

Legend: Removed from v.131   changed lines   Added in v.132

---

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