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