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