> 92775c5 Stevie Strickland <[email protected]> 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
