1
2Moscow ML version 2.00 (June 2000)
3Mangled by e & eMake 04 Jul 2000
4Use the Enter key to evaluate an input expression.
5- chDir "jalaMPW:ml:mosml200:src:dynlibs:mregex:"; use "testregex_mac.sml";
6> val it = () : unit
7- [opening file "testregex_mac.sml"]
8> val it = () : unit
9! Cannot find file :::mosmllib/test/auxil.sml
10[closing file "testregex_mac.sml"]
11- use "testregex_mac.sml";
12[opening file "testregex_mac.sml"]
13> val it = () : unit
14[opening file ":::mosmllib:test:auxil.sml"]
15> infix 1 seq
16  val ('a, 'b) seq = fn : 'a * 'b -> 'b
17> val check = fn : bool -> string
18> val check' = fn : (unit -> bool) -> string
19> val range = fn : int * int -> (int -> bool) -> bool
20> val checkrange = fn : int * int -> (int -> bool) -> string
21[closing file ":::mosmllib:test:auxil.sml"]
22> val it = () : unit
23> datatype eflag = (eflag,{con Notbol : eflag, con Noteol : eflag})
24  type regex = regex
25  datatype cflag =
26  (cflag,{con Extended : cflag, con Icase : cflag, con Newline : cflag})
27  datatype replacer =
28  (replacer,
29   {con Str : string -> replacer,
30    con Sus : int -> replacer,
31    con Tr : (string -> string) * int -> replacer,
32    con Trs : (substring vector -> string) -> replacer})
33  val ('a, 'b) fapp = fn : ('a -> 'b) -> 'a * 'b list -> 'b list
34  val get = fn : int -> substring vector -> string
35  con Noteol = Noteol : eflag
36  con Notbol = Notbol : eflag
37  val 'a map = fn : regex -> (substring vector -> 'a) -> string -> 'a list
38  val regnexec = fn :
39  regex -> eflag list -> substring -> substring vector option
40  con Extended = Extended : cflag
41  exn Regex = fn : string -> exn
42  con Str = fn : string -> replacer
43  val regexecBool = fn : regex -> eflag list -> string -> bool
44  con Icase = Icase : cflag
45  val regnexecBool = fn : regex -> eflag list -> substring -> bool
46  val substitute1 = fn : regex -> (string -> string) -> string -> string
47  val regmatchBool = fn :
48  {pat : string, tgt : string} -> cflag list -> eflag list -> bool
49  val 'a fold = fn :
50  regex -> (substring * 'a -> 'a) * (substring vector * 'a -> 'a) -> 'a ->
51  string -> 'a
52  val replace1 = fn : regex -> replacer list -> string -> string
53  val app = fn : regex -> (substring vector -> unit) -> string -> unit
54  con Trs = fn : (substring vector -> string) -> replacer
55  val fields = fn : regex -> string -> substring list
56  val regmatch = fn :
57  {pat : string, tgt : string} -> cflag list -> eflag list ->
58  substring vector option
59  val replace = fn : regex -> replacer list -> string -> string
60  val substitute = fn : regex -> (string -> string) -> string -> string
61  con Tr = fn : (string -> string) * int -> replacer
62  val regcomp = fn : string -> cflag list -> regex
63  con Sus = fn : int -> replacer
64  con Newline = Newline : cflag
65  val regexec = fn : regex -> eflag list -> string -> substring vector option
66  val tokens = fn : regex -> string -> substring list
67User: 0.000  System: 0.000  GC: 0.000  Real: 0.000
68size(s) = 23; length(res) = 5
69User: 0.000  System: 0.000  GC: 0.000  Real: 0.000
70size(s) = 46; length(res) = 10
71User: 0.001  System: 0.000  GC: 0.000  Real: 0.000
72size(s) = 92; length(res) = 20
73User: 0.001  System: 0.000  GC: 0.000  Real: 0.000
74size(s) = 184; length(res) = 40
75User: 0.002  System: 0.000  GC: 0.000  Real: 0.000
76size(s) = 368; length(res) = 80
77User: 0.005  System: 0.082  GC: 0.000  Real: 0.100
78size(s) = 736; length(res) = 160
79User: 0.009  System: 0.000  GC: 0.000  Real: 0.017
80size(s) = 1472; length(res) = 320
81User: 0.017  System: 0.002  GC: 0.000  Real: 0.017
82size(s) = 2944; length(res) = 640
83User: 0.034  System: 0.150  GC: 0.007  Real: 0.200
84size(s) = 5888; length(res) = 1280
85User: 0.067  System: 0.003  GC: 0.036  Real: 0.100
86size(s) = 11776; length(res) = 2560
87User: 0.134  System: 0.181  GC: 0.040  Real: 0.350
88size(s) = 23552; length(res) = 5120
89User: 0.272  System: 0.498  GC: 0.136  Real: 0.900
90size(s) = 47104; length(res) = 10240
91User: 0.541  System: 0.835  GC: 0.202  Real: 1.583
92size(s) = 94208; length(res) = 20480
93User: 1.084  System: 2.168  GC: 0.508  Real: 3.767
94size(s) = 188416; length(res) = 40960
95> val test1a = "OK" : string
96  val test1b = "OK" : string
97  val test2a = "OK" : string
98  val test2b = "OK" : string
99  val test3a = "OK" : string
100  val test3b = "OK" : string
101  val test4a = "OK" : string
102  val test4b = "OK" : string
103  val test5a = "OK" : string
104  val test5b = "OK" : string
105  val test6a = "OK" : string
106  val test6b = "OK" : string
107  val test6c = "OK" : string
108  val test6d = "OK" : string
109  val test6e = "OK" : string
110  val test6f = "OK" : string
111  val test6g = "OK" : string
112  val test7a = "OK" : string
113  val test7b = "OK" : string
114  val test7c = "OK" : string
115  val test7d = "OK" : string
116  val test7e = "OK" : string
117  val test8a = "OK" : string
118  val test8b = "OK" : string
119  val test8c = "OK" : string
120  val test8d = "OK" : string
121  val test9a = "OK" : string
122  val test9b = "OK" : string
123  val test10a = "OK" : string
124  val test10b = "OK" : string
125  val test10c = "OK" : string
126  val test10d = "OK" : string
127  val test11a = "OK" : string
128  val test11b = "OK" : string
129  val test11c = "OK" : string
130  val test11d = "OK" : string
131  val test12a = "OK" : string
132  val test12b = "OK" : string
133  val test13a = "OK" : string
134  val test13b = "OK" : string
135  val test14a = "OK" : string
136  val test14b = "OK" : string
137  val test15a = "OK" : string
138  val test16a = "OK" : string
139  val test16b = "OK" : string
140