At Sat, 19 Apr 2014 19:41:49 -0600, Matthew Flatt wrote: > > At Sat, 19 Apr 2014 17:36:40 -0400, Vincent St-Amour wrote: > > At Sat, 19 Apr 2014 13:19:25 -0400, > > mfl...@racket-lang.org wrote: > > > a01b12e Matthew Flatt <mfl...@racket-lang.org> 2014-04-19 10:11 > > > : > > > | optimizer: don't move expressions into a `with-continuation-mark` > > > | > > > | ... unless the optimizer can prove that the expression doesn't > > > | inspect continuation marks. > > > : > > > M pkgs/racket-pkgs/racket-test/tests/racket/optimize.rktl | 12 > > > +++++++++++- > > > M racket/src/racket/src/optimize.c | 5 +++++ > > > > This optimization can be observed from another thread, like a profiler's > > sampling thread, even if the relevant code doesn't observe continuation > > marks itself. > > Right: If there's some synchronization point within the expression so > that you could reliably observe the thread at that point, then the > expression doesn't get moved relative to marks.
Ok, no problem then. Sorry for the noise. Vincent _________________________ Racket Developers list: http://lists.racket-lang.org/dev
