Type Predicate For Connection - Typed/Racket

[ray.racine@…]

Would like to require/typed module.
To lift the connection type need a type predicate.

e.g.

(module spgsql mzscheme

(require (lib "class.ss")

...
"private/socket.ss")

(provide connect

connection?
...
format-sql
concat-sql)

(define (connection? conn)

(is-a? conn connection%))

...

Then in typed/racket

(require/typed

(planet schematics/spgsql:2:3/spgsql)
(opaque connection connection?))

[ryanc]

The schematics/spgsql package has been superceded by the ryanc/db package, which does have a connection? predicate.