Re: [racket-dev] Blame and re-provided bindings

2011-01-16 Thread Carl Eastlund
This sentence makes no sense to me. Contracts are all about where things come from. How can it be irrelevant? On Sun, Jan 16, 2011 at 11:12 PM, Matthias Felleisen wrote: > > But Casey says the _client_ broke the contract. It's irrelevant where things > come from when the client breaks the cont

Re: [racket-dev] Blame and re-provided bindings

2011-01-16 Thread Matthias Felleisen
But Casey says the _client_ broke the contract. It's irrelevant where things come from when the client breaks the contracts. On Jan 16, 2011, at 11:06 PM, Carl Eastlund wrote: > On Sun, Jan 16, 2011 at 11:03 PM, Matthias Felleisen > wrote: >> >> On Jan 15, 2011, at 5:05 PM, Casey Klein wro

Re: [racket-dev] Blame and re-provided bindings

2011-01-16 Thread Carl Eastlund
On Sun, Jan 16, 2011 at 11:03 PM, Matthias Felleisen wrote: > > On Jan 15, 2011, at 5:05 PM, Casey Klein wrote: > >> On Sat, Jan 15, 2011 at 11:26 AM, Stevie Strickland >> wrote: >>> On Jan 15, 2011, at 12:19 PM, Robby Findler wrote: I think that we are just throwing up stumbling blocks. It

Re: [racket-dev] Blame and re-provided bindings

2011-01-16 Thread Matthias Felleisen
On Jan 15, 2011, at 5:05 PM, Casey Klein wrote: > On Sat, Jan 15, 2011 at 11:26 AM, Stevie Strickland > wrote: >> On Jan 15, 2011, at 12:19 PM, Robby Findler wrote: >>> I think that we are just throwing up stumbling blocks. It is really a >>> design choice (does a reprovide "carry over" the cont