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 sstri...@ccs.neu.edu 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

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 matth...@ccs.neu.edu wrote: On Jan 15, 2011, at 5:05 PM, Casey Klein wrote: On Sat, Jan 15, 2011 at 11:26 AM, Stevie Strickland sstri...@ccs.neu.edu wrote: On Jan 15, 2011, at 12:19 PM, Robby Findler wrote: I think that we are just

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 matth...@ccs.neu.edu wrote: On Jan 15, 2011, at 5:05 PM,

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 matth...@ccs.neu.edu wrote: But Casey says the _client_ broke the contract. It's irrelevant where things come from when the