[racket-dev] [plt] Push #21932: master branch updated

From: Robby Findler (robby at eecs.northwestern.edu)
Date: Sat Jan 8 09:17:47 EST 2011

If you were willing to add /c to the end of it, that might make things ok.

Robby

On Sat, Jan 8, 2011 at 8:15 AM, Eli Barzilay <eli at barzilay.org> wrote:
>> 92775c5 Stevie Strickland <sstrickl at racket-lang.org> 2011-01-07 18:22
>> :
>> | Add instanceof.
>> |
>> | The instanceof contract combinator takes a class contract.  The resulting
>> | contract protects objects using the external field and method contracts
>> | in the class contract.
>> :
>>   M collects/racket/private/class-internal.rkt |   45 +++++++++++-----
>>   M collects/scribblings/reference/class.scrbl |    8 +++
>>   M collects/tests/racket/contract-test.rktl   |   73 +++++++++++++++++++++++++
>
> IMO `instanceof' is a bad name that will be easy to trip over for
> obvious reasons.
>
> --
>          ((lambda (x) (x x)) (lambda (x) (x x)))          Eli Barzilay:
>                    http://barzilay.org/                   Maze is Life!
> _________________________________________________
>  For list-related administrative tasks:
>  http://lists.racket-lang.org/listinfo/dev
>


Posted on the dev mailing list.