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 <[email protected]> > 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 <[email protected]> wrote: >>>> 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 >>> >> > > -- > ((lambda (x) (x x)) (lambda (x) (x x))) Eli Barzilay: > http://www.barzilay.org/ Maze is Life! _________________________________________________ For list-related administrative tasks: http://lists.racket-lang.org/listinfo/dev

