X-Git-Url: https://git.hcoop.net/hcoop/smlsql.git/blobdiff_plain/812d937792645ff4de79715553a449a42ba4d589..ff979976e79e20620cab1a3bacf8ede384f5b880:/libpq/FFI/f-PQisnonblocking.sml

diff --git a/libpq/FFI/f-PQisnonblocking.sml b/libpq/FFI/f-PQisnonblocking.sml
deleted file mode 100644
index 5da072a..0000000
--- a/libpq/FFI/f-PQisnonblocking.sml
+++ /dev/null
@@ -1,20 +0,0 @@
-(* This file has been generated automatically. DO NOT EDIT! *)
-(* [from code at "/usr/include/postgresql/libpq-fe.h":278.1-47] *)
-(* [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 "PQisnonblocking"
-in
-structure F_PQisnonblocking : sig
-    val typ : ((ST_pg_conn.tag, ro) su_obj ptr' -> sint) fptr T.typ
-    val fptr : unit -> ((ST_pg_conn.tag, ro) su_obj ptr' -> sint) fptr
-    val f : (ST_pg_conn.tag, ro) su_obj ptr -> MLRep.Signed.int
-    val f' : (ST_pg_conn.tag, ro) su_obj ptr' -> MLRep.Signed.int
-end = struct
-    val typ = FPtrRTTI_1.typ
-    fun fptr () = mk_fptr (FPtrRTTI_1.mkcall, h ())
-    fun f x1 = Cvt.ml_sint (call (fptr (), Light.ptr x1))
-    fun f' x1 = Cvt.ml_sint (call (fptr (), x1))
-end
-end