1Moscow ML version 1.43 (April 1998) 2Enter `quit();' to quit. 3[opening file "testmysql.sml"] 4> val it = () : unit 5[opening file "../../mosmllib/test/auxil.sml"] 6> infix 1 seq 7 val seq = fn : 'a * 'b -> 'b 8> val check = fn : bool -> string 9> val check' = fn : (unit -> bool) -> string 10> val range = fn : int * int -> (int -> bool) -> bool 11> val checkrange = fn : int * int -> ((int -> bool) -> string) 12[closing file "../../mosmllib/test/auxil.sml"] 13> val it = () : unit 14> datatype dyntype 15 type dbconn 16 datatype dbresultstatus 17 type dbresult 18 datatype dynval 19 val getdynfield = fn : dbresult -> int -> int -> dynval 20 val fname = fn : dbresult -> int -> string 21 con NullVal = NullVal : dynval 22 val ftype = fn : dbresult -> int -> dyntype 23 val db = fn : dbconn -> string 24 val getreal = fn : dbresult -> int -> int -> real 25 con Real = fn : real -> dynval 26 con Nonfatal_error = Nonfatal_error : dbresultstatus 27 exn Null = Null : exn 28 con Copy_in = Copy_in : dbresultstatus 29 con Fatal_error = Fatal_error : dbresultstatus 30 val fnumber = fn : dbresult -> string -> int option 31 con TimeTy = TimeTy : dyntype 32 con DateTimeTy = DateTimeTy : dyntype 33 val getstring = fn : dbresult -> int -> int -> string 34 val getdatetime = fn : dbresult -> int -> int -> Date.date 35 val getbool = fn : dbresult -> int -> int -> bool 36 con String = fn : string -> dynval 37 val status = fn : dbconn -> bool 38 con Command_ok = Command_ok : dbresultstatus 39 val getdate = fn : dbresult -> int -> int -> int * int * int 40 con Date = fn : int * int * int -> dynval 41 con DateTy = DateTy : dyntype 42 val fromtag = fn : dyntype -> string 43 con Empty_query = Empty_query : dbresultstatus 44 val reset = fn : dbconn -> unit 45 val closebase = fn : dbconn -> unit 46 val getint = fn : dbresult -> int -> int -> int 47 con DateTime = fn : Date.date -> dynval 48 con StringTy = StringTy : dyntype 49 con Tuples_ok = Tuples_ok : dbresultstatus 50 val applyto = fn : 'a -> ('a -> 'b) -> 'b 51 val nfields = fn : dbresult -> int 52 val openbase = 53 fn 54 : {dbhost : string option, dbname : string option, dboptions : 55 string option, dbport : string option, dbpwd : string option, dbtty : 56 string option, dbuser : string option} -> dbconn 57 val resultstatus = fn : dbresult -> dbresultstatus 58 con RealTy = RealTy : dyntype 59 val host = fn : dbconn -> string option 60 val gettime = fn : dbresult -> int -> int -> int * int * int 61 con Time = fn : int * int * int -> dynval 62 val errormessage = fn : dbconn -> string option 63 con Bad_response = Bad_response : dbresultstatus 64 val copytableto = fn : dbconn * string * (string -> unit) -> unit 65 val options = fn : dbconn -> string 66 con IntTy = IntTy : dyntype 67 con UnknownTy = UnknownTy : dyntype 68 val cmdtuples = fn : dbresult -> int 69 val copytablefrom = fn : dbconn * string * ((string -> unit) -> unit) -> unit 70 val execute = fn : dbconn -> string -> dbresult 71 val fnames = fn : dbresult -> string vector 72 val ftypes = fn : dbresult -> dyntype vector 73 val port = fn : dbconn -> string 74 val tty = fn : dbconn -> string 75 val ntuples = fn : dbresult -> int 76 val isnull = fn : dbresult -> int -> int -> bool 77 val getdyntups = fn : dbresult -> dynval vector vector 78 con Copy_out = Copy_out : dbresultstatus 79 val getdyntup = fn : dbresult -> int -> dynval vector 80 exn Closed = Closed : exn 81 con Int = fn : int -> dynval 82> val dbhost = SOME "localhost" : string option 83> val dbport = NONE : 'a option 84> val dboptions = NONE : 'a option 85> val dbtty = NONE : 'a option 86> val dbuser = NONE : 'a option 87> val dbpwd = NONE : 'a option 88> val dbname = SOME "test" : string option 89> val pc = <dbconn> : dbconn 90> val info = 91 ("test", SOME "localhost", "", "0", "") 92 : string * string option * string * string * string 93> val inst = fn : string -> dbresult 94 val res1 = <dbresult> : dbresult 95 val test1a = "OK" : string 96 val test1b = "OK" : string 97 val test1c = "OK" : string 98> val test1d = "OK" : string 99 val test1e = "OK" : string 100 val test1f = "OK" : string 101> val test1g = "OK" : string 102> val test1h = "OK" : string 103> val test1i = "OK" : string 104 val test1j = "OK" : string 105 val test1k = "OK" : string 106 val test1l = "OK" : string 107> val res2 = <dbresult> : dbresult 108 val res3 = <dbresult> : dbresult 109> val test3a = "OK" : string 110 val test3b = "OK" : string 111 val test3c = "OK" : string 112> val test3d = "OK" : string 113 val test3e = "OK" : string 114 val test3f = "OK" : string 115 val test3ga = 116 ("OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK") 117 : string * string * string * string * string * string * string * string 118 val test3gb = 119 ("OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK") 120 : string * string * string * string * string * string * string * string 121 val test3gc = 122 ("OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK") 123 : string * string * string * string * string * string * string * string 124 val test3gd = 125 ("OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK") 126 : string * string * string * string * string * string * string * string 127 val test3ha = ("OK", "OK") : string * string 128 val test3hb = ("OK", "OK") : string * string 129 val test3hc = ("OK", "OK") : string * string 130> val test4 = "OK" : string 131 val res5 = <dbresult> : dbresult 132 val test5a = "OK" : string 133 val test6 = "OK" : string 134 val test7 = "OK" : string 135 val test8 = "OK" : string 136 val test9 = "OK" : string 137 val test10 = "OK" : string 138[closing file "testmysql.sml"] 139- 140