[racket-dev] Want to add an example to reference docs

2012-12-29 Thread Danny Yoo
I'd like to add something like the following example to the third paragraph of section 1.1.16 on the implications on custodian shutdown: https://gist.github.com/4411396 Otherwise, without the example, it's easy to misinterpret the sentence: "If the current custodian is shut down before

Re: [racket-dev] Contract barrier inefficiencies

2012-12-29 Thread Robby Findler
On Sat, Dec 29, 2012 at 9:09 PM, Neil Toronto wrote: > On 12/29/2012 06:18 PM, Robby Findler wrote: > >> On Sat, Dec 29, 2012 at 3:57 PM, Matthias Felleisen >> mailto:matth...@ccs.neu.edu>> wrote: >> >> I think the questions really concern the interaction between TR's >> generation of cont

Re: [racket-dev] Contract barrier inefficiencies

2012-12-29 Thread Neil Toronto
On 12/29/2012 06:18 PM, Robby Findler wrote: On Sat, Dec 29, 2012 at 3:57 PM, Matthias Felleisen mailto:matth...@ccs.neu.edu>> wrote: I think the questions really concern the interaction between TR's generation of contracts and contracts themselves: 1. TR does not seem to exploit

Re: [racket-dev] Contract barrier inefficiencies

2012-12-29 Thread Robby Findler
On Sat, Dec 29, 2012 at 3:57 PM, Matthias Felleisen wrote: > > On Dec 28, 2012, at 8:04 PM, Robby Findler wrote: > > Overall, I feel like some of what you're asking has to do with what TR is > doing and some with what's going on inside the procedure chaperones and so > I'm not sure the contract li

Re: [racket-dev] Contract barrier inefficiencies

2012-12-29 Thread Matthias Felleisen
On Dec 28, 2012, at 8:04 PM, Robby Findler wrote: > Overall, I feel like some of what you're asking has to do with what TR is > doing and some with what's going on inside the procedure chaperones and so > I'm not sure the contract library itself is a place where fixes can happen. I think the