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)