Ticket #333 (closed enhancement: wontfix)

Opened 13 years ago

Last modified 13 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:

Description

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

Change History

Changed 13 years ago by ryanc

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

Changed 13 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.