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
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
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 ro...@eecs.northwestern.edu
wrote:
If you were willing to add /c to the end of it,
In principle I'd love to see this kind of functionality in the core. I will
read the 'guide' (aka your submission) and let's work on my 'turn' example to
see how it fits.
-- Matthias
On Jan 7, 2011, at 8:17 PM, Jay McCarthy wrote:
I've recently prepared an extension to the contract
4 matches
Mail list logo
