> 92775c5 Stevie Strickland 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-inte
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 wrote:
>> 92775c5 Stevie Strickland 2011-01-07 18:22
>> :
>> | Add instanceof.
>> |
>> | The instanceof contract combinator takes a class contract. The resulting
>> | c
I think I had a minor ephiphany yesterday about git: if I just do 'git
remote update' when I get to a new machine -- if things were out of
sync -- then I should essentially get the union of the two dags; my
local "master" and "remotes/origin/master" (in the gitk window) will
point to the two heads
Yeah, `instanceof/c' would not be confusing, IMO.
On Saturday, January 8, 2011, Robby Findler 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 wrote:
>>> 92775c5 Stevie Strickland 2011-01-07 18:22
>>>
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
> wrote:
>> If you were willing to add /c to the end of it, that might make thing
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 sys
6 matches
Mail list logo
