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

2012-10-23 Thread Robby Findler
Danny: I'm thinking that we should probably leave this in the checklist, like other important things that are tested automatically. Running the tests "by hand" once at release time seems just like an extra, comforting step. Robby On Mon, Oct 22, 2012 at 5:21 PM, Danny Yoo wrote: >> * Danny Yoo

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

2012-10-21 Thread Robby Findler
, Oct 21, 2012 at 6:55 PM, Harry Spier 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 > wrote: >> I realize this sounds like I

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

2012-10-21 Thread Robby Findler
I realize this sounds like I'm just passing the buck, but in that particular configuration, can't you do something at the OS level to make the two monitors both be readable at the same font size? (Ie, won't you have this problem with every app, not just DrRacket?) Robby On Sun, Oct 21, 2012 at 10

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 wrote: > Wasn't there a decision to keep `racket/package' where it is instead > of moving it to `compatibility'? > > --

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

2012-10-18 Thread Robby Findler
rom Windows that "DrRacket.exe has > stopped working". Only option I get is to close the program. > > Kathi > > On Thu, Oct 18, 2012 at 9:07 AM, Robby Findler > wrote: >> Do you get a message saying that it has crashed from the OS, or does >> it just disapp

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 wrote: > Do you get a message saying that it has crashed from the OS, or does &

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 w

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 wrote: > * Robby Findler > - DrRacket Tests > - Framework Tests > - Contracts Tests > - Games Tests > - Teachpacks Tests: image tests > - PLaneT Tests > - Redex Tests > Updates: > - DrRacket Updat

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 > > > wrote: > >>> Another data point: If "define/match" expands to a "define" of a > procedure > >>> that dispatches to a set of implementations based on a pa

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, El

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

2012-10-16 Thread Robby Findler
Besides what Eli says, another approach is to run 'raco setup -Dxi' after getting things out of perforce. That uses hashes for the files to determine what to compile (so nothing will get compiled if the zos are actually right), but it updates the timestamps (so racket won't get confused). This is p

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

2012-10-15 Thread Robby Findler
On Mon, Oct 15, 2012 at 7:59 PM, Dan Liebgold wrote: > On Mon, Oct 15, 2012 at 5:23 PM, Matthew Flatt 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 distributing using Perfor

Re: [racket-dev] Typed units?

2012-10-08 Thread Robby Findler
On Mon, Oct 8, 2012 at 11:42 AM, Neil Toronto wrote: > I currently have a function > > array-fft : (Array Complex) -> (Array Float-Complex) > > courtesy Robby and James. I'd also eventually like Not an answer, but I believe this is mostly courtesy Vincent. :) Robby _

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

2012-10-06 Thread Robby Findler
On Sat, Oct 6, 2012 at 8:35 AM, Sam Tobin-Hochstadt wrote: > On Sat, Oct 6, 2012 at 9:25 AM, Robby Findler > wrote: >> On Sat, Oct 6, 2012 at 8:21 AM, Sam Tobin-Hochstadt >> wrote: >>> On Fri, Oct 5, 2012 at 10:28 PM, Robby Findler >>> wrote: >>>&

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 wrote: > On Fri, Oct 5, 2012 at 10:28 PM, Robby Findler > wrote: >> On Fri, Oct 5, 2012 at 8:55 PM, Eli Barzilay wrote: >>> A few minutes ago, Sam Tobin-Hochstadt wrote: >>>> On Oct 5, 2012 9:16 PM, "

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 wrote: > A few minutes ago, Sam Tobin-Hochstadt wrote: >> On Oct 5, 2012 9:16 PM, "Eli Barzilay" wrote: >> > >> > 10 minutes ago, Robby Findler wrote: >> > > Oh, right. Duh. >> > > >

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 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 distribut

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 wrote: > 20 minutes ago, Robby Findler wrote: >> Why doe

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 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 #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% collec

Re: [racket-dev] Falling through cond clauses

2012-10-02 Thread Robby Findler
completely wrong.) Robby > Carl Eastlund > > > On Tue, Oct 2, 2012 at 10:36 AM, Robby Findler > wrote: >> >> IIRC, we even experimented with this one briefly and quickly gave up >> as we got overwhelmed. >> >> Robby >> >> On Tue, Oct 2, 201

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 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 change for `cond'

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 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, and answers: > >

Re: [racket-dev] Dracula development

2012-09-24 Thread Robby Findler
Thanks for the update, Carl. As one datapoint, I'm quite sure that your experience with planet has help us understand how to build a better one. Jay knows more, but from my point of view your experience and dog-food eating were a huge help. Thanks. Robby On Mon, Sep 24, 2012 at 6:26 PM, Carl Eas

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

2012-09-15 Thread Robby Findler
y 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 wrote: > At Fri, 14 Sep 2012 23:45:43 -0500, > Robby Findler wrote: >> The original message in this thread suggests that there is

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

2012-09-14 Thread Robby Findler
ors and not typed f32 vectors. > > Jay > > On Fri, Sep 14, 2012 at 11:28 AM, Robby Findler > 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

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 wrote: > 5 hours ago, Carl Eastlund wrote: >> >> Has this been brought up before? I can't recall. Does anyone else >> run into the same issue? > > (I t

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 wrote: > > On Sep 12, 2012, at 1:03 PM, Jay McCarthy wrote: > >> On Wed, Sep 12, 2012 at 8:31 AM, Neil Toronto wrote: >>> Compat

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 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 > that I wante

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 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 contain > single-

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 (cur

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 >>

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 wrote: > Thanks. > > I've been using it for a little while now an

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 u

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

2012-08-27 Thread Robby Findler
not sure it would work well for > structs. > > Vincent > > > At Mon, 27 Aug 2012 10:15:04 -0500, > Robby Findler wrote: > > > > Would you need a "and is not a substruct?" predicate to make such things > work? > > > > Robby > > > >

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 wrote: > TR's complex number optimizations eliminate repeated boxing and unboxing > in chains of operations that each consume and produce complex numbers. > > S

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 wrote: > A lot of macros start by renaming s

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 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, usi

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 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 thi

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

2012-08-22 Thread Robby Findler
gt;(side-condition (⊢ e τ)) >(side-condition (printf "τ = ~a\n" (term τ)))]) > > > Welcome to DrRacket, version 5.3.0.16 [3m]. > Language: racket [custom]. >> (term (test 1 int)) > τ = int > 1 >> (term (test 1 bool)) > . . plt/collects/redex/private/e

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 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

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
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] #: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 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 > implements it. I

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 wrote: > > Hi All; > > We're currently trying

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

