X-Git-Url: https://git.hcoop.net/hcoop/smlsql.git/blobdiff_plain/f147efc833ed466c187a55622be46fc67539f11d..ff979976e79e20620cab1a3bacf8ede384f5b880:/libpq/FFI/f-PQfn.sml

diff --git a/libpq/FFI/f-PQfn.sml b/libpq/FFI/f-PQfn.sml
deleted file mode 100644
index 218d59b..0000000
--- a/libpq/FFI/f-PQfn.sml
+++ /dev/null
@@ -1,49 +0,0 @@
-(* This file has been generated automatically. DO NOT EDIT! *)
-(* [from code at "/usr/include/postgresql/libpq-fe.h":287.1-293.13] *)
-(* [by Matthias Blume's ml-nlffigen (version 0.9) for x86-unix] *)
-(* Send comments and suggestions to blume@research.bell-labs.com. Thanks! *)
-local
-    open C.Dim C_Int
-    val h = LibpqH.libh "PQfn"
-in
-structure F_PQfn : sig
-    val typ :
-        ((ST_pg_conn.tag, rw) su_obj ptr' *
-         sint *
-         rw sint_obj ptr' *
-         rw sint_obj ptr' *
-         sint *
-         (ST_'PQArgBlock.tag, ro) su_obj ptr' *
-         sint -> (ST_pg_result.tag, rw) su_obj ptr') fptr T.typ
-    val fptr :
-        unit ->
-            ((ST_pg_conn.tag, rw) su_obj ptr' *
-             sint *
-             rw sint_obj ptr' *
-             rw sint_obj ptr' *
-             sint *
-             (ST_'PQArgBlock.tag, ro) su_obj ptr' *
-             sint -> (ST_pg_result.tag, rw) su_obj ptr') fptr
-    val f' :
-        (ST_pg_conn.tag, rw) su_obj ptr' *
-        MLRep.Signed.int *
-        rw sint_obj ptr' *
-        rw sint_obj ptr' *
-        MLRep.Signed.int *
-        (ST_'PQArgBlock.tag, ro) su_obj ptr' *
-        MLRep.Signed.int -> (ST_pg_result.tag, rw) su_obj ptr'
-end = struct
-    val typ = FPtrRTTI_18.typ
-    fun fptr () = mk_fptr (FPtrRTTI_18.mkcall, h ())
-    fun f' (x1, x2, x3, x4, x5, x6, x7)
-        = call
-              (fptr (),
-               (x1,
-                Cvt.c_sint x2,
-                x3,
-                x4,
-                Cvt.c_sint x5,
-                x6,
-                Cvt.c_sint x7))
-end
-end