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

From: Stevie Strickland (sstrickl at racket-lang.org)
Date: Sat Jan 8 11:25:52 EST 2011

Okay, just pushed a change that performs this renaming.

Stevie

On Jan 8, 2011, at 10:34 AM, Eli Barzilay wrote:

> Yeah, `instanceof/c' would not be confusing, IMO.
> 
> On Saturday, January 8, 2011, Robby Findler <robby at eecs.northwestern.edu> wrote:
>> 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
>>> 
>> 
> 
> -- 
>          ((lambda (x) (x x)) (lambda (x) (x x)))          Eli Barzilay:
>                  http://www.barzilay.org/                 Maze is Life!



Posted on the dev mailing list.