Re: [racket-dev] chaperones in 5.3.1?

2012-10-23 Thread Robby Findler
Is it possible that one of those vectors is mutable and the other is immutable? Robby On Tue, Oct 23, 2012 at 7:03 PM, Danny Yoo d...@hashcollision.org wrote: I'm seeing the following error deep within Whalesong when I'm running its test suite: . .

Re: [racket-dev] What's the process for adding a project to DrDr

2012-10-23 Thread Robby Findler
Would it make sense to have drdr get whalesong directly from planet? Robby On Mon, Oct 22, 2012 at 8:17 PM, Jay McCarthy jay.mccar...@gmail.com wrote: We haven't done it before yet. The simplest way is to commit something to the core, but that's not good in the long run. One thing that we

Re: [racket-dev] Feature request - Zoom in Dr. Racket

2012-10-21 Thread Robby Findler
, Oct 21, 2012 at 6:55 PM, Harry Spier vasishtha.sp...@gmail.com wrote: Thanks Robby, I just lowered the resolution on the larger monitor and it works fine now. Cheers, Harry On Sun, Oct 21, 2012 at 3:50 PM, Robby Findler ro...@eecs.northwestern.edu wrote: I realize this sounds like I'm

Re: [racket-dev] compatibility/package

2012-10-19 Thread Robby Findler
There was a thread I saw on 7/30 that suggested we leave things where they are (and that's what I also think we should do). Robby On Fri, Oct 19, 2012 at 4:30 AM, Eli Barzilay e...@barzilay.org wrote: Wasn't there a decision to keep `racket/package' where it is instead of moving it to

Re: [racket-dev] DrRacket 5.3 suddenly crashing every few minutes on Win7/64

2012-10-18 Thread Robby Findler
Do you get a message saying that it has crashed from the OS, or does it just disappear? I can't recall the details now but when I get such messages, I get an option to go into some kind of a debugger and get stack traces. Are you seeing that? Robby On Wed, Oct 17, 2012 at 8:53 AM, Kathi Fisler

Re: [racket-dev] DrRacket 5.3 suddenly crashing every few minutes on Win7/64

2012-10-18 Thread Robby Findler
Oh-- and do you have the 64 bit or the 32 bit version of Racket? (I see you have the 64 bit OS, but that doesn't preclude the 32 bit version of drracket.) Robby On Thu, Oct 18, 2012 at 8:07 AM, Robby Findler ro...@eecs.northwestern.edu wrote: Do you get a message saying that it has crashed from

Re: [racket-dev] DrRacket 5.3 suddenly crashing every few minutes on Win7/64

2012-10-18 Thread Robby Findler
. Only option I get is to close the program. Kathi On Thu, Oct 18, 2012 at 9:07 AM, Robby Findler ro...@eecs.northwestern.edu wrote: Do you get a message saying that it has crashed from the OS, or does it just disappear? I can't recall the details now but when I get such messages, I get

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

2012-10-17 Thread Robby Findler
What is 'p' in this example? On Wednesday, October 17, 2012, Sam Tobin-Hochstadt wrote: On Tue, Oct 16, 2012 at 7:55 PM, Stephen Bloch bl...@adelphi.edujavascript:; wrote: Another data point: If define/match expands to a define of a procedure that dispatches to a set of implementations

Re: [racket-dev] Pre-Release Checklist for v5.3.1

2012-10-17 Thread Robby Findler
On Mon, Oct 15, 2012 at 11:58 PM, Ryan Culpepper r...@cs.utah.edu wrote: * Robby Findler ro...@eecs.northwestern.edu - DrRacket Tests - Framework Tests - Contracts Tests - Games Tests - Teachpacks Tests: image tests - PLaneT Tests - Redex Tests Updates: - DrRacket

Re: [racket-dev] API naming conventions (Push #25466)

2012-10-16 Thread Robby Findler
For the record, I find having two things that combine match and define in different ways where the name difference is - vs / and swapping the order of the words to be quite unfortunate. Plus, we should just have match built into all of the binding forms. Robby On Tue, Oct 16, 2012 at 5:48 PM,

Re: [racket-dev] module mismatch with .zos

2012-10-15 Thread Robby Findler
On Mon, Oct 15, 2012 at 7:59 PM, Dan Liebgold dan.liebg...@gmail.com wrote: On Mon, Oct 15, 2012 at 5:23 PM, Matthew Flatt mfl...@cs.utah.edu wrote: Is there any chance that the .zo file timestamps became earlier than the .rkt timestamps on end-users' machines? Yes that is possible... we're

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

2012-10-06 Thread Robby Findler
On Sat, Oct 6, 2012 at 8:21 AM, Sam Tobin-Hochstadt sa...@ccs.neu.edu wrote: On Fri, Oct 5, 2012 at 10:28 PM, Robby Findler ro...@eecs.northwestern.edu wrote: On Fri, Oct 5, 2012 at 8:55 PM, Eli Barzilay e...@barzilay.org wrote: A few minutes ago, Sam Tobin-Hochstadt wrote: On Oct 5, 2012 9

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

2012-10-05 Thread Robby Findler
Thanks for spotting that leak!! On Friday, October 5, 2012, wrote: eli has updated `master' from cb42b7ed6a to e7db0bdac4. http://git.racket-lang.org/plt/cb42b7ed6a..e7db0bdac4 =[ 3 Commits ]== Directory summary: 6.5%

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

2012-10-05 Thread Robby Findler
Why does TR depend on FV? Robby On Fri, Oct 5, 2012 at 5:59 PM, Eli Barzilay e...@barzilay.org wrote: Three hours ago, sa...@racket-lang.org wrote: samth has updated `master' from fcfff27c31 to b6b5043ff9. http://git.racket-lang.org/plt/fcfff27c31..b6b5043ff9 =[ One Commit

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

2012-10-05 Thread Robby Findler
Oh, right. Duh. And even better, IMO, if it were futures-visualizer/typed/* were a place you could put this information. But I'm not sure that the trust is there for that. Robby On Fri, Oct 5, 2012 at 7:39 PM, Eli Barzilay e...@barzilay.org wrote: 20 minutes ago, Robby Findler wrote: Why does

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

2012-10-05 Thread Robby Findler
On Fri, Oct 5, 2012 at 8:16 PM, Eli Barzilay e...@barzilay.org wrote: 10 minutes ago, Robby Findler wrote: Oh, right. Duh. And even better, IMO, if it were futures-visualizer/typed/* were a place you could put this information. Yeah -- that would make distribution much easier, since

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

2012-10-05 Thread Robby Findler
On Fri, Oct 5, 2012 at 8:55 PM, Eli Barzilay e...@barzilay.org wrote: A few minutes ago, Sam Tobin-Hochstadt wrote: On Oct 5, 2012 9:16 PM, Eli Barzilay e...@barzilay.org wrote: 10 minutes ago, Robby Findler wrote: Oh, right. Duh. And even better, IMO, if it were futures-visualizer

Re: [racket-dev] Falling through cond clauses

2012-10-02 Thread Robby Findler
IIRC, we even experimented with this one briefly and quickly gave up as we got overwhelmed. Robby On Tue, Oct 2, 2012 at 9:22 AM, Matthew Flatt mfl...@cs.utah.edu wrote: I think this a great change for a future `racket2' (someone should be keeping a list of these), but it's too incompatible a

Re: [racket-dev] Math library initial commit almost ready; comments on issues welcome

2012-10-01 Thread Robby Findler
On Mon, Oct 1, 2012 at 1:26 PM, Neil Toronto neil.toro...@gmail.com wrote: I think I'm about a week away from having the math library's initial commit ready. It just needs some more docs and test cases. Here are the high-level issues, for which I'm soliciting comments, suggestions, questions,

Re: [racket-dev] What are single flonums good for?

2012-09-15 Thread Robby Findler
that they are good for not breaking old programs, so probably best to leave well enough alone. Thanks again, Robby On Sat, Sep 15, 2012 at 9:31 AM, Vincent St-Amour stamo...@ccs.neu.edu wrote: At Fri, 14 Sep 2012 23:45:43 -0500, Robby Findler wrote: The original message in this thread suggests

Re: [racket-dev] What are single flonums good for?

2012-09-14 Thread Robby Findler
As far as I can tell, if this pollutes TR programs in any interesting way, then it would be a cause for concern. Robby On Fri, Sep 14, 2012 at 12:21 PM, John Clements cleme...@brinckerhoff.org wrote: On Sep 12, 2012, at 1:03 PM, Jay McCarthy wrote: On Wed, Sep 12, 2012 at 8:31 AM, Neil

Re: [racket-dev] Short-circuiting comprehensions

2012-09-14 Thread Robby Findler
My $0.02: I find #:while and #:when to be too close, and #:until and #:unless even closer. Robby On Fri, Sep 14, 2012 at 2:30 PM, Eli Barzilay e...@barzilay.org wrote: 5 hours ago, Carl Eastlund wrote: Has this been brought up before? I can't recall. Does anyone else run into the same

Re: [racket-dev] What are single flonums good for?

2012-09-14 Thread Robby Findler
vectors and not typed f32 vectors. Jay On Fri, Sep 14, 2012 at 11:28 AM, Robby Findler ro...@eecs.northwestern.edu wrote: As far as I can tell, if this pollutes TR programs in any interesting way, then it would be a cause for concern. Robby On Fri, Sep 14, 2012 at 12:21 PM, John Clements

Re: [racket-dev] What are single flonums good for?

2012-09-12 Thread Robby Findler
On Wed, Sep 12, 2012 at 11:24 AM, Vincent St-Amour stamo...@ccs.neu.edu wrote: Single-precision float support used to be enabled via a configure option, which meant that some Racket installations would support them, and some would not. Since zo files are meant to be portable, they could not

Re: [racket-dev] What are single flonums good for?

2012-09-12 Thread Robby Findler
On Wed, Sep 12, 2012 at 3:47 PM, Matthew Flatt mfl...@cs.utah.edu wrote: At Wed, 12 Sep 2012 08:31:29 -0600, Neil Toronto wrote: Why do we have these things? I'm not sure this reason from 1996 is still relevant, but FWIW: Originally, there were drawing-related `float' computations in C code

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

2012-08-31 Thread Robby Findler
I believe I'm using the 32 bit build in all those cases, tho. Are you using the 64 bit one? Yes. Thanks. I see this too. Here's a shorter program illustrating the difference. #lang racket (require profile) (define (f x) (if (zero? x) (continuation-mark-set-context

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 Robby Findler
2012 10:15:04 -0500, Robby Findler wrote: 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.edujavascript:; wrote: TR's complex number optimizations eliminate repeated boxing

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

Re: [racket-dev] When is it safe to not rename a runtime value in a macro?

2012-08-25 Thread Robby Findler
This is definitely a macro writer bill of rights situation. Too bad that TR's optimizer cannot take advantage of all these kinds of things that are already happening in the optimizer one level down. Robby On Sat, Aug 25, 2012 at 11:19 AM, Neil Toronto neil.toro...@gmail.com wrote: A lot of

Re: [racket-dev] Am I misusing judgment-holds ?

2012-08-22 Thread Robby Findler
You could do the below, but can you say a little bit more about what the metafunction and judgment-form you want to combine are? (Presumably they both are type checking?) #lang racket (require redex) (define-language L (e integer true false) (τ bool int)) (define-judgment-form L #:mode (⊢

Re: [racket-dev] Am I misusing judgment-holds ?

2012-08-22 Thread Robby Findler
Oh, this variation may also be a better fit for what you want, depending (note changed mode). Robby #lang racket (require redex) (define-language L (e integer true false) (τ bool int)) (define-judgment-form L #:mode (⊢ I I) #:contract (⊢ e τ) [(⊢ integer int)] [(⊢ true bool)] [(⊢

Re: [racket-dev] Am I misusing judgment-holds ?

2012-08-22 Thread Robby Findler
This is kind of awkward, tho. Do you plan to typeset this portion of your model? Robby On Wed, Aug 22, 2012 at 10:07 AM, Stephen Chang stch...@ccs.neu.edu wrote: Oh yeah, this first solution should work (I want to keep it as an output though). Thanks. On Wed, Aug 22, 2012 at 9:01 AM, Robby

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

2012-08-22 Thread Robby Findler
On Wed, Aug 22, 2012 at 4:18 PM, Asumu Takikawa as...@ccs.neu.edu wrote: On 2012-08-12 15:42:09 -0500, Robby Findler wrote: But unlike other information from check syntax, it is activated by the position of the insertion point, not the mouse position. I'm not sure if this is the right call

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

2012-08-22 Thread Robby Findler
On Wed, Aug 22, 2012 at 8:39 PM, Asumu Takikawa as...@ccs.neu.edu wrote: On 2012-08-22 19:51:34 -0500, Robby Findler wrote: I had imagined that one would mostly leave it open and use f2 to close it when it was too big and open it again when there is a question. In other words, using the mouse

Re: [racket-dev] #:forall for contract-out

2012-08-21 Thread Robby Findler
That seems fine to me. Robby On Tue, Aug 21, 2012 at 1:51 PM, Asumu Takikawa as...@ccs.neu.edu wrote: Hi all, Is there any reason that the #:forall, #:∀ clause (dual to #:exists, #:∃) doesn't exist for contract-out? If it's just that nobody has written it, I've attached a patch that

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

2012-08-18 Thread Robby Findler
One could, concievably, still do that without boxing/unblocking by passing wide enough arguments. And it does seem like TR could help with that, but IIUC the untyped portion of the compiler needs significant work to support that before TR's knowledge of the program would help (But doing a better

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

2012-08-18 Thread Robby Findler
to get the computation on floats and the tag for their meaning. On Aug 18, 2012, at 4:13 PM, Robby Findler wrote: One could, concievably, still do that without boxing/unblocking by passing wide enough arguments. And it does seem like TR could help with that, but IIUC the untyped portion

Re: [racket-dev] potentially renaming /usr/bin/planet to /usr/bin/planet-racket in Debian

2012-08-18 Thread Robby Findler
I've pushed a change to the current git version of Racket that removes the 'planet' binary from plt/bin. (Note that 'raco planet' does all the same things and avoids the conflict mentioned below.) Robby On Sun, Jul 29, 2012 at 2:46 PM, David Bremner brem...@debian.org wrote: Hi All; We're

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

2012-08-16 Thread Robby Findler
On Thu, Aug 16, 2012 at 7:31 PM, Neil Toronto neil.toro...@gmail.com wrote: Is there a way to invalidate just one part of a GUI element? I'd have liked having that recently on a little game I made. All I could find was `refresh', which doesn't take parameters. I didn't like having to redraw the

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

2012-08-12 Thread Robby Findler
It works by looking at the expanded version of the program, so if the parens aren't matched, it can't do anything. It does try to compensate for this by keeping around information from previous successful expansions (when it isn't obviously wrong to do so, but you can fool this aspect of it). But

Re: [racket-dev] Is it possible to write `flatten' in TR?

2012-08-07 Thread Robby Findler
Altho in Neil's case, it maybe that he can positively state the types allowed in the leaves. Robby On Tue, Aug 7, 2012 at 12:55 PM, Sam Tobin-Hochstadt sa...@ccs.neu.edu wrote: More generally, this is a case where you want some form of negation (plus bounded polymorphism) in the type system,

Re: [racket-dev] racket -m seems broken

2012-08-03 Thread Robby Findler
That's how it always worked, I'm pretty sure. A simple experiment seems to confirm: /Applications/Racket\ v5.2.1/bin/racket -m ~/x.rkt main: not defined or required into the top-level environment You probably wanted racket -tm x.rkt. Robby On Fri, Aug 3, 2012 at 4:02 PM, Sam Tobin-Hochstadt

Re: [racket-dev] racket -m seems broken

2012-08-03 Thread Robby Findler
I always forget too Robby On Fri, Aug 3, 2012 at 4:09 PM, Sam Tobin-Hochstadt sa...@ccs.neu.edu wrote: On Fri, Aug 3, 2012 at 5:06 PM, Robby Findler ro...@eecs.northwestern.edu wrote: That's how it always worked, I'm pretty sure. A simple experiment seems to confirm: /Applications

Re: [racket-dev] Release Announcement for v5.3, second draft

2012-08-01 Thread Robby Findler
On Wed, Aug 1, 2012 at 8:44 AM, Sam Tobin-Hochstadt sa...@ccs.neu.edu wrote: The following have been deprecated and will be removed in the August 2013 release: - the `define-contract-struct' form. Use `struct' with `struct/dc' contracts instead. This entry surprises me. Has it been

Re: [racket-dev] Release Announcement for v5.3, second draft

2012-08-01 Thread Robby Findler
On Wed, Aug 1, 2012 at 9:47 AM, Sam Tobin-Hochstadt sa...@ccs.neu.edu wrote: On Wednesday, August 1, 2012, Robby Findler wrote: On Wed, Aug 1, 2012 at 8:44 AM, Sam Tobin-Hochstadt sa...@ccs.neu.edu wrote: The following have been deprecated and will be removed in the August 2013 release

Re: [racket-dev] Release Announcement for v5.3, second draft

2012-08-01 Thread Robby Findler
On Wed, Aug 1, 2012 at 8:44 AM, Sam Tobin-Hochstadt sa...@ccs.neu.edu wrote: The following have been deprecated and will be removed in the August 2013 release: - the `define-contract-struct' form. Use `struct' with `struct/dc' contracts instead. This entry surprises me. Has it been

Re: [racket-dev] check-syntax hack: patch to show how many uses an identifier has

2012-08-01 Thread Robby Findler
FWIW, this is done now. Robby On Thu, Jun 21, 2012 at 12:09 PM, Robby Findler ro...@eecs.northwestern.edu wrote: I'll try to do something along these lines. It shouldn't be hard to make it a tooltip. Robby On Thu, Jun 21, 2012 at 11:03 AM, John Clements cleme...@brinckerhoff.org wrote

Re: [racket-dev] Release Announcement for v5.3, second draft

2012-08-01 Thread Robby Findler
How about this: * The API for fast floating-point bitmaps (flomaps) supports image processing operations. It is written in Typed Racket, so Typed Racket code may use it without the cost of contract checks. ? Robby On Wed, Aug 1, 2012 at 11:05 AM, Neil Toronto neil.toro...@gmail.com

Re: [racket-dev] `compatibility' (was: [plt] Push #25038: master branch updated)

2012-08-01 Thread Robby Findler
I think the idea is that compatibility means we are keeping this to be backwards compatible with unknown code that is using it (or at least, that's one of the meanings). Robby On Wed, Aug 1, 2012 at 6:44 PM, Eli Barzilay e...@barzilay.org wrote: Yesterday, Vincent St-Amour wrote: At Tue, 31

Re: [racket-dev] DrDr - previous/next change buttons

2012-07-31 Thread Robby Findler
Thanks, this is very helpful! Robby On Mon, Jul 30, 2012 at 4:42 PM, Jay McCarthy jay.mccar...@gmail.com wrote: DrDr now has green buttons to go between times the file's output has changed. Hopefully this will help you find problematic commits easier. Jay -- Jay McCarthy j...@cs.byu.edu

Re: [racket-dev] potentially renaming /usr/bin/planet to /usr/bin/planet-racket in Debian

2012-07-29 Thread Robby Findler
I think it should be okay to remove it. All of the functionality is covered by using raco planet. Robby On Sun, Jul 29, 2012 at 2:46 PM, David Bremner brem...@debian.org wrote: Hi All; We're currently trying to figure out the right way to handle a name conflict in Debian between racket and

Re: [racket-dev] possible 5.2.900.1 bug involving rest argument

2012-07-28 Thread Robby Findler
I believe Ryan fixed this a few hours ago. He may be waiting for a release build before commenting. Robby On Sat, Jul 28, 2012 at 7:25 PM, Eli Barzilay e...@barzilay.org wrote: 6 hours ago, Neil Van Dyke wrote: Looks like a minor compiler/optimizer bug in Friday's 5.2.900.1 pre-release. I

Re: [racket-dev] Release Announcement for v5.3

2012-07-26 Thread Robby Findler
If we're going to include the contract related bullets below, then we should probably mention struct/dc, too. But I think this is too many bullets for this amount of stuff. How about something like this: - the contract library has better support for interfaces, generics, prompts,

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

2012-07-26 Thread Robby Findler
How about Misc. minor bug fixes or something like that instead? On Thu, Jul 26, 2012 at 1:56 PM, cleme...@racket-lang.org wrote: clements has updated `master' from 2dcf060774 to 8ba976c035. http://git.racket-lang.org/plt/2dcf060774..8ba976c035 =[ One Commit

Re: [racket-dev] Pre-Release Checklist for v5.3

2012-07-24 Thread Robby Findler
On Tue, Jul 24, 2012 at 10:03 AM, Ryan Culpepper r...@cs.utah.edu wrote: * Robby Findler ro...@eecs.northwestern.edu - DrRacket Tests - Framework Tests - Contracts Tests - Games Tests - Teachpacks Tests: image tests - PLaneT Tests - Redex Tests Updates: - DrRacket

Re: [racket-dev] An implementation of 'case' based on Clinger's Rapid Case Dispatch in Scheme

2012-07-22 Thread Robby Findler
I don't have any good guesses as to which files trigger the problem, but you could time 'raco make' to try to hone in specific files. Run 'raco make' once to build all of a file's dependencies (or just have finished a raco setup run) and then delete compiled/file_rkt.zo if file.rkt is the file you

Re: [racket-dev] An implementation of 'case' based on Clinger's Rapid Case Dispatch in Scheme

2012-07-22 Thread Robby Findler
On Sun, Jul 22, 2012 at 3:33 PM, Jon Zeppieri zeppi...@gmail.com wrote: On Sun, Jul 22, 2012 at 4:15 PM, Robby Findler ro...@eecs.northwestern.edu wrote: I don't have any good guesses as to which files trigger the problem, but you could time 'raco make' to try to hone in specific files. Run

Re: [racket-dev] Coroutines (mzlib/thread)

2012-07-21 Thread Robby Findler
In this particular case, I would prefer this code not to change, as it the heart of a subtle and important part of DrRacket's useability (the syntax colorer). If there are concrete issues with it beyond the desire for a cleaner interface, that's great and I'd love to see performance or correctness

Re: [racket-dev] props script

2012-07-20 Thread Robby Findler
On Thu, Jul 19, 2012 at 7:16 PM, Robby Findler ro...@eecs.northwestern.edu wrote: Does anyone know what this means from the props script? [robby@yanpu] ~/git/plt/collects/meta$ ./props Root: /Users/robby/git/plt/... .DS_Store: no responsible DrRacket.app: no responsible GRacket.app

Re: [racket-dev] props script

2012-07-20 Thread Robby Findler
On Fri, Jul 20, 2012 at 9:48 AM, Eli Barzilay e...@barzilay.org wrote: Two hours ago, Robby Findler wrote: Just to clarify: the props script is now useless to as a mechanism for actually setting properties, since the output is always the below, no matter of the arguments. It was an attempt

Re: [racket-dev] Racket 5.3 release branch doesn't build

2012-07-19 Thread Robby Findler
I looked at this a little bit and it appears to be a bug in version/utils, specifically the version-integer function is not working correctly for the release version number. Robby On Wed, Jul 18, 2012 at 5:55 PM, Aleksej Saushev a...@inbox.ru wrote: Hello, Racket 5.3 release branch doesn't

Re: [racket-dev] Racket 5.3 release branch doesn't build

2012-07-19 Thread Robby Findler
Thanks, Eli. (I agree that version-integer's current behavior is the right one.) Robby On Thu, Jul 19, 2012 at 9:22 AM, Eli Barzilay e...@barzilay.org wrote: Two hours ago, Robby Findler wrote: I looked at this a little bit and it appears to be a bug in version/utils, specifically the version

[racket-dev] props script

2012-07-19 Thread Robby Findler
Does anyone know what this means from the props script? [robby@yanpu] ~/git/plt/collects/meta$ ./props Root: /Users/robby/git/plt/... .DS_Store: no responsible DrRacket.app: no responsible GRacket.app: no responsible PLT Games.app: no responsible Racket Documentation.app: no responsible

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

2012-07-18 Thread Robby Findler
In addition to making a GUI program, eg: #lang racket/gui (send (new frame% [label ][width 100]) show #t) Into an executable and using raco exe to create an executable, you could also test doing that inside DrRacket (the Create Executable menu item when you are in the module language has several

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

2012-07-18 Thread Robby Findler
Sounds like they aren't. But it isn't clear when the bug was introduced. Robby On Wed, Jul 18, 2012 at 8:47 AM, Sam Tobin-Hochstadt sa...@ccs.neu.edu wrote: On Wed, Jul 18, 2012 at 9:28 AM, Robby Findler ro...@eecs.northwestern.edu wrote: In addition to making a GUI program, eg: #lang

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

2012-07-12 Thread Robby Findler
On Thu, Jul 12, 2012 at 1:14 PM, Matthias Felleisen matth...@ccs.neu.edu wrote: Robby, could you share w/ us why you don't like the tool designation for the Optimization Coach and the Future Visualizer? Or if you can't articulate the dislike for 'tool', can you say what a better word is? -

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

2012-07-12 Thread Robby Findler
On Thu, Jul 12, 2012 at 1:28 PM, Matthias Felleisen matth...@ccs.neu.edu wrote: On Jul 12, 2012, at 2:19 PM, Robby Findler wrote: On Thu, Jul 12, 2012 at 1:14 PM, Matthias Felleisen matth...@ccs.neu.edu wrote: Robby, could you share w/ us why you don't like the tool designation

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

2012-07-12 Thread Robby Findler
On Thu, Jul 12, 2012 at 3:57 PM, Matthias Felleisen matth...@ccs.neu.edu wrote: All I regret is that we have a very shallow structure now, and I think it would have helped if we had stuck to about a dozen or so categories after all. I think the modern experience is that a flat hierarchy (or

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

2012-07-11 Thread Robby Findler
, Robby Findler wrote: On Tue, Jul 10, 2012 at 10:41 PM, Eli Barzilay e...@barzilay.org wrote: 10 minutes ago, Robby Findler wrote: It is the future visualizer so I thought it belonged with the visualizer. No? (You mean ... belonged with the futures, right?) Right

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

2012-07-11 Thread Robby Findler
There are two pieces to the visualizer: one part extracts traces from a computation and the other part shows them. The trace-extraction part requires a connection to the runtime system and is, I believe, currently in racket/future/trace. Should that be moved into racket/future, or kept as a

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

2012-07-11 Thread Robby Findler
the visualizer, in which case `racket/future/trace' seems better than merging it into `racket/future'. But I still think that `future-visualizer/trace' is better for now, and it could be moved back out if there's ever actually another consumer of the library. At Wed, 11 Jul 2012 07:57:20 -0500, Robby

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

2012-07-11 Thread Robby Findler
Better than tools, IMO. How about perf? Ie, perf/future-visualizer and perf/optimization-coach/ ? Robby On Wed, Jul 11, 2012 at 10:10 AM, Vincent St-Amour stamo...@ccs.neu.edu wrote: (Performance) tuning? Vincent At Wed, 11 Jul 2012 10:04:46 -0500, Robby Findler wrote: tools seems like

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

2012-07-11 Thread Robby Findler
, and maybe other less pref-y things... On Jul 11, 2012 6:39 PM, Robby Findler ro...@eecs.northwestern.edu wrote: Better than tools, IMO. How about perf? Ie, perf/future-visualizer and perf/optimization-coach/ ? Robby On Wed, Jul 11, 2012 at 10:10 AM, Vincent St-Amour stamo...@ccs.neu.edu

Re: [racket-dev] [racket-bug] all/12861: promise/c does not maintain equality

2012-07-11 Thread Robby Findler
related to promise/c) On 2012-07-10 22:13:58 -0500, Robby Findler wrote: Note that this means the guard on there is now going to be gone (as it is meaningless since impersonators can arbitrarily change it). This is something that has confused me about impersonators on struct type property

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

2012-07-11 Thread Robby Findler
Not to be a PITA, but the buttons are huge and if they are now always there, we should be doing something different with the UI. The view menu would be my first suggestion for where this should go. Robby On Wed, Jul 11, 2012 at 11:40 AM, Vincent St-Amour stamo...@ccs.neu.edu wrote: At Wed, 11

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

2012-07-11 Thread Robby Findler
doesn't carry the same expectation (to me, at least). Vincent At Wed, 11 Jul 2012 10:39:53 -0500, Robby Findler wrote: Better than tools, IMO. How about perf? Ie, perf/future-visualizer and perf/optimization-coach/ ? Robby On Wed, Jul 11, 2012 at 10:10 AM, Vincent St-Amour stamo

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

2012-07-11 Thread Robby Findler
. Another option is to split the toolbar into two parts. Or have two dockable toolbars. I know that's more work for Robby... :D Neil ⊥ On 07/11/2012 10:03 AM, Robby Findler wrote: Not to be a PITA, but the buttons are huge and if they are now always there, we should be doing something

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

2012-07-11 Thread Robby Findler
the more substantial question will be how to reflect the information into the GUI in a way that doesn't fight with the check syntax information. Robby Neil ⊥ On 07/11/2012 10:47 AM, Robby Findler wrote: Well, how many of the things currently in the View menu are nify tools? The module browser

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

2012-07-11 Thread Robby Findler
Would tuning work? And can you say more about how the whackers made this distinction? Is the issues that optimizing things doesn't always improve performance... maybe? On Wed, Jul 11, 2012 at 12:53 PM, Matthias Felleisen matth...@ccs.neu.edu wrote: Keep in mind that we were whacked for using

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

2012-07-11 Thread Robby Findler
On Wed, Jul 11, 2012 at 7:12 PM, Matthias Felleisen matth...@ccs.neu.edu wrote: On Jul 11, 2012, at 7:18 PM, Robby Findler wrote: Would tuning work? They were correct, and you conjectured correctly. We conflated 'optimization' with 'performance gains.' As everyone knows who has been around

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

2012-07-11 Thread Robby Findler
the collection top-level tree here. On Jul 11, 2012, at 8:26 PM, Robby Findler wrote: I like coaching for the (formerly known as) performance report tool. A lot! I was suggesting tuning for the collection that would house the future visualizer and the performance coach and hopefully eventually

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

2012-07-11 Thread Robby Findler
That all makes sense to me (except, of course, that the futures visualizer has nothing to do with drracket. Were the docs not clear on this point somehow?) On Wed, Jul 11, 2012 at 10:06 PM, Eli Barzilay e...@barzilay.org wrote: Several randomly collected replies: * Re perf -- I dislike it

Re: [racket-dev] [racket] Insert Pict Box menu item not found in DrRacket

2012-07-10 Thread Robby Findler
Yes, I think that would be great. Which string constants specifically were you planning to remove? I should probably check that they aren't used on planet. Robby On Mon, Jul 9, 2012 at 7:53 PM, Asumu Takikawa as...@ccs.neu.edu wrote: On 2012-07-08 15:47:27 +0800, Grecks Grecks wrote: Hi, I

Re: [racket-dev] [racket] Insert Pict Box menu item not found in DrRacket

2012-07-10 Thread Robby Findler
Takikawa as...@ccs.neu.edu wrote: On 2012-07-10 07:20:59 -0500, Robby Findler wrote: Which string constants specifically were you planning to remove? I should probably check that they aren't used on planet. The `slideshow-insert-pict-box` constant doesn't appear to be used. There are also

Re: [racket-dev] [racket] Insert Pict Box menu item not found in DrRacket

2012-07-10 Thread Robby Findler
-0500, Robby Findler wrote: Version 1.2 of cdrswift.plt seems to use the slideshow-insert-pict-box string constant, but it is up to version 1.5 now. http://planet.racket-lang.org/display.ss?package=cdrswift.pltowner=dignatof Probably best to just leave them in for now. Should we

Re: [racket-dev] Deprecating collects

2012-07-10 Thread Robby Findler
On Tue, Jul 10, 2012 at 2:39 PM, Matthew Flatt mfl...@cs.utah.edu wrote: At Tue, 10 Jul 2012 15:30:33 -0400 (EDT), Asumu Takikawa wrote: - combinator-parser [...] - test-box-recovery [...] - tex2page [...] These seem fine with me, because I think they have no current users. We've had

Re: [racket-dev] Deprecating collects

2012-07-10 Thread Robby Findler
On this front, this-expression-source-directory is, for nearly all purposes, worse than define-runtime-path. Robby On Tue, Jul 10, 2012 at 5:54 PM, Vincent St-Amour stamo...@ccs.neu.edu wrote: At Tue, 10 Jul 2012 18:44:28 -0400, Neil Van Dyke wrote: I'm still using some mzlib in *new* code.

Re: [racket-dev] Deprecating collects

2012-07-10 Thread Robby Findler
Right, of course you're right. On Tue, Jul 10, 2012 at 7:32 PM, Matthew Flatt mfl...@cs.utah.edu wrote: At Tue, 10 Jul 2012 16:20:16 -0500, Robby Findler wrote: On Tue, Jul 10, 2012 at 2:39 PM, Matthew Flatt mfl...@cs.utah.edu wrote: At Tue, 10 Jul 2012 15:30:33 -0400 (EDT), Asumu Takikawa

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

2012-07-10 Thread Robby Findler
It is the future visualizer so I thought it belonged with the visualizer. No? Alternative suggestions welcome. Robby On Tue, Jul 10, 2012 at 9:34 PM, Eli Barzilay e...@barzilay.org wrote: This commit adds a bad dependency from the core to framework. Fixing it is probably not hard, but it

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

2012-07-10 Thread Robby Findler
On Tue, Jul 10, 2012 at 10:41 PM, Eli Barzilay e...@barzilay.org wrote: 10 minutes ago, Robby Findler wrote: It is the future visualizer so I thought it belonged with the visualizer. No? (You mean ... belonged with the futures, right?) Right. :) Alternative suggestions welcome. I think

Re: [racket-dev] Need a clarification on the implementation of stream-map

2012-07-08 Thread Robby Findler
I'm not sure about the rationale behind the design of stream-map, but any as a result contract for a function indicates it may return multiple values (in the range of a function any is a special keyword). any/c is a contract for a single value. Robby On Sun, Jul 8, 2012 at 6:25 AM, Daniel King

Re: [racket-dev] promise vs polym contracts

2012-07-06 Thread Robby Findler
What do you do if you have a function that accepts either promises or lists? Then, you might want total predicates. Robby On Fri, Jul 6, 2012 at 2:22 PM, Matthias Felleisen matth...@ccs.neu.edu wrote: I just realized that Racket already suffers from the problem that polymorphic contracts

Re: [racket-dev] promise vs polym contracts

2012-07-06 Thread Robby Findler
it.) Robby On Fri, Jul 6, 2012 at 4:53 PM, Matthias Felleisen matth...@ccs.neu.edu wrote: I can't think of such a primitive other than force, for which it is okay. Can you be concrete? On Jul 6, 2012, at 5:16 PM, Robby Findler wrote: What do you do if you have a function that accepts either

Re: [racket-dev] Sublinear functions of superfloat numbers

2012-07-03 Thread Robby Findler
On Tue, Jul 3, 2012 at 9:54 AM, Matthew Flatt mfl...@cs.utah.edu wrote: I think the general rule, if you could call it a rule, has been try harder when it seems useful for something. A good one to live by. :) Robby _ Racket Developers list:

Re: [racket-dev] Trouble with state, submodules, and module-begin

2012-07-02 Thread Robby Findler
Is it possible there is another channel that TR could use to communicate these types? That is, could it not expand (: f Integer) (define f 5) into something that bound 'f' to a macro that knows its type? I guess it already does that, so something doesn't work about that here, but I'm not

Re: [racket-dev] Proposal for a no-argument

2012-07-01 Thread Robby Findler
If you're only going to use in keyword arguments (and optional arguments), you could make it an error to touch the value, unless it gets touched by a special predicate that checks for its existence. That is, in (define (f #:x [x]) ...) (where I'm saying that leaving off the default value means

Re: [racket-dev] Sublinear functions of superfloat numbers

2012-07-01 Thread Robby Findler
-double-flonum x)))]         ...)) On 07/01/2012 04:04 PM, Robby Findler wrote: 3. Can you explain the issue again, using smaller words? (I think I understand the first example, but then I'm lost.) Robby On Sun, Jul 1, 2012 at 5:02 PM, Matthias Felleisen matth...@ccs.neu.edu wrote: 1

Re: [racket-dev] math collection [was: Hyperbolic functions]

2012-06-28 Thread Robby Findler
in that direction. 3 Jay On Tue, Jun 26, 2012 at 10:10 PM, Robby Findler ro...@eecs.northwestern.edu wrote: Consider me done! Robby On Tue, Jun 26, 2012 at 11:05 PM, Neil Toronto neil.toro...@gmail.com wrote: I haven't got a clue what you two are arguing about anymore. If you both stop

<    1   2   3   4   5   6   7   8   9   10   >