X-Git-Url: https://git.hcoop.net/hcoop/smlsql.git/blobdiff_plain/812d937792645ff4de79715553a449a42ba4d589..ff979976e79e20620cab1a3bacf8ede384f5b880:/libpq/FFI/f-PQgetvalue.sml diff --git a/libpq/FFI/f-PQgetvalue.sml b/libpq/FFI/f-PQgetvalue.sml deleted file mode 100644 index d6544c1..0000000 --- a/libpq/FFI/f-PQgetvalue.sml +++ /dev/null @@ -1,36 +0,0 @@ -(* This file has been generated automatically. DO NOT EDIT! *) -(* [from code at "/usr/include/postgresql/libpq-fe.h":311.1-73] *) -(* [by Matthias Blume's ml-nlffigen (version 0.9.1) for x86-unix] *) -(* Send comments and suggestions to blume@tti-c.org. Thanks! *) -local - open C.Dim C_Int - val h = LibpqH.libh "PQgetvalue" -in -structure F_PQgetvalue : sig - val typ : - ((ST_pg_result.tag, ro) su_obj ptr' * sint * sint -> - rw uchar_obj ptr') fptr T.typ - val fptr : - unit -> - ((ST_pg_result.tag, ro) su_obj ptr' * sint * sint -> - rw uchar_obj ptr') fptr - val f : - (ST_pg_result.tag, ro) su_obj ptr * - MLRep.Signed.int * - MLRep.Signed.int -> rw uchar_obj ptr - val f' : - (ST_pg_result.tag, ro) su_obj ptr' * - MLRep.Signed.int * - MLRep.Signed.int -> rw uchar_obj ptr' -end = struct - val typ = FPtrRTTI_26.typ - fun fptr () = mk_fptr (FPtrRTTI_26.mkcall, h ()) - fun f (x1, x2, x3) - = Heavy.ptr - (T.pointer T.uchar) - (call - (fptr (), (Light.ptr x1, Cvt.c_sint x2, Cvt.c_sint x3))) - fun f' (x1, x2, x3) - = call (fptr (), (x1, Cvt.c_sint x2, Cvt.c_sint x3)) -end -end