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

diff --git a/libpq/FFI/f-PQdisplayTuples.sml b/libpq/FFI/f-PQdisplayTuples.sml
deleted file mode 100644
index c34a825..0000000
--- a/libpq/FFI/f-PQdisplayTuples.sml
+++ /dev/null
@@ -1,56 +0,0 @@
-(* This file has been generated automatically. DO NOT EDIT! *)
-(* [from code at "/usr/include/postgresql/libpq-fe.h":335.1-341.15] *)
-(* [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 "PQdisplayTuples"
-in
-structure F_PQdisplayTuples : sig
-    val typ :
-        ((ST_pg_result.tag, ro) su_obj ptr' *
-         (ST__IO_FILE.tag, rw) su_obj ptr' *
-         sint *
-         ro uchar_obj ptr' *
-         sint *
-         sint -> unit) fptr T.typ
-    val fptr :
-        unit ->
-            ((ST_pg_result.tag, ro) su_obj ptr' *
-             (ST__IO_FILE.tag, rw) su_obj ptr' *
-             sint *
-             ro uchar_obj ptr' *
-             sint *
-             sint -> unit) fptr
-    val f :
-        (ST_pg_result.tag, ro) su_obj ptr *
-        (ST__IO_FILE.tag, rw) su_obj ptr *
-        MLRep.Signed.int *
-        ro uchar_obj ptr *
-        MLRep.Signed.int *
-        MLRep.Signed.int -> unit
-    val f' :
-        (ST_pg_result.tag, ro) su_obj ptr' *
-        (ST__IO_FILE.tag, rw) su_obj ptr' *
-        MLRep.Signed.int *
-        ro uchar_obj ptr' *
-        MLRep.Signed.int *
-        MLRep.Signed.int -> unit
-end = struct
-    val typ = FPtrRTTI_11.typ
-    fun fptr () = mk_fptr (FPtrRTTI_11.mkcall, h ())
-    fun f (x1, x2, x3, x4, x5, x6)
-        = call
-              (fptr (),
-               (Light.ptr x1,
-                Light.ptr x2,
-                Cvt.c_sint x3,
-                Light.ptr x4,
-                Cvt.c_sint x5,
-                Cvt.c_sint x6))
-    fun f' (x1, x2, x3, x4, x5, x6)
-        = call
-              (fptr (),
-               (x1, x2, Cvt.c_sint x3, x4, Cvt.c_sint x5, Cvt.c_sint x6))
-end
-end