id	summary	reporter	owner	description	type	status	priority	milestone	component	resolution	keywords	cc	planetversion	pltversion
333	Type Predicate For Connection - Typed/Racket	ray.racine@…	ryanc	"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?))


"	enhancement	closed	minor		schematics/spgsql.plt	wontfix			(2 3)