diff --git a/racket/collects/db/private/sqlite3/ffi.rkt b/racket/collects/db/private/sqlite3/ffi.rkt index 73ac25183e..c94aefb26a 100644 --- a/racket/collects/db/private/sqlite3/ffi.rkt +++ b/racket/collects/db/private/sqlite3/ffi.rkt @@ -197,64 +197,3 @@ (define-sqlite sqlite3_last_insert_rowid (_fun _sqlite3_database -> _int64)) - -;; ---------------------------------------- - -#| -(require (rename-in racket/contract [-> c->])) - -(define status? exact-nonnegative-integer?) - -;; Contracts -(provide/contract - [status? - (c-> any/c boolean?)] - [sqlite3_open_v2 - (c-> bytes? exact-nonnegative-integer? - (values sqlite3_database? status?))] - [sqlite3_close - (c-> sqlite3_database? status?)] - [sqlite3_prepare_v2 - (c-> sqlite3_database? string? - (values status? (or/c sqlite3_statement? false/c) string?))] - [sqlite3_errmsg - (c-> sqlite3_database? string?)] - [sqlite3_step - (c-> sqlite3_statement? status?)] - [sqlite3_bind_parameter_count - (c-> sqlite3_statement? exact-nonnegative-integer?)] - [sqlite3_bind_int64 - (c-> sqlite3_statement? exact-nonnegative-integer? integer? status?)] - [sqlite3_bind_double - (c-> sqlite3_statement? exact-nonnegative-integer? number? status?)] - [sqlite3_bind_text - (c-> sqlite3_statement? exact-nonnegative-integer? string? status?)] - [sqlite3_bind_null - (c-> sqlite3_statement? exact-nonnegative-integer? status?)] - [sqlite3_bind_blob - (c-> sqlite3_statement? exact-nonnegative-integer? bytes? status?)] - [sqlite3_column_count - (c-> sqlite3_statement? exact-nonnegative-integer?)] - [sqlite3_column_name - (c-> sqlite3_statement? exact-nonnegative-integer? string?)] - [sqlite3_column_type - (c-> sqlite3_statement? exact-nonnegative-integer? exact-nonnegative-integer?)] - [sqlite3_column_decltype - (c-> sqlite3_statement? exact-nonnegative-integer? (or/c string? false/c))] - [sqlite3_column_blob - (c-> sqlite3_statement? exact-nonnegative-integer? bytes?)] - [sqlite3_column_text - (c-> sqlite3_statement? exact-nonnegative-integer? string?)] - [sqlite3_column_int64 - (c-> sqlite3_statement? exact-nonnegative-integer? integer?)] - [sqlite3_column_double - (c-> sqlite3_statement? exact-nonnegative-integer? number?)] - [sqlite3_reset - (c-> sqlite3_statement? status?)] - [sqlite3_clear_bindings - (c-> sqlite3_statement? status?)] - [sqlite3_finalize - (c-> sqlite3_statement? status?)] - [sqlite3_get_autocommit - (c-> sqlite3_database? boolean?)]) -|#