Ticket #333 (closed enhancement: wontfix)

Opened 4 years ago

Last modified 4 years ago

Type Predicate For Connection - Typed/Racket

Reported by: ray.racine@… Owned by: ryanc
Priority: minor Milestone:
Component: schematics/spgsql.plt Keywords:
Cc: Version: (2 3)
Racket Version:


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


(module spgsql mzscheme

(require (lib "class.ss")


(provide connect


(define (connection? conn)

(is-a? conn connection%))


Then in typed/racket


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

Change History

Changed 4 years ago by ryanc

  • owner changed from schematics to ryanc
  • status changed from new to assigned

Changed 4 years ago by ryanc

  • status changed from assigned to closed
  • resolution set to wontfix

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

Note: See TracTickets for help on using tickets.