My answers are:
1. There isn't, but I've been planning to do this as soon as I revisit
define-struct/contract in the new chaperone/impersonator world.
2. It's doable, but hasn't been done yet. I'll try and keep this in mind when
I revisit the things listed in 1. If I were to do it, I'd imagin
I think that chaperones let us implement this contract, but I don't
think that you can actually do it yet in the contract library (because
of the dependency), but Stevie would know best.
Robby
On Fri, Jan 7, 2011 at 9:58 AM, Matthias Felleisen wrote:
>
> 1. Is there a struct/contract?
>
> 2. I w
1. Is there a struct/contract?
2. I would like to write something like this:
(define-struct/contract foo ([bar number?][moo (->i (*bar*) ([x (and/c number?
(>/c bar))]) (r number?))]) #:mutable)
The *bar* is a 'reference' to the bar field, that is, I want to have a function
contract for a s
3 matches
Mail list logo
