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] self-documenting feature

2010-07-19 Thread Robby Findler
You probably already know about this, but proc-doc is the closest we have at the moment. Robby On Mon, Jul 19, 2010 at 7:04 PM, Neil Van Dyke n...@neilvandyke.org wrote: Robby Findler wrote at 07/19/2010 12:31 PM: Sure, but if we have the manpower/energy for this, then it would be nice

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] Racket stuffs

2010-08-17 Thread Robby Findler
I like r1. Guess I'm not hip. :) But for the otehrs, I'd drop the trailing slash. Robby On Tue, Aug 17, 2010 at 8:50 PM, Eli Barzilay e...@barzilay.org wrote: On Aug 17, Shriram Krishnamurthi wrote: I like http://; as a better (IMO, of course) visual cue, which is why I used it...   I can

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
On Thu, Aug 26, 2010 at 9:35 AM, Shriram Krishnamurthi s...@cs.brown.edu wrote: Is this a fair, operational restatement of your cautionary note: It will be much less complicated to add just a `how did I get here?' button to the REPL and have the rest of the stepper reside in its own window,

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] relationship between define-struct and struct

2010-08-28 Thread Robby Findler
This works fine in #lang racket, eg: #lang racket (define-struct s (a b)) (provide (struct-out s)) I think that ASL's define-struct is not racket's tho, so you'd probably have to read the docs carefully to understand what's different and what it does and why it is not working properly with

Re: [racket-dev] printing images in REPL

2010-08-28 Thread Robby Findler
, not one created by a computation.  I guess they're not treated the same, but I'm surprised that ASL processing the Definitions window didn't do the right conversion... On Thu, Aug 26, 2010 at 8:25 PM, Robby Findler ro...@eecs.northwestern.edu wrote: At the moment there is a barn-door sized

Re: [racket-dev] printing images in REPL

2010-08-28 Thread Robby Findler
.  But thanks. On Sat, Aug 28, 2010 at 9:36 PM, Robby Findler ro...@eecs.northwestern.edu wrote: I guess you don't have the print handler set up right. On Sat, Aug 28, 2010 at 8:23 PM, Shriram Krishnamurthi s...@cs.brown.edu wrote: The value I was returning is whatever kind of object is returned

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] printing images in REPL

2010-08-28 Thread Robby Findler
(Oh, and one of those modules is the place where you set current-print.) Robby On Sat, Aug 28, 2010 at 9:18 PM, Robby Findler ro...@eecs.northwestern.edu wrote: And sorry: here's a keyword: read-language. You'll want to set up your language so that it can answer those queries. Then drracket

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] Shared-instantiation modules

2010-09-11 Thread Robby Findler
It sounds like this can be made safe. It sounds a lot ilke the connection that gracket makes to the underlying OS to do GUI things and that is shared (and safe). Robby On Fri, Sep 10, 2010 at 10:17 PM, Eli Barzilay e...@barzilay.org wrote: On Sep 10, Robby Findler wrote: FWIW, this is one path

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 #21108: master branch updated

2010-09-17 Thread Robby Findler
Sure, a parameter is fine. And since we're going to have a paramter, then defaulting to the old way seems best. Thanks! Robby On Fri, Sep 17, 2010 at 12:02 PM, Casey Klein clkl...@eecs.northwestern.edu wrote: On Fri, Sep 17, 2010 at 11:52 AM, Robby Findler ro...@eecs.northwestern.edu wrote

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] string? error

2010-10-07 Thread Robby Findler
I don't suppose you get a stacktrace with the error? Robby On Thu, Oct 7, 2010 at 3:35 PM, Stephen Chang stch...@ccs.neu.edu wrote: Has anyone seen an error like this before: string?: expects type string as 1st argument, given: #f; other arguments were:

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] `cond' / `when' / `unless' / etc bodies

2010-10-10 Thread Robby Findler
I too am in favor of when, unless, and cond being definition contexts. But I don't understand what this fragment is supposed to illustrate. If the body of a 'when' were a definition context, we'd get this being the same as something like this, which seems to work exactly as it should: Welcome to

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] teaching languages error message

2010-10-14 Thread Robby Findler
On Thu, Oct 14, 2010 at 1:33 PM, Matthias Felleisen matth...@ccs.neu.edu wrote: On Oct 14, 2010, at 11:06 AM, Robby Findler wrote: No problem. That's what drdr is for! :) But I'll go ahead and add you to the relevant test suites reporting. You might want to try them out, just so you get

Re: [racket-dev] teaching languages error message

2010-10-14 Thread Robby Findler
On Thu, Oct 14, 2010 at 1:40 PM, Matthias Felleisen matth...@ccs.neu.edu wrote: On Oct 14, 2010, at 2:35 PM, Robby Findler wrote: On Thu, Oct 14, 2010 at 1:33 PM, Matthias Felleisen matth...@ccs.neu.edu wrote: On Oct 14, 2010, at 11:06 AM, Robby Findler wrote: No problem. That's what

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

  1   2   3   4   5   6   7   8   9   10   >