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.
      
    
