Ticket #44 (closed defect)
pseudo-parameter/c is borked
| Reported by: | dherman | Owned by: | dherman |
|---|---|---|---|
| Priority: | major | Milestone: | |
| Component: | dherman/parameter.plt | Keywords: | |
| Cc: | Version: | ||
| Racket Version: |
Description
Pseudo-parameters fail to fulfill pseudo-parameter/c. Example:
(module a scheme
(require (planet dherman/parameter:1)
scheme/contract)
(define foo
(let ([x 0])
(make-pseudo-parameter
(lambda () x)
(lambda (v)
(set! x v)
v))))
(provide/contract [foo (pseudo-parameter/c integer?)]))
Change History
Note: See
TracTickets for help on using
tickets.
