Removing FFI code that is now auto-generated

[hcoop/smlsql.git] / libpq / FFI / f-PQtrace.sml

diff --git a/libpq/FFI/f-PQtrace.sml b/libpq/FFI/f-PQtrace.sml
deleted file mode 100644 (file)
index 3ff1e76..0000000
--- a/libpq/FFI/f-PQtrace.sml
+++ /dev/null
@@ -1,29 +0,0 @@
-(* This file has been generated automatically. DO NOT EDIT! *)
-(* [from code at "/usr/include/postgresql/libpq-fe.h":241.1-52] *)
-(* [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 "PQtrace"
-in
-structure F_PQtrace : sig
-    val typ :
-        ((ST_pg_conn.tag, rw) su_obj ptr' *
-         (ST__IO_FILE.tag, rw) su_obj ptr' -> unit) fptr T.typ
-    val fptr :
-        unit ->
-            ((ST_pg_conn.tag, rw) su_obj ptr' *
-             (ST__IO_FILE.tag, rw) su_obj ptr' -> unit) fptr
-    val f :
-        (ST_pg_conn.tag, rw) su_obj ptr * (ST__IO_FILE.tag, rw) su_obj ptr ->
-            unit
-    val f' :
-        (ST_pg_conn.tag, rw) su_obj ptr' *
-        (ST__IO_FILE.tag, rw) su_obj ptr' -> unit
-end = struct
-    val typ = FPtrRTTI_42.typ
-    fun fptr () = mk_fptr (FPtrRTTI_42.mkcall, h ())
-    fun f (x1, x2) = call (fptr (), (Light.ptr x1, Light.ptr x2))
-    fun f' (x1, x2) = call (fptr (), (x1, x2))
-end
-end