2012-08-18 Thread Robby Findler
w/o changing R. So perhaps there is > a way 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" argumen

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] [plt] Push #25220: master branch updated

2012-08-16 Thread Robby Findler
On Thu, Aug 16, 2012 at 7:31 PM, Neil Toronto 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 > entire board when

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 wrote: > More generally, this is a case where you want some form of negation > (plus bounded polymorphism) in the type system, but that's not >

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 wrote: > On Fri, Aug 3, 2012 at 5:06 PM, Robby Findler > wrote: >> That's how it always worked, I'm pretty sure. A simple experiment >> seems to confirm: >> >> /Applicati

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 wr

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 wrote: > Yesterday, Vincent St-Amour wrote: >> At Tue, 31 Jul 2012 07:4

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 wrote: > On 08/01/2012 05

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 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 > wrote: >> >

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 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 discuss

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 wrote: > On Wednesday, August 1, 2012, Robby Findler wrote: >> >> On Wed, Aug 1, 2012 at 8:44 AM, Sam Tobin-Hochstadt >> wrote: >> >> The following have been deprecated and will be removed in the >> >

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 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 discuss

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 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 > Assistant Professor / Brigham

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 wrote: > > Hi All; > > We're currently trying to figure out the right way to handle a name > conflict in Debian between racket and an rss aggre

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 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 haven't ye

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, wrote: > clements has updated `master' from 2dcf060774 to 8ba976c035. > http://git.racket-lang.org/plt/2dcf060774..8ba976c035 > > =[ One Commit ]==

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, continuation-mar

Re: [racket-dev] Best way to handle duplicate identifiers

2012-07-25 Thread Robby Findler
I think you're best off to release a new version of the science collection and make it require 5.3 as the minimum version (one that differs from the currently released one only by sorting out this conflict). I'm not sure which version of nan? and infinte? are the right ones, tho. Robby On Wednesd

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 wrote: > * Robby Findler > - DrRacket Tests > - Framework Tests > - Contracts Tests > - Games Tests > - Teachpacks Tests: image tests > - PLaneT Tests > - Redex Tests > Updates: > - DrRacket Updat

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 wrote: > On Sun, Jul 22, 2012 at 4:15 PM, Robby Findler > 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] 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] 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 Fri, Jul 20, 2012 at 9:48 AM, Eli Barzilay 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. > >

Re: [racket-dev] props script

2012-07-20 Thread Robby Findler
working props script. Robby On Thu, Jul 19, 2012 at 7:16 PM, Robby Findler 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 respo

[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] 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 wrote: > Two hours ago, Robby Findler wrote: >> I looked at this a little bit and it appears to be a bug in >> version/utils, specifical

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 wrote: > Hello, > > Racket 5.3 release branch doesn't build on N

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 wrote: > On Wed, Jul 18, 2012 at 9:28 AM, Robby Findler > wrote: >> In addition to making a GUI program, eg: >> >> #lang rack

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 severa

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 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 perhaps one with fo

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 wrote: > > On Jul 12, 2012, at 2:19 PM, Robby Findler wrote: > >> On Thu, Jul 12, 2012 at 1:14 PM, Matthias Felleisen >> wrote: >>> >>> Robby, could you share w/ us why you don't like the tool designa

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 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? - I think the creat

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 wrote: > Several randomly collected replies: > > * Re "perf" -- I dislike it because it's easy

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

2012-07-11 Thread Robby Findler
a chance to thin out 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 woul

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

2012-07-11 Thread Robby Findler
ay too.) Robby On Wed, Jul 11, 2012 at 7:12 PM, Matthias Felleisen 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 

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 wrote: > > Keep in mind that we were whacked for using 'performance' when

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

2012-07-11 Thread Robby Findler
re 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

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

2012-07-11 Thread Robby Findler
can have the same is/does distinction. > > 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,

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

2012-07-11 Thread Robby Findler
hint' to be there. "Tuning" > 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/f

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 wrote: > At Wed, 11 Jul 2012 09:37:19 -07

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

2012-07-11 Thread Robby Findler
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 impersona

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

2012-07-11 Thread Robby Findler
other less pref-y things... > > On Jul 11, 2012 6:39 PM, "Robby Findler" > wrote: >> >> Better than "tools", IMO. How about "perf"? Ie, perf/future-visualizer >> and perf/optimization-coach/ ? >> >> 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 wrote: > (Performance) tuning? > > Vincent > > > At Wed, 11 Jul 2012 10:04:46 -0500, > Robby

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

2012-07-11 Thread Robby Findler
tools seems like too generic of a word. Is there something like "performance-debugging" that isn't so long? Robby On Wed, Jul 11, 2012 at 9:58 AM, Vincent St-Amour wrote: > At Wed, 11 Jul 2012 01:33:02 -0400, > Eli Barzilay wrote: >> Or maybe add a new "tools" collection for other similar things

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

2012-07-11 Thread Robby Findler
nt to keep the trace support available > separate from 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 ev

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 separat

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

2012-07-11 Thread Robby Findler
>> An hour and a half ago, Robby Findler wrote: >> > On Tue, Jul 10, 2012 at 10:41 PM, Eli Barzilay wrote: >> > > >> > > 10 minutes ago, Robby Findler wrote: >> > >> It is the future visualizer so I thought it belonged with the >> > >

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 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. :) >> Alte

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 wrote: > This commit adds a bad dependency from the core to framework. Fixing > it is probably not hard, but it leads to an obvious

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 wrote: > At Tue, 10 Jul 2012 16:20:16 -0500, Robby Findler wrote: >> On Tue, Jul 10, 2012 at 2:39 PM, Matthew Flatt wrote: >> > At Tue, 10 Jul 2012 15:30:33 -0400 (EDT), Asumu Takikawa wrote: &g

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 wrote: > At Tue, 10 Jul 2012 18:44:28 -0400, > Neil Van Dyke wrote: >> I'm still using some "mzlib" in *new* code. Specifically, "

Re: [racket-dev] Deprecating collects

2012-07-10 Thread Robby Findler
On Tue, Jul 10, 2012 at 2:39 PM, Matthew Flatt 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 enough versio

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

2012-07-10 Thread Robby Findler
I was thinking along similar lines. But maybe it would be helpful to do this for all of the unused string-constants in the tree? We could even move them into a planet package now. Robby On Tue, Jul 10, 2012 at 10:54 AM, Vincent St-Amour wrote: > At Tue, 10 Jul 2012 09:13:24 -0500, >

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

2012-07-10 Thread Robby Findler
sumu Takikawa 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.

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