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.