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),