[racket-dev] Changing call/cc

2012-08-29 Thread Asumu Takikawa
Hi all, Sam, Stevie, and I have been working on a contract mechanism for control operators and allowing delimited control to be used in Typed Racket. In the process, we've found out that `call/cc` combined with delimited control is incompatible with Typed Racket. We have a proposal for changing `

Re: [racket-dev] errors from `force`

2012-08-29 Thread Sam Tobin-Hochstadt
On Wed, Aug 29, 2012 at 11:17 AM, Matthew Flatt wrote: > At Wed, 29 Aug 2012 10:34:02 -0400, Sam Tobin-Hochstadt wrote: >> On Wed, Aug 29, 2012 at 9:20 AM, Matthew Flatt wrote: >> > At Mon, 27 Aug 2012 17:36:42 -0400, Sam Tobin-Hochstadt wrote: >> >> Since I've made the Typed Racket tests run in

Re: [racket-dev] errors from `force`

2012-08-29 Thread Matthew Flatt
At Wed, 29 Aug 2012 10:34:02 -0400, Sam Tobin-Hochstadt wrote: > On Wed, Aug 29, 2012 at 9:20 AM, Matthew Flatt wrote: > > At Mon, 27 Aug 2012 17:36:42 -0400, Sam Tobin-Hochstadt wrote: > >> Since I've made the Typed Racket tests run in parallel, there have > >> been intermittent errors in DrDr, l

Re: [racket-dev] errors from `force`

2012-08-29 Thread Sam Tobin-Hochstadt
On Wed, Aug 29, 2012 at 9:20 AM, Matthew Flatt wrote: > At Mon, 27 Aug 2012 17:36:42 -0400, Sam Tobin-Hochstadt wrote: >> Since I've made the Typed Racket tests run in parallel, there have >> been intermittent errors in DrDr, like this: >> >> http://drdr.racket-lang.org/25278/collects/tests/type

Re: [racket-dev] errors from `force`

2012-08-29 Thread Matthew Flatt
At Mon, 27 Aug 2012 17:36:42 -0400, Sam Tobin-Hochstadt wrote: > Since I've made the Typed Racket tests run in parallel, there have > been intermittent errors in DrDr, like this: > > http://drdr.racket-lang.org/25278/collects/tests/typed-racket/run.rkt > > I'm not sure exactly what could be cau

Re: [racket-dev] [racket] Profiling mostly macro-generated definitions?

2012-08-29 Thread Robby Findler
On Wed, Aug 29, 2012 at 5:26 AM, Antonio Leitao wrote: > On Tue, Aug 28, 2012 at 7:17 PM, Robby Findler > wrote: >> Well, here's an example of it working. I don't know what to suggest >> but to ask if you could make a small program that illustrates it not >> working and maybe we can go from there

Re: [racket-dev] [plt] Push #25290: master branch updated

2012-08-29 Thread Sam Tobin-Hochstadt
Thanks for figuring this out! It looks like "Patch 3" or readline 6.2 fixes this bug: http://lists.gnu.org/archive/html/bug-readline/2012-07/msg2.html but I don't know how to detect that, or whether any systems are shipping it. Sam On Tue, Aug 28, 2012 at 11:39 PM, wrote: > > > ae843f9 Rya