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

From: Eli Barzilay (eli at barzilay.org)
Date: Sat Jan 8 09:15:55 EST 2011

> 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!


Posted on the dev mailing list.