Re: [racket-dev] Compile cache being incorrect

2014-04-05 Thread Robby Findler
raco make x.rkt && racket x.rkt Robby On Fri, Apr 4, 2014 at 11:16 PM, Eric Dobson wrote: > Great that explains it and with that information I was able to > simplify my test case to > > tmp.rkt > #lang racket > > (require "tmp2.rkt") > > (define-syntax (go stx) > (foo)) > > (go) > > tmp2.rkt

Re: [racket-dev] Compile cache being incorrect

2014-04-05 Thread Sam Tobin-Hochstadt
I don't think this is a good answer for Racket. Certainly the docs don't say that you need to always do this if you want your program to work right. If Racket doesn't work right in the presence of stale compiled filed, then it should just error in those cases, rather than doing the wrong thing. Of

Re: [racket-dev] Compile cache being incorrect

2014-04-05 Thread Robby Findler
Yes, Sam. I don't think anyone is happy with the status quo. Perhaps the tradeoffs have changed since last time a careful investigation happened. Robby On Saturday, April 5, 2014, Sam Tobin-Hochstadt wrote: > I don't think this is a good answer for Racket. Certainly the docs > don't say that

Re: [racket-dev] Compile cache being incorrect

2014-04-05 Thread Eric Dobson
Also this is a poor solution for me because `raco make` compiles all the dependencies serially. I have also tried doing 'raco setup -D' for the packages I am dependent on but that has the issue of compiling everything in those packages which is over kill (and thus slower than needed). My end goal

Re: [racket-dev] Compile cache being incorrect

2014-04-05 Thread Robby Findler
That sounds difficult. On Saturday, April 5, 2014, Eric Dobson wrote: > Also this is a poor solution for me because `raco make` compiles all > the dependencies serially. I have also tried doing 'raco setup -D' for > the packages I am dependent on but that has the issue of compiling > everything

Re: [racket-dev] Compile cache being incorrect

2014-04-05 Thread Robby Findler
Altho if someone wanted to improve this somehow (make macro expansion faster? Find better ways to exploit parallel hardware?) then that would be really awesome. Robby On Sat, Apr 5, 2014 at 10:38 AM, Robby Findler wrote: > That sounds difficult. > > > On Saturday, April 5, 2014, Eric Dobson wr

Re: [racket-dev] DrDr hung?

2014-04-05 Thread Jay McCarthy
I kicked it. (I check every two nights, btw, and if you notice something, you can email me directly.) On Fri, Apr 4, 2014 at 10:51 PM, Eric Dobson wrote: > DrDr seems to be behind by about 8 pushes (in terms of what it is > showing in the UI) currently and is stuck running on push 28468 for 36 >