Ticket #48 (closed defect)

Opened 16 years ago

Last modified 16 years ago

pseudo-parameter/c still borked for higher-order contracts

Reported by: dherman Owned by: dherman
Priority: major Milestone:
Component: dherman/parameter.plt Keywords:
Cc: Version:
Racket Version:


(module a scheme
  (require (planet dherman/parameter:1:2))
  (define p
     (lambda () add1)
     (lambda (x) x)))
  (provide/contract [p (pseudo-parameter/c (integer? . -> . integer?))]))

Change History

Changed 16 years ago by dherman

  • status changed from new to closed

Fixed in 1:3, I think. proj-get returns a function that needs a contract first, so I apply that result to the underlying contract. I'm not positive that's what I'm supposed to do, but it seems to work.

Note: See TracTickets for help on using tickets.