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

diff --git a/libpq/FFI/f-PQexec.sml b/libpq/FFI/f-PQexec.sml
deleted file mode 100644
index 762b68d..0000000
--- a/libpq/FFI/f-PQexec.sml
+++ /dev/null
@@ -1,25 +0,0 @@
-(* This file has been generated automatically. DO NOT EDIT! *)
-(* [from code at "/usr/include/postgresql/libpq-fe.h":257.1-57] *)
-(* [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 "PQexec"
-in
-structure F_PQexec : sig
-    val typ :
-        ((ST_pg_conn.tag, rw) su_obj ptr' * ro uchar_obj ptr' ->
-             (ST_pg_result.tag, rw) su_obj ptr') fptr T.typ
-    val fptr :
-        unit ->
-            ((ST_pg_conn.tag, rw) su_obj ptr' * ro uchar_obj ptr' ->
-                 (ST_pg_result.tag, rw) su_obj ptr') fptr
-    val f' :
-        (ST_pg_conn.tag, rw) su_obj ptr' * ro uchar_obj ptr' ->
-            (ST_pg_result.tag, rw) su_obj ptr'
-end = struct
-    val typ = FPtrRTTI_15.typ
-    fun fptr () = mk_fptr (FPtrRTTI_15.mkcall, h ())
-    fun f' (x1, x2) = call (fptr (), (x1, x2))
-end
-end