Re: [racket-dev] scribble tables with centered cells

2010-06-15 Thread Robby Findler
I think that's slideshow. Robby On Tue, Jun 15, 2010 at 10:24 AM, Stephen Chang stch...@ccs.neu.edu wrote: This seems to do the trick: (table 3        (list (t Header1) (t Header2) (t Header3)              (t 11) (t 17) (t 29))        cc-superimpose        cc-superimpose        gap-size

Re: [racket-dev] [plt-edu] Re: TeachScheme! wikipedia page update

2010-06-16 Thread Robby Findler
!Program!Design ? Robby On Wed, Jun 16, 2010 at 8:43 PM, Matthias Felleisen matth...@ccs.neu.edu wrote: Someone proposed  DesignPrograms or  DesignPrograms!!  (as in don't program without design) Comments? _  For list-related

[racket-dev] Fwd: [shootout-Feature Requests][312552] Scheme PLT should be renamed to Racket

2010-06-18 Thread Robby Findler
I think you missed the require line. It is using unsafe-fl+ for example. Robby On Friday, June 18, 2010, Vincent St-Amour stamo...@ccs.neu.edu wrote: At Fri, 18 Jun 2010 08:38:24 -0500, Robby Findler wrote: We're talking about this code, right? http://shootout.alioth.debian.org/u32

Re: [racket-dev] Fwd: [shootout-Feature Requests][312552] Scheme PLT should be renamed to Racket

2010-06-18 Thread Robby Findler
On Fri, Jun 18, 2010 at 10:41 AM, Vincent St-Amour stamo...@ccs.neu.edu wrote: The slowdown observed on the shootout webpage, since it's based on mandelbrot-unsafe.rkt, could thus be caused by the upgrade to 5.0. I'm not sure where to get the mandlebrot-unsafe.rkt that was distributed with

Re: [racket-dev] PLaneT and proxies

2010-06-20 Thread Robby Findler
So, going forward, what is the right thing? Is there something simple we can do for now so that Norman can use planet on his school's network, or should we wait for the net/url rewrite? Thanks, Robby On Sun, Jun 20, 2010 at 4:53 PM, Eli Barzilay e...@barzilay.org wrote: [Moving the thread to

Re: [racket-dev] RFC: provide via mutation

2010-06-21 Thread Robby Findler
On Mon, Jun 21, 2010 at 2:44 PM, Sam Tobin-Hochstadt sa...@ccs.neu.edu wrote: On Mon, Jun 21, 2010 at 3:24 PM, Robby Findler ro...@eecs.northwestern.edu wrote: I don't quite get the issues yet, but why should this type check? Doesn't it add1 to a function? No, the function is invoked: (add1

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

2010-06-24 Thread Robby Findler
Were the contracts - and/or -*, or were they -d? Robby On Wed, Jun 23, 2010 at 5:12 PM, Sam Tobin-Hochstadt sa...@ccs.neu.edu wrote: On Wed, Jun 23, 2010 at 4:14 PM,  e...@racket-lang.org wrote: 3f36d05 Eli Barzilay e...@barzilay.org 2010-06-23 16:10 : | Turn contracts on `enqueue!' and

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

2010-06-26 Thread Robby Findler
It should be set by the 'configure-runtime thunk (from module-language-info), right? (I'm not sure about the bug, tho.) Robby On Sat, Jun 26, 2010 at 8:47 AM, Jay McCarthy jay.mccar...@gmail.com wrote: Just using the core of even-read didn't work. It would start to read after parse-statement

Re: [racket-dev] proposal: `data' collection

2010-07-01 Thread Robby Findler
This sounds like a good plan to me. Taking a month to think thru the issues carefully to plan the talk can only have good consequences for the discussion. And delaying the solution for the release after August does not seem like it hurts anything. Robby On Wed, Jun 30, 2010 at 9:34 PM, Matthias

Re: [racket-dev] proposal: `data' collection

2010-07-02 Thread Robby Findler
Those numbers seem pretty small in today's disk sizes, but I do agree that there is value in being able to divide up the distribution and to be able to stratify things so we can better keep track of our dependencies. (BTW, just a random question: have you thought about trying to visualize the

Re: [racket-dev] Parallel Build of Collects

2010-07-02 Thread Robby Findler
Great! Robby On Fri, Jul 2, 2010 at 3:44 PM, Kevin Tew t...@cs.utah.edu wrote: raco setup -u will build collects in parallel, using all the cores your machine has. rack setup -u -j X ie (-j 2) can be used to throttle parallel build to only use X cores. Parallel build is currently done by

Re: [racket-dev] Parallel Build of Collects

2010-07-02 Thread Robby Findler
I'm getting this: [ro...@penghu] ~/git/plt/collects$ raco setup -u /Users/robby/git/exp/plt/bin/raco setup: unknown switch: -u Robby On Fri, Jul 2, 2010 at 3:44 PM, Kevin Tew t...@cs.utah.edu wrote: raco setup -u will build collects in parallel, using all the cores your machine has. rack

Re: [racket-dev] self-documenting feature

2010-07-19 Thread Robby Findler
Sure, but if we have the manpower/energy for this, then it would be nice to have, no? (We'd probably do something syntactically and not via runtime values, but the essential idea seems like it would carry over.) Robby On Mon, Jul 19, 2010 at 11:05 AM, Matthias Felleisen matth...@ccs.neu.edu

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

2010-07-19 Thread Robby Findler
On Mon, Jul 19, 2010 at 9:47 AM, Ryan Culpepper ry...@ccs.neu.edu wrote: * Robby Findler ro...@eecs.northwestern.edu  - DrRacket Tests These discovered a bug. So, not yet done, I guess.  - Framework Tests  - Contracts Tests  - Games Tests  - Teachpacks Tests: image tests  - PLaneT Tests

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

2010-07-23 Thread Robby Findler
Chaperones are not yet, I'd say. Flipping was the frequently requested 2htdp/image thing that's new in this release (I think it is new anyways). Not just bitmaps, but all 2htdp/images. On Fri, Jul 23, 2010 at 7:19 PM, Eli Barzilay e...@barzilay.org wrote: Some suggested items below, if you have

Re: [racket-dev] haskell's 'hell of a lot of libraries', planet

2010-07-27 Thread Robby Findler
I looked at the message where you link and I didn't see how one would go about this. I guess the idea is that you'd eliminate the syntactic difference between a planet-located library and one in the distribution and then require on some external source to know where the package is located?

Re: [racket-dev] P4P: A Syntax Proposal

2010-07-28 Thread Robby Findler
Sounds like a great idea to me and well worth trying at a larger scale. One technical question: why not implement this as a reader that converts things to the usual parenthesized versions of the program and then, like the at-exp reader, allow people to write #lang p4p-exp racket for the p4p

Re: [racket-dev] P4P: A Syntax Proposal

2010-07-29 Thread Robby Findler
Okay, I just looked that up and I'm still not sure what you mean. :) Robby On Thu, Jul 29, 2010 at 1:09 PM, Shriram Krishnamurthi s...@cs.brown.edu wrote: I disagree.  I think parens are synecdoche. Shriram On Thu, Jul 29, 2010 at 1:28 PM, Robby Findler ro...@eecs.northwestern.edu wrote

Re: [racket-dev] P4P: A Syntax Proposal

2010-07-30 Thread Robby Findler
On Fri, Jul 30, 2010 at 4:05 AM, Eli Barzilay e...@barzilay.org wrote: IMO, this thing is missing the point (the usual parens, ewww! one), as long as it ignores infix. Seems to me that this point directly contradicts one of Shriram's design goals, namely showing that + is no more special than

Re: [racket-dev] P4P: A Syntax Proposal

2010-07-30 Thread Robby Findler
)? This would be a special purpose mode where there is some simple rule that distinguishes infix operators from prefix ones (perhaps something like Haskell's convention)? Robby On Fri, Jul 30, 2010 at 9:05 AM, Eli Barzilay e...@barzilay.org wrote: On Jul 30, Robby Findler wrote: On Fri, Jul 30, 2010 at 4

Re: [racket-dev] Regher continues his excellent tutorial on undefined behavior language specifications

2010-07-30 Thread Robby Findler
, 2010 at 12:39 PM, Robby Findler ro...@eecs.northwestern.edu wrote: Here's parts 2:  http://blog.regehr.org/archives/232 and 3:  http://blog.regehr.org/archives/226 and if you missed part 1, you should really check it out:  http://blog.regehr.org/archives/213 Robby

Re: [racket-dev] multiple key-press

2010-07-30 Thread Robby Findler
Looks like it would make a nice, involved exercise if you told the students what the right world type should be. Did you consider making the world be a list of keys and a posn (inserting and removing from the list in the key handler and interpreting the list of keys in the tick handler)? Robby

Re: [racket-dev] Closes PR 11062

2010-07-31 Thread Robby Findler
Right. It should be fixed now, tho. Thanks, Robby On Fri, Jul 30, 2010 at 10:06 PM, Matthias Felleisen matth...@ccs.neu.edu wrote: Robby, this fix does NOT change the problematic coverage of structures. Fields are still colored as if they had never been evaluated. On Jul 30, 2010, at 1:16

Re: [racket-dev] using the Y combinator to...

2010-07-31 Thread Robby Findler
The use of the Y combinator (as opposed to the built-in forms of recursion) seems to be hacking around the ability for Ruby methods to be redefined more than anything? Robby On Sat, Jul 31, 2010 at 8:54 PM, Shriram Krishnamurthi s...@cs.brown.edu wrote: ...provide a mis-feature that the

Re: [racket-dev] can racket-lang.org survive a slashdotting?

2010-08-01 Thread Robby Findler
On Sun, Aug 1, 2010 at 4:49 PM, Eli Barzilay e...@barzilay.org wrote: On Aug  1, Neil Van Dyke wrote: Can the racket-lang.org Web server(s) handle a huge spike in traffic, such as if it got on the front page of reddit.com? I don't have any concrete idea, but it's running on an old but still

Re: [racket-dev] new release policy

2010-08-12 Thread Robby Findler
On Thu, Aug 12, 2010 at 7:55 AM, Matthew Flatt mfl...@cs.utah.edu wrote: At Thu, 12 Aug 2010 07:28:34 -0400, Eli Barzilay wrote: One thing about stability that bugs me is pushing changes and extensions that are likely to change.  For example, I'm worried about Jay's push for a number of new

Re: [racket-dev] Added Sierpinski example to wikipedia page

2010-08-16 Thread Robby Findler
On Mon, Aug 16, 2010 at 8:51 PM, John Clements cleme...@brinckerhoff.org wrote: ...then I added the sierpinski example from the racket-lang front page.  I'm hoping that whoever wrote this code will either not object, or change it. I wrote an early version of it and certainly don't object or

Re: [racket-dev] RFC: Coding Guidelines

2010-08-19 Thread Robby Findler
On Thu, Aug 19, 2010 at 8:44 AM, Sam Tobin-Hochstadt sa...@ccs.neu.edu wrote: On Tue, Aug 17, 2010 at 3:57 PM, Jay McCarthy jay.mccar...@gmail.com wrote: Please comment. I think that this: Your first task when changing old code is to build an adequate test suite to ensure you do not

Re: [racket-dev] RFC: Coding Guidelines

2010-08-19 Thread Robby Findler
Shriram: tests do not guarantee the absence of bugs, just their recurrence. There are lots of PLAI tests, I believe. Robby On Thu, Aug 19, 2010 at 8:56 AM, Shriram Krishnamurthi s...@cs.brown.edu wrote: Neither would the PLT Web server.  I'm pretty certain Jay's own edits to it were not

Re: [racket-dev] RFC: Coding Guidelines

2010-08-19 Thread Robby Findler
programming project in its own right. DrRacket is in that category, but I spend some energy writing and maintaining test suites for it regardless (they are FAR from comprehensive). Slideshow is in that category too. Robby On Thu, Aug 19, 2010 at 8:55 AM, Robby Findler ro...@eecs.northwestern.edu wrote

Re: [racket-dev] RFC: Coding Guidelines

2010-08-19 Thread Robby Findler
On Thu, Aug 19, 2010 at 9:01 AM, Sam Tobin-Hochstadt sa...@ccs.neu.edu wrote: On Thu, Aug 19, 2010 at 9:48 AM, Robby Findler ro...@eecs.northwestern.edu wrote: On Thu, Aug 19, 2010 at 8:44 AM, Sam Tobin-Hochstadt sa...@ccs.neu.edu wrote: On Tue, Aug 17, 2010 at 3:57 PM, Jay McCarthy

Re: [racket-dev] RFC: Coding Guidelines

2010-08-19 Thread Robby Findler
, Matthias Felleisen matth...@ccs.neu.edu wrote: Yes. I started using the phrase I have bug reports, therefore I exist at Rice. I think Jay should add this phrase right next to the other quote. On Aug 19, 2010, at 10:03 AM, Robby Findler wrote: Guys: we need one more thing to go

Re: [racket-dev] [racket] Long compilation+launch times

2010-08-24 Thread Robby Findler
Oh yeah, that's what I figured (and why there was such a long delay before my change), but I thought I'd reply here since that's where this came up most recently. Robby On Tue, Aug 24, 2010 at 9:56 AM, Laurent laurent.ors...@gmail.com wrote: On Tue, Aug 24, 2010 at 16:46, Robby Findler ro

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

2010-08-25 Thread Robby Findler
Robby Findler ro...@racket-lang.org 2010-08-25 07:39 : | added a file so drdr runs the test suites :  A collects/redex/examples/r6rs/run-test.rkt =[ Overall Diff ]=== collects/redex/examples/r6rs/run-test.rkt

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

2010-08-25 Thread Robby Findler
summary:  100.0% collects/redex/examples/r6rs/ ~~ cda3d25 Robby Findler ro...@racket-lang.org 2010-08-25 07:39 : | added a file so drdr runs the test suites :  A collects/redex/examples/r6rs/run-test.rkt =[ Overall Diff ]=== collects

Re: [racket-dev] ~e vs ~.s

2010-08-26 Thread Robby Findler
When I tried to do that to look thru your changes to the framework, I was overwhelmed with all the reindentation that you did. Is there a way to avoid seeing that? Robby On Wed, Aug 25, 2010 at 8:53 PM, Eli Barzilay e...@barzilay.org wrote: On Aug 25, Eli Barzilay wrote: [...]  If I touched

Re: [racket-dev] stepper UI question

2010-08-26 Thread Robby Findler
I can see how to do what Mattgias is suggesting at the snip level (so not as bad as I made out) but you won't get nested scroll bars so you might not like it. Robby On Thursday, August 26, 2010, Shriram Krishnamurthi s...@cs.brown.edu wrote: Understood.  But I think this is what Robby is saying

Re: [racket-dev] printing images in REPL

2010-08-26 Thread Robby Findler
At the moment there is a barn-door sized security hole in DrRacket, whereby it will take any snip% instance from the user's program and just display it in the repl. You can exploit this for Good by making the current-print of your language turn some values into snips (like images and things).

Re: [racket-dev] stepper UI question

2010-08-26 Thread Robby Findler
design. Shriram On Thu, Aug 26, 2010 at 8:27 PM, Robby Findler ro...@eecs.northwestern.edu wrote: It seems to me it would be nice to contemplate a design that integrates test suites and the stepper (also in light of Mike's signatures). Robby On Thu, Aug 26, 2010 at 7:23 PM, Shriram

Re: [racket-dev] printing images in REPL

2010-08-28 Thread Robby Findler
-ref config 1)) (vector-ref config 2 where get-info comes from read-language. And yes, this is on my list to add to the guide-like docs in the tools manual. hth, Robby On Sat, Aug 28, 2010 at 8:49 PM, Robby Findler ro...@eecs.northwestern.edu wrote: Did you forget

Re: [racket-dev] Redex bg color

2010-08-31 Thread Robby Findler
Thanks. That's been fixed in git. Here's the diff if you don't follow the nightly builds (after applying it, run raco setup). diff --git a/collects/redex/private/stepper.rkt b/collects/redex/private/stepper.rkt index 4338eb2..1775d6b 100644 --- a/collects/redex/private/stepper.rkt +++

Re: [racket-dev] Universe double buffering

2010-09-02 Thread Robby Findler
It sounds like there is also a performance problem there too. If you don't mind supplying a program for us to play with to see if we can do better, that would be helpful (but no promises ). Robby On Thu, Sep 2, 2010 at 8:15 AM, Nadeem Abdul Hamid nad...@acm.org wrote: Why do you think it

Re: [racket-dev] Universe double buffering

2010-09-02 Thread Robby Findler
What happens if you restart drracket and try the same program again? (If the double buffering appears to come back I think I know what happened.) Robby On Thu, Sep 2, 2010 at 8:15 AM, Nadeem Abdul Hamid nad...@acm.org wrote: Why do you think it doesn't? (I'm assuming you mean: What makes me

Re: [racket-dev] [plt-dev] 2htdp/image: Where oh where have my pinholes gone?

2010-09-06 Thread Robby Findler
Returning to an old thread, I've just pushed changes to 2htdp/image that add pinholes. If Carl or anyone else has enough interest to try them out, feedback would be welcome. Ian and I went with a similar plan, but not exactly what Carl suggested. Robby

Re: [racket-dev] [racket-bug] all/11166: stepper index off by one

2010-09-07 Thread Robby Findler
The search command got changed a little while ago, I think. :) But I think you should got from 1/n to n/n. (The text search is a little more complex because you can be before or after the first / last hit.) Robby On Tue, Sep 7, 2010 at 2:34 PM, John Clements cleme...@brinckerhoff.org wrote:

Re: [racket-dev] Q. about live snips

2010-09-07 Thread Robby Findler
You can do that, but you need to start by making your own derived snip% instance. There's a lot of boilerplate that goes into those things, tho. Robby On Tue, Sep 7, 2010 at 5:39 PM, John Clements cleme...@brinckerhoff.org wrote: I'm writing code for beginners that produces sound values.  I'd

Re: [racket-dev] drracket fails N times during start up

2010-09-09 Thread Robby Findler
Yes, that's a bug in -i. Working on it. Sorry, Robby On Thu, Sep 9, 2010 at 8:08 PM, Matthias Felleisen matth...@ccs.neu.edu wrote: I built drrackt from scratch tonight around 7:30. When I started it up, I got the following N error message. Error in phase 2 for tool

Re: [racket-dev] drracket fails N times during start up

2010-09-09 Thread Robby Findler
This should be fixed now. Robby On Thu, Sep 9, 2010 at 8:15 PM, Robby Findler ro...@eecs.northwestern.edu wrote: Yes, that's a bug in -i. Working on it. Sorry, Robby On Thu, Sep 9, 2010 at 8:08 PM, Matthias Felleisen matth...@ccs.neu.edu wrote: I built drrackt from scratch tonight

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

2010-09-13 Thread Robby Findler
DrRacket doesn't yet have good tool support for such things, but it should at least look at the #lang line for indentation and probably will do that at some point (in which case the dialog will change to be letting you add things to what the #lang line specifies instead of just specifying

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

2010-09-13 Thread Robby Findler
But this is editing the user's preferences, not setting the defaults. Robby On Mon, Sep 13, 2010 at 3:52 PM, Eli Barzilay e...@barzilay.org wrote: On Sep 13, Robby Findler wrote: DrRacket doesn't yet have good tool support for such things, but it should at least look at the #lang line

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

2010-09-13 Thread Robby Findler
On Mon, Sep 13, 2010 at 4:18 PM, ry...@racket-lang.org wrote: a3d1ff4 Ryan Culpepper ry...@racket-lang.org 2010-09-09 17:29 : | added contracts (-i) to racket/dict :  M collects/racket/dict.rkt   |  190 -  M collects/unstable/dirs.rkt |   13 ++--

Re: [racket-dev] the new `racket/gui' --- now with bug reports

2010-09-14 Thread Robby Findler
On Sun, Sep 12, 2010 at 11:40 AM, Matthew Flatt mfl...@cs.utah.edu wrote: The code is still hosted here:   http://github.com/mflatt/gr2 This should be http://github.com/mflatt/gr2.git I believe. Robby _ For list-related administrative

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

2010-09-14 Thread Robby Findler
On Tue, Sep 14, 2010 at 9:13 AM, Eli Barzilay e...@barzilay.org wrote: Right -- this is why I suggested a simple extension: allow tools to change the default values.  Without that, the current situation is creating more implicit dependencies such as this commit. Do you think that this is

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

2010-09-17 Thread Robby Findler
Since you asked... probably the string-constants library should not be used for those error messages, since none of the other error messages are translated, but since they are already being used it seems fine to continue (at least to me). Robby _

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

2010-09-17 Thread Robby Findler
]== Directory summary:  10.1% collects/redex/private/  83.2% collects/redex/tests/bmps-macosx/   6.6% collects/redex/tests/ ~~ ce211ac Robby Findler ro...@racket-lang.org 2010-09-17 11:39 : | adjusted metafunction application rendering so

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

2010-09-18 Thread Robby Findler
You don't need that proxy-of test in there, right? The object-name test covers that, no? Robby On Fri, Sep 17, 2010 at 10:18 PM, sstri...@racket-lang.org wrote: sstrickl has updated `master' from d92c4e44e2 to 05e714881d.  http://git.racket-lang.org/plt/d92c4e44e2..05e714881d =[ 1

[racket-dev] the racket machine

2010-09-24 Thread Robby Findler
Hi folks: Casey, Matthew, and I have just sent out a paper to HOSC about the racket machine. I know there are a bunch of people working on things at that level, so if you have a chance to take a look at this, you might find it useful as you muck about down there (there are examples and things :).

Re: [racket-dev] the racket machine

2010-09-24 Thread Robby Findler
Yes. This is going to be a HOSC publication (HOSC willing). Robby On Fri, Sep 24, 2010 at 9:22 PM, Sam Tobin-Hochstadt sa...@ccs.neu.edu wrote: On Fri, Sep 24, 2010 at 3:48 PM, Robby Findler ro...@eecs.northwestern.edu wrote: I know there are a bunch of people working on things at that level

Re: [racket-dev] File is really large ( 5 MB), really open?

2010-09-26 Thread Robby Findler
Sure! Robby On Sun, Sep 26, 2010 at 11:14 AM, John Clements cleme...@brinckerhoff.org wrote: I accidentally opened a sound file in DrRacket today; cue six minutes of thrashing and computer unhappiness.  Would it be okay if I added a second-check dialog to DrRacket that checked the size of a

Re: [racket-dev] safe version of racket/unsafe/ops?

2010-09-27 Thread Robby Findler
How about prefix-in with unsafe- as the prefix? Robby On Monday, September 27, 2010, John Clements cleme...@brinckerhoff.org wrote: I'm sure I'm just missing something obvious here, but is there a library that provides things like unsafe-vector-length that are actually references to the

Re: [racket-dev] safe version of racket/unsafe/ops?

2010-09-28 Thread Robby Findler
, Robby Findler wrote: I was thinking of something like this: (require (prefix-in unsafe- racket/fixnum)) (unsafe-fx+ #f #f) fx+: expects type fixnum as 1st argument, given: #f; other arguments were: #f Right, but there are lots of unsafe-ops (e.g.: unsafe-vector-length); if I'm working

Re: [racket-dev] flonum vs. inexact-real

2010-10-02 Thread Robby Findler
Is there any value to, on a 64 bit machine, having 32 bit floats be immediate values to avoid boxing? Robby On Saturday, October 2, 2010, Matthew Flatt mfl...@cs.utah.edu wrote: Currently, every inexact real in Racket is represented by a 64-bit IEEE floating-point number. There's an

Re: [racket-dev] flonum vs. inexact-real

2010-10-03 Thread Robby Findler
Would it make sense for typed scheme to hook up with check syntax to show the type of subexpressions (say when mousing over parens or something)? I'm not sure if that's too late in general, but it seems like we're getting the point where we want to give programmers interactive feedback, at least

Re: [racket-dev] #:namespace

2010-10-04 Thread Robby Findler
It sounds like one could work around this by taking whatever was passed to #:namespace and making the servlets move over to that namespace, at least. Robby On Mon, Oct 4, 2010 at 8:28 AM, Jay McCarthy jay.mccar...@gmail.com wrote: I didn't realize the handin server used it when I removed it.

Re: [racket-dev] #true and #false

2010-10-08 Thread Robby Findler
Sounds great to me, fwiw. Robby On Fri, Oct 8, 2010 at 8:12 PM, Matthew Flatt mfl...@cs.utah.edu wrote: [Re-sending; an earlier post of this message seems to be delayed.] What if the default printing format for true and false values in Racket changed from `#t' and `#f' to `#true' and

Re: [racket-dev] #true and #false

2010-10-10 Thread Robby Findler
I probably wasn't clear enough in my original message, but I meant that to be a vote for #true and #false. Robby On Sun, Oct 10, 2010 at 8:39 AM, Matthew Flatt mfl...@cs.utah.edu wrote: At Sun, 10 Oct 2010 01:03:57 -0400, Eli Barzilay wrote: An even more common use of `write', I think, is to

Re: [racket-dev] #true and #false

2010-10-10 Thread Robby Findler
I do wish that true and false had the same number of letters. (And there is such a parameter. See Matthew's original message for the exact name.) Robby On Sun, Oct 10, 2010 at 8:57 AM, Neil Van Dyke n...@neilvandyke.org wrote: Matthew Flatt wrote at 10/10/2010 09:39 AM: Any other opinions?

Re: [racket-dev] teaching languages error message

2010-10-14 Thread Robby Findler
Felleisen matth...@ccs.neu.edu wrote: My changes in response to pr11xyz. I ran the language test suite. I had no clue that language changes can affect drrracket test suites. Sorry. Done. On Oct 14, 2010, at 9:48 AM, Robby Findler wrote: The teaching language error message wording changed

Re: [racket-dev] question about your change to run-teaching-languages.rkt

2010-10-14 Thread Robby Findler
I'm not sure, I'm sorry to say. What you write sounds like the right tack to me. Robby On Thu, Oct 14, 2010 at 4:02 PM, John Clements cleme...@brinckerhoff.org wrote: Back on October 11, you made a change to run-teaching-languages.rkt that works absolutely fine with the stepper. ...but it

[racket-dev] check syntax now more likely to work on std libs

2010-10-19 Thread Robby Findler
I've just pushed a change that makes check syntax more likely to run on files in the plt tree. Specifically, the namespace that check syntax creates no longer shares the GUI libraries which means it pulls in a far smaller set of libraries overall. (Of course, run still pulls those in, so running

[racket-dev] internal definitions stepper

2010-10-19 Thread Robby Findler
How recently did the change come in that allows internal definitions all over the place? And how broken did this make the stepper? (Ie is it feasible to wait for the next release? and should we?) Robby On Tue, Oct 19, 2010 at 5:03 AM, sper...@racket-lang.org wrote: sperber has updated

Re: [racket-dev] shared and names

2010-10-19 Thread Robby Findler
I think that we'd have to add names to structs to do that. Seems expensive. But maybe there is a better way? Robby On Tue, Oct 19, 2010 at 2:38 PM, Shriram Krishnamurthi s...@cs.brown.edu wrote: Is there any way for shared to check for whether a name was originally assigned to an LHS and, if

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

2010-10-22 Thread Robby Findler
On Thu, Oct 21, 2010 at 6:07 PM, Ryan Culpepper ry...@ccs.neu.edu wrote: * Robby Findler ro...@eecs.northwestern.edu  - DrRacket Tests  - Framework Tests  - Contracts Tests  - Games Tests  - Teachpacks Tests: image tests  - PLaneT Tests done (there is a commit that fixes a bug in the games

Re: [racket-dev] Release for v5.0.2 has begun

2010-10-24 Thread Robby Findler
The new case- only supports simple contracts, that's right. If you have more complex ones that it would be helpful to support (and can share them), that would help us guide our efforts. Thanks, Robby On Sun, Oct 24, 2010 at 7:04 PM, Doug Williams m.douglas.willi...@gmail.com wrote: The main

Re: [racket-dev] Release for v5.0.2 has begun

2010-10-24 Thread Robby Findler
On Sun, Oct 24, 2010 at 7:42 PM, Stevie Strickland sstri...@ccs.neu.edu wrote: On Oct 24, 2010, at 8:04 PM, Doug Williams wrote: On the case- problem, it seems it no longer supports anything but -.  Is there something I am missing there? This is a current limitation for case- as provided by

Re: [racket-dev] Release for v5.0.2 has begun

2010-10-25 Thread Robby Findler
and break backward compatibility.] Doug On Sun, Oct 24, 2010 at 6:23 PM, Robby Findler ro...@eecs.northwestern.edu wrote: The new case- only supports simple contracts, that's right. If you have more complex ones that it would be helpful to support (and can share them), that would help us

Re: [racket-dev] Release for v5.0.2 has begun

2010-10-25 Thread Robby Findler
On Mon, Oct 25, 2010 at 11:28 AM, Doug Williams m.douglas.willi...@gmail.com wrote: I had always assumed that case-lambda just checked alternatives in order until one matched - like a cond. But, that was just an assumption on my part and subject to being absolutely wrong. [But, if it is correct

Re: [racket-dev] building docs, compile collects

2010-10-25 Thread Robby Findler
I think CM already does this, no (that's how drracket builds zo files for you, for example)? So it needs to be packaged up a little bit, perhaps, for some settings in your .racket file? You might look at how the PLTDRCM environment variable is implemented, if the docs aren't helpful enough.

Re: [racket-dev] building docs, compile collects

2010-10-25 Thread Robby Findler
Oh, yes. Just run make install and then raco setup -D racket. Write it down on a postit and stick it on your screen. :) Or make a little script that does the whole git pull thing and onwards. Robby On Mon, Oct 25, 2010 at 4:22 PM, Sam Tobin-Hochstadt sa...@ccs.neu.edu wrote: On Mon, Oct 25,

Re: [racket-dev] [plt] Push #21356: gr2 branch updated

2010-10-27 Thread Robby Findler
On Wed, Oct 27, 2010 at 2:32 PM, Sam Tobin-Hochstadt sa...@ccs.neu.edu wrote: mflatt has updated `gr2' from 5633895cf0 to 2b2de4ece6.  http://git.racket-lang.org/plt/5633895cf0..2b2de4ece6 So, I see from this commit that you're planning to move the version number to 5.5.  I think this is a

Re: [racket-dev] 5.0.2 changelog

2010-10-27 Thread Robby Findler
On Tue, Oct 26, 2010 at 2:54 PM, Robby Findler ro...@eecs.northwestern.edu wrote: The contract library's dependent contracts are now faster and properly assign blame when they are internally inconsistent see the docs for -i for more details. (this one is still okay). The 2htdp/image library

Re: [racket-dev] 5.0.2 changelog

2010-10-28 Thread Robby Findler
and ISL and variants). Possibly we should also put something about why (so SK can experiment). Robby On Thu, Oct 28, 2010 at 6:58 AM, Matthias Felleisen matth...@ccs.neu.edu wrote: On Oct 27, 2010, at 11:12 PM, Robby Findler wrote: Also, don't forget that we moved the signatures to ASL

Re: [racket-dev] 5.0.2 changelog

2010-10-28 Thread Robby Findler
I agree! Robby On Thu, Oct 28, 2010 at 7:59 AM, Matthias Felleisen matth...@ccs.neu.edu wrote: On Oct 28, 2010, at 8:34 AM, Matthew Flatt wrote: At Wed, 27 Oct 2010 23:40:27 -0600, Jon Rafkind wrote: Author: Matthew Flatt mfl...@racket-lang.org    Modules spliced at the file level instead

Re: [racket-dev] try the GRacket2 branch

2010-10-28 Thread Robby Findler
Under ubuntu the menus are ubuntu colors instead of grey. Under mac os x, the splash screen's progress bar is slightly taller. Robby On Thu, Oct 28, 2010 at 12:42 PM, Matthew Flatt mfl...@cs.utah.edu wrote: The version number on GRacket2 right now is 5.0.2.2. At Thu, 28 Oct 2010 11:26:43

Re: [racket-dev] relative lines of C in gracket vs. gracket2

2010-10-28 Thread Robby Findler
Conveniently, however, it isn't the broken one that we used here. Whew. Robby On Thu, Oct 28, 2010 at 2:56 PM, namekuseijin namekusei...@gmail.com wrote: On Thu, Oct 28, 2010 at 4:56 PM, Carl Eastlund c...@ccs.neu.edu wrote: On Thu, Oct 28, 2010 at 2:12 PM, namekuseijin namekusei...@gmail.com

Re: [racket-dev] relative lines of C in gracket vs. gracket2

2010-10-29 Thread Robby Findler
Go, Matthew! :) Slay the evil beast. Robby On Fri, Oct 29, 2010 at 9:07 AM, Matthew Flatt mfl...@cs.utah.edu wrote: At Thu, 28 Oct 2010 10:48:43 -0700, John Clements wrote: I took a look at the size of our C code base (all files ending in .c, .h, .cpp, and .cxx, not including those with

Re: [racket-dev] Strange module mismatch

2010-11-03 Thread Robby Findler
Did you edit files that drracket depends on and then not restart drracket? On Wed, Nov 3, 2010 at 1:24 PM, Casey Klein clkl...@eecs.northwestern.edu wrote: I'm hitting a module mismatch that won't go away no matter how many times I type raco make or raco setup. Running the module #lang

[racket-dev] Lines cs paras

2010-11-03 Thread Robby Findler
I think you want to count paragraphs not lines (and leave space when lines wrap). Otherwise the numbers won't match up with the error messages. Robby On Wednesday, November 3, 2010, rafk...@racket-lang.org wrote: rafkind has updated `master' from c990d602b0 to 68c197f639.  

Re: [racket-dev] Simple loop checking in beginner?

2010-11-10 Thread Robby Findler
The value in the large comes when the data structures are more complex (in the function below you'd use a loop or filter, of course). When they are larger, you can pinpoint where to change your function based on a change to your data definition. For example, consider writing an interpreter. Now

Re: [racket-dev] How about adding this simple list-shuffling procedure to racket?

2010-11-11 Thread Robby Findler
I think that if random doesn't pick the same number twice you're guaranteed to be independent of the sorting algorithm, at least. Robby On Thu, Nov 11, 2010 at 11:18 AM, Neil Toronto neil.toro...@gmail.com wrote: Eric Hanchrow wrote: I find myself using this all the time; it seems it'd be

Re: [racket-dev] How about adding this simple list-shuffling procedure to racket?

2010-11-11 Thread Robby Findler
On Thu, Nov 11, 2010 at 11:40 AM, Carl Eastlund c...@ccs.neu.edu wrote: On Thu, Nov 11, 2010 at 12:40 PM, Neil Toronto neil.toro...@gmail.com wrote: I don't know. I know that the run through the list and swap with another random element algorithms are usually non-uniform, and so are a lot of

Re: [racket-dev] How about adding this simple list-shuffling procedure to racket?

2010-11-12 Thread Robby Findler
I think we want the one recommended by the statisticians. :) Robby On Fri, Nov 12, 2010 at 2:36 PM, Jay McCarthy jay.mccar...@gmail.com wrote: I think we should put in a list shuffler into the core. Which should we use? The faster one? Jay On Thu, Nov 11, 2010 at 11:26 AM, Eli Barzilay

Re: [racket-dev] Tab switching keyboard shortcuts on Mac

2010-11-14 Thread Robby Findler
On Sun, Nov 14, 2010 at 1:24 PM, Dmitry Chestnykh dmi...@codingrobots.com wrote: On Sun, 14 Nov 2010, Robby Findler wrote: Thanks, I've pushed a fix. Thank you, it was fast! Do you know the keybindings from experience or can you point to a definitive cite somewhere that lists things like

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

2010-11-16 Thread Robby Findler
I added (but have not pushed, apprently) queue-map. Mind if we keep that one instead? Also, I think that a rename like the below is a bad idea if the queues have been released already. Robby On Tue, Nov 16, 2010 at 3:37 PM, rafk...@racket-lang.org wrote: rafkind has updated `master' from

Re: [racket-dev] Fwd: Q. about Directly Reflective paper

2010-11-17 Thread Robby Findler
IMO, this is what one should expect from someone when an error is pointed out in their paper. It is a bit surprising to me that something like that got thru at HOSC, of all places, tho. Robby On Tue, Nov 16, 2010 at 11:41 PM, John Clements cleme...@brinckerhoff.org wrote: Well, he's generous

Re: [racket-dev] TR - no source locations?

2010-11-23 Thread Robby Findler
I've pushed a fix for the example below, at least. Robby On Tue, Nov 23, 2010 at 12:18 PM, Sam Tobin-Hochstadt sa...@ccs.neu.edu wrote: On Tue, Nov 23, 2010 at 1:04 PM, John Clements cleme...@brinckerhoff.org wrote: On Nov 20, 2010, at 8:19 PM, Sam Tobin-Hochstadt wrote: There are a lot of

Re: [racket-dev] Removing Xexpr preference from Web Server

2010-11-29 Thread Robby Findler
This kind of thing has happened many times for other parts of the system (the class system is a good example). We have generally tried to avoid so much breakage and I think we should here. One technique is to have a new name for the new version (or a new name for the old one if that is more

Re: [racket-dev] Removing Xexpr preference from Web Server

2010-11-30 Thread Robby Findler
On Tue, Nov 30, 2010 at 5:18 AM, Eli Barzilay e...@barzilay.org wrote: Yesterday, Robby Findler wrote: This kind of thing has happened many times for other parts of the system (the class system is a good example). We have generally tried to avoid so much breakage and I think we should here

Re: [racket-dev] Removing Xexpr preference from Web Server

2010-11-30 Thread Robby Findler
On Tue, Nov 30, 2010 at 8:04 AM, Eli Barzilay e...@barzilay.org wrote: Two hours ago, Robby Findler wrote: On Tue, Nov 30, 2010 at 5:18 AM, Eli Barzilay e...@barzilay.org wrote: The problem here is that there is no name to change -- it's the implicit coercion of xexpr values to a response

Re: [racket-dev] Large preferences file and performance

2010-12-03 Thread Robby Findler
On Friday, December 3, 2010, Neil Toronto neil.toro...@gmail.com wrote: Eli Barzilay wrote: 20 minutes ago, Casey Klein wrote: I just pushed a fix for a bug that made DrRacket extremely sluggish on my laptop. Most everything was slow, but typing in the find and replace fields was

  1   2   3   4   5   6   7   8   9   10   >