Re: [racket-dev] TR's optimizer eventually going to unbox structs?

2012-08-27 Thread Robby Findler
Would you need a and is not a substruct? predicate to make such things work? Robby On Mon, Aug 27, 2012 at 10:11 AM, Vincent St-Amour stamo...@ccs.neu.edu wrote: TR's complex number optimizations eliminate repeated boxing and unboxing in chains of operations that each consume and produce

Re: [racket-dev] TR's optimizer eventually going to unbox structs?

2012-08-27 Thread Vincent St-Amour
I don't think it would be necessary. For the optimization to trigger, the only thing a step in the chain can do with its argument is use its components. Anything else (e.g. checking whether it's a substruct) would require the argument to be boxed, and would prevent the optimization from

Re: [racket-dev] TR's optimizer eventually going to unbox structs?

2012-08-27 Thread Neil Toronto
On 08/27/2012 09:11 AM, Vincent St-Amour wrote: TR's complex number optimizations eliminate repeated boxing and unboxing in chains of operations that each consume and produce complex numbers. Similar optimizations for structs would eliminate structs for intermediate results in chains of

Re: [racket-dev] TR's optimizer eventually going to unbox structs?

2012-08-27 Thread Ray Racine
FWIW, the Scala folks have done something along these lines, Value Classes, originally aka Inline Classes. https://docs.google.com/document/d/10TQKgMiJTbVtkdRG53wsLYwWM2MkhtmdV25-NZvLLMA/edit?hl=en_USpli=1 On Mon, Aug 27, 2012 at 12:58 PM, Neil Toronto neil.toro...@gmail.comwrote: On

Re: [racket-dev] TR's optimizer eventually going to unbox structs?

2012-08-27 Thread Robby Findler
Oh, okay. And so if you have a function that accepts a struct, does some work with it, and then returns a new version of it (and you wanted to optimize the body of the function), then you could get away with doing something like 'struct-copy' to make the final version that gets returned. Robby

[racket-dev] errors from `force`

2012-08-27 Thread Sam Tobin-Hochstadt
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 causing this -- I don't think promises should ever fail to `force`. Might

[racket-dev] number-of-bindings tooltip: thanks!

2012-08-27 Thread John Clements
I see that you've added a tooltip on check-syntax hover that shows how many uses a variable has. Thanks! John smime.p7s Description: S/MIME cryptographic signature _ Racket Developers list: http://lists.racket-lang.org/dev

Re: [racket-dev] number-of-bindings tooltip: thanks!

2012-08-27 Thread Robby Findler
Thanks. I've been using it for a little while now and I actually really hate it. :) I need to move it so it doesn't overlap with the (at least not as often). Robby On Monday, August 27, 2012, John Clements wrote: I see that you've added a tooltip on check-syntax hover that shows how many

Re: [racket-dev] number-of-bindings tooltip: thanks!

2012-08-27 Thread Robby Findler
I've moved the tooltips so they are in a less annoying place now. I think it can still be a bit better, but at least now it isn't as annoying (I think). Robby On Mon, Aug 27, 2012 at 7:01 PM, Robby Findler ro...@eecs.northwestern.edu wrote: Thanks. I've been using it for a little while now