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