Yeah, `instanceof/c' would not be confusing, IMO. On Saturday, January 8, 2011, Robby Findler <ro...@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 <e...@barzilay.org> wrote: >>> 92775c5 Stevie Strickland <sstri...@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! _________________________________________________ For list-related administrative tasks: http://lists.racket-lang.org/listinfo/dev