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