[racket-dev] planet linkage table

2011-08-09 Thread Robby Findler
Somewhere between July 2006 and Dec 2007, the linkage table in planet broke in such a way that it has been just ignored for around 4 years now. I just noticed this today [*] as I was spending some time trying to make the planet module name resolver thread safe. So, my question to you: should we

Re: [racket-dev] [racket] keyword args static checking and optimization

2011-08-08 Thread Robby Findler
Ah, right. Rats. Robby On Mon, Aug 8, 2011 at 10:25 AM, Matthew Flatt mfl...@cs.utah.edu wrote: At Mon, 8 Aug 2011 10:12:36 -0500, Robby Findler wrote:   Another possibility is to redirect the `set!' on `f' to the   underlying `proc', and somehow make the optimized call to `core'   happen

Re: [racket-dev] DrDr Feature Request

2011-08-08 Thread Robby Findler
I like the two-times-in-a-row thought. FWIW, please try to avoid race conditions of the second kind. I think the drracket test suites are special because they fail not-so-often and I don't actually know how to fix them. If either of those weren't true then I'd say they should just not run in

Re: [racket-dev] DrDr Feature Request

2011-08-08 Thread Robby Findler
PS: I'm also happy if this class of tests only emails the responsible person, and not the pusher. Robby On Mon, Aug 8, 2011 at 10:59 AM, Robby Findler ro...@eecs.northwestern.edu wrote: I like the two-times-in-a-row thought. FWIW, please try to avoid race conditions of the second kind. I

Re: [racket-dev] DrDr Feature Request

2011-08-08 Thread Robby Findler
On Mon, Aug 8, 2011 at 11:05 AM, Vincent St-Amour stamo...@ccs.neu.edu wrote: At Mon, 8 Aug 2011 10:59:24 -0500, Robby Findler wrote: FWIW, please try to avoid race conditions of the second kind. Some of these I can try to fix. But I don't think all intermittent failures fit in this category

Re: [racket-dev] DrDr Feature Request

2011-08-08 Thread Robby Findler
This is a rare event (playing catchup like this) so I think it is probably best if we just let it catch up. Should be just a couple of more days (maybe a week) by my sketchy guesstimationizing. Robby On Mon, Aug 8, 2011 at 12:34 PM, Jon Rafkind rafk...@cs.utah.edu wrote: Another request: could

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

2011-08-06 Thread Robby Findler
On Sat, Aug 6, 2011 at 8:43 AM, Matthias Felleisen matth...@ccs.neu.edu wrote: 3. Why is this in github and not in the docs? I think you're mistaken here. It is in the head on our git servers. Robby _ For list-related administrative tasks:

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

2011-08-06 Thread Robby Findler
On Sat, Aug 6, 2011 at 1:53 PM, Casey Klein clkl...@eecs.northwestern.edu wrote: On Sat, Aug 6, 2011 at 10:43 AM, Matthias Felleisen matth...@ccs.neu.edu wrote: 1. I like Robby's mode suggestion. 2. I prefer shorter keywords, e.g., define-judgment. I'm having trouble reconciling these

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

2011-08-06 Thread Robby Findler
I like it. Robby On Sat, Aug 6, 2011 at 2:47 PM, Casey Klein clkl...@eecs.northwestern.edu wrote: On Sat, Aug 6, 2011 at 1:58 PM, Robby Findler ro...@eecs.northwestern.edu wrote: On Sat, Aug 6, 2011 at 1:53 PM, Casey Klein clkl...@eecs.northwestern.edu wrote: On Sat, Aug 6, 2011 at 10:43 AM

Re: [racket-dev] Search by example (was Re: Roogle?)

2011-08-06 Thread Robby Findler
There isn't a way to do that, no. But I think in Racket we have better ways of avoiding such danger (namely using the sandbox library or the pieces it builds upon). In general, in fact, you'd have to do that anyways, since a contract can be some arbitrary predicate (and don't forget do-dads like

Re: [racket-dev] Search by example (was Re: Roogle?)

2011-08-06 Thread Robby Findler
ago, Tony Garnock-Jones wrote: On 2011-08-06 4:41 PM, Robby Findler wrote: But I think in Racket we have better ways of avoiding such danger (namely using the sandbox library or the pieces it builds upon). In general, in fact, you'd have to do that anyways, since a contract can be some

Re: [racket-dev] Search by example (was Re: Roogle?)

2011-08-06 Thread Robby Findler
On Sat, Aug 6, 2011 at 7:30 PM, Eli Barzilay e...@barzilay.org wrote: Two minutes ago, Robby Findler wrote: We've just got to figure out some clever caching/incrementalization thing and then get one of google's or amazon's or whoever's trucks to drive up and plug in somewhere. Sounds like

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

2011-08-05 Thread Robby Findler
How about #:mode (sum I I O) for the mode spec where the #:mode keyword is optional but, if present must be followed by what looks like a use of the relation but with a Mode? Robby On Friday, August 5, 2011, Casey Klein clkl...@eecs.northwestern.edu wrote: On Fri, Aug 5, 2011 at 8:13 AM,

Re: [racket-dev] testing

2011-08-04 Thread Robby Findler
I think a convention is good. I also think that this kind of organizational principle (where do tests go? How do you name the main file in some package? etc) is completely appropriate for a style guide somewhere, so maybe I'm missing something, tho. Robby On Thu, Aug 4, 2011 at 11:11 AM,

Re: [racket-dev] testing

2011-08-04 Thread Robby Findler
OK. On Thu, Aug 4, 2011 at 11:18 AM, Matthias Felleisen matth...@ccs.neu.edu wrote: I feel challenged to write this up. So I will put it on my wish list and assign your name to it. On Aug 4, 2011, at 12:17 PM, Robby Findler wrote: I think a convention is good. I also think that this kind

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

2011-08-02 Thread Robby Findler
Yes I agree. On Tuesday, August 2, 2011, Sam Tobin-Hochstadt sa...@ccs.neu.edu wrote: On Tue, Aug 2, 2011 at 6:14 AM, Eli Barzilay e...@barzilay.org wrote: -- * The download page includes 64-bit installers for Mac OS X,

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

2011-08-01 Thread Robby Findler
Ah. That does help. And seems Borderline for the release notes. Robby On Monday, August 1, 2011, Sam Tobin-Hochstadt sa...@ccs.neu.edu wrote: On Mon, Aug 1, 2011 at 1:52 PM, Robby Findler ro...@eecs.northwestern.edu wrote: On Monday, August 1, 2011, Sam Tobin-Hochstadt sa...@ccs.neu.edu

Re: [racket-dev] Release Announcement for v5.1.2, second round

2011-08-01 Thread Robby Findler
No, not mine. (the bibtex lib sounds worth including to me) On Monday, August 1, 2011, Eli Barzilay e...@barzilay.org wrote: The release announcement sketch that I have so far is below. Please mail me new items and/or edits. Robby and Jay -- two pending items: ? New

Re: [racket-dev] A basic package system

2011-07-27 Thread Robby Findler
Bullet point 2 seems like it may overlap (in a practical, what do I use today sort of a way) with Matthew's modulelet construct. Both group modules together, both provide independently loadable things. Do we really want/need both of these? Robby On Tue, Jul 26, 2011 at 5:49 PM, Jay McCarthy

Re: [racket-dev] A basic package system

2011-07-27 Thread Robby Findler
modules may not be provided from the package, even though they are inside it. So... do you think those two understandings overlap? Or do you understand them differently? Jay On Wed, Jul 27, 2011 at 7:52 AM, Robby Findler ro...@eecs.northwestern.edu wrote: Bullet point 2 seems like it may overlap

Re: [racket-dev] drracket fails to start up properly

2011-07-26 Thread Robby Findler
It will be a bit before I can look into this, but I guess that if you throw away your prefs it will start up (or even just edit them and throw out the language level setting). Or it may even start up on a second try, depending on what is actually going wrong there. Robby On Tue, Jul 26, 2011 at

Re: [racket-dev] can we write these four lines of C in performant racket?

2011-07-23 Thread Robby Findler
What is the data you're using to represent the shorts in Racket? Robby On Sat, Jul 23, 2011 at 1:42 PM, John Clements cleme...@brinckerhoff.org wrote: This C code adds the content of one buffer to another one, with no checking.   The corresponding racket code runs about 10x slower. Do you

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

2011-07-22 Thread Robby Findler
it be included?  If so, then should planet tests be done again? 50 minutes ago, Robby Findler wrote: I believe that I made this commit: fbccf38d50e5f622c0c96a8c09b423decbd01269 on July 6th and that is the diff for that commit: http://git.racket-lang.org/plt/blobdiff

Re: [racket-dev] Racket DMG improvements

2011-07-21 Thread Robby Findler
Applications Drag into your Applications folder(here) - On Tue, Jul 19, 2011 at 11:33 PM, Robby Findler ro...@eecs.northwestern.edu wrote: I think that the dmg's size is proportional to the amount of data in it not the size it claims to have as a disk so we can probably just use 3 (or even

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

2011-07-21 Thread Robby Findler
I believe that I made this commit: fbccf38d50e5f622c0c96a8c09b423decbd01269 on July 6th and that is the diff for that commit: http://git.racket-lang.org/plt/blobdiff/b98e1b189a2afab1ba9c67f1e1432fb2cd28a552..fbccf38d50e5f622c0c96a8c09b423decbd01269:/collects/tests/planet/cmdline-tool.rkt but

[racket-dev] teaching language error messages

2011-07-19 Thread Robby Findler
I see that the teaching language error messages now have things like this in them (where the . is an image literal): Welcome to DrRacket, version 5.1.2.3--2011-07-19(4b77a0fc/d) [3m]. Language: Beginning Student; memory limit: 128 MB. (+ 1 (list .)) +: expects a number as 2nd argument, given

Re: [racket-dev] language-specific documentation failed on 5.1.1

2011-07-19 Thread Robby Findler
On Tue, Jul 19, 2011 at 1:59 PM, Eli Barzilay e...@barzilay.org wrote: 25 minutes ago, Robby Findler wrote: On Tue, Jul 19, 2011 at 1:06 PM, Eli Barzilay e...@barzilay.org wrote: Yesterday, Robby Findler wrote: Also, when I disable cookies, I see that the context sensitive search just

Re: [racket-dev] Racket DMG improvements

2011-07-19 Thread Robby Findler
I think that the dmg's size is proportional to the amount of data in it not the size it claims to have as a disk so we can probably just use 3 (or even maybe one). Robby On Tuesday, July 19, 2011, Eli Barzilay e...@barzilay.org wrote: Two days ago, Robby Findler wrote: On Sun, Jul 17, 2011

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

2011-07-18 Thread Robby Findler
Oh, I see. Yes, indeed, the whole test suite was broken. I've pushed fixes for it and for the things that weren't caught by the old test suite. Thanks, Robby On Sun, Jul 17, 2011 at 8:27 AM, Casey Klein clkl...@eecs.northwestern.edu wrote: Here's what I tried: 1. I added this test, which

Re: [racket-dev] language-specific documentation failed on 5.1.1

2011-07-18 Thread Robby Findler
What dd they do to get to the docs? On Monday, July 18, 2011, Danny Yoo d...@cs.wpi.edu wrote: Currently doing Program-by-Design workshop. One issue so far: Help Desk is not giving language-specific help.  One of the users searched for width, and hit basically every width function except the

Re: [racket-dev] language-specific documentation failed on 5.1.1

2011-07-18 Thread Robby Findler
I tried this too and it seems to work for me, even under windows with firefox. So, I suspect that there is something subtle about the UI that Eli and I are doing one way but others are doing another way that is interacting badly with the way some internal state somewhere works. So, perhaps more

Re: [racket-dev] Racket DMG improvements

2011-07-17 Thread Robby Findler
On Sun, Jul 17, 2011 at 7:25 AM, Jakub Piotr Cłapa jpc...@zenburn.net wrote: [1]: http://stackoverflow.com/questions/96882/how-do-i-create-a-nice-looking-dmg-for-mac-os-x-using-command-line-tools Mecki's answer here sounds just perfect for us, since we only really need one (or three, I

Re: [racket-dev] Racket DMG improvements

2011-07-17 Thread Robby Findler
FWIW, I believe we build these things on a mac, so figuring out how to do that under linux is not necessary (for us). Robby On Sun, Jul 17, 2011 at 8:02 AM, Neil Van Dyke n...@neilvandyke.org wrote: Jakub Piotr Cłapa wrote at 07/17/2011 08:25 AM: Uncompressed HFS+ images may be mounted on

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

2011-07-16 Thread Robby Findler
Thanks for fixing the bug! On Sat, Jul 16, 2011 at 6:40 PM, Casey Klein clkl...@eecs.northwestern.edu wrote: I tried to add a test case to collects/tests/racket/contract-test.rktl, but that file seems broken. In particular, `test/pos-blame' and `test/neg-blame' pass strings when

Re: [racket-dev] slash-form + bug in PLaneT keybindings require?

2011-07-11 Thread Robby Findler
As to 3), yes. Robby On Monday, July 11, 2011, John Clements cleme...@brinckerhoff.org wrote: I tried to make some keybindings available using PLaneT today, and ran into two problems--I suspect that this mechanism is not frequently used. 1) I can't use the slash-form in this require. That

Re: [racket-dev] slash-form + bug in PLaneT keybindings require?

2011-07-11 Thread Robby Findler
I would say to put it in the framework. Probably scheme.rkt. Thanks! Robby On Monday, July 11, 2011, John Clements cleme...@brinckerhoff.org wrote: On Jul 11, 2011, at 11:32 AM, Robby Findler wrote: As to 3), yes. Where would I put it? It looks like this could be done as a tool

Re: [racket-dev] New error messages for *SL

2011-07-07 Thread Robby Findler
On Thu, Jul 7, 2011 at 2:48 AM, Michael Sperber sper...@deinprogramm.de wrote: Eli Barzilay e...@barzilay.org writes: Yeah, well, except you run into trouble almost immediately because that code contains references, and Scribble is sensitive to all kinds of side conditions involving

Re: [racket-dev] OK, how do I fix this DrDr complaint?

2011-07-04 Thread Robby Findler
I don't see how Matthew's commit could have changed things, so I worry that drdr may have had a broken build somehow. Lets see if this stays for a few more builds. Robby On Tue, Jul 5, 2011 at 8:36 AM, Stephen Bloch sbl...@adelphi.edu wrote: As of this evening's DrDr build, test-docs-complete

Re: [racket-dev] documentation reorganization

2011-07-01 Thread Robby Findler
This looks great to me. Minor thing: Low-Level APIs = Low-Level API and the last section actually can have a name other than misc I think. Robby On Sat, Jul 2, 2011 at 8:45 AM, Ryan Culpepper r...@cs.utah.edu wrote: I just pushed a commit intended to improve the usability of the main

Re: [racket-dev] documentation reorganization

2011-07-01 Thread Robby Findler
then. re misc: Do you mean Other? Would you prefer Other Languages and Libraries or Other Manuals? At the moment it contains two experimental languages so other seems like a bad title. Robby Ryan On 07/01/2011 06:51 PM, Robby Findler wrote: This looks great to me. Minor thing: Low-Level

Re: [racket-dev] documentation reorganization

2011-07-01 Thread Robby Findler
On Sat, Jul 2, 2011 at 9:53 AM, Eli Barzilay e...@barzilay.org wrote: Four minutes ago, Robby Findler wrote: On Sat, Jul 2, 2011 at 9:41 AM, Ryan Culpepper r...@cs.utah.edu wrote: re Low-Level API: the other category labels are generally plural, and other manuals might get inserted

Re: [racket-dev] documentation reorganization

2011-07-01 Thread Robby Findler
Yes, I understood you. I'm observing that making it plural is not helping. On Fri, Jul 1, 2011 at 9:06 PM, Eli Barzilay e...@barzilay.org wrote: Three minutes ago, Robby Findler wrote: On Sat, Jul 2, 2011 at 9:53 AM, Eli Barzilay e...@barzilay.org wrote: Four minutes ago, Robby Findler wrote

Re: [racket-dev] okay to require rackunit in modules required at startup?

2011-06-29 Thread Robby Findler
I think Eli is saying that it would create a bad dependency where badness isn't something that is easy to say precisely what it is, but the rough idea is that there is a hierarchy of modules (ie a grouping of modules into levels of a tree) and dependencies should go one direction. Making drracket

Re: [racket-dev] Should BSL signal an error on (require ...) in an unsaved buffer?

2011-06-27 Thread Robby Findler
On Tue, Jun 28, 2011 at 7:52 AM, John Clements cleme...@brinckerhoff.org wrote: On Jun 27, 2011, at 4:45 PM, Robby Findler wrote: We're talking about relative requires only, right? How are you proposing to signal the error? My guess about how this works--correct me if I'm wrong

Re: [racket-dev] bug reporting system is not spam-protecting email addresses

2011-06-26 Thread Robby Findler
I suspect we should fix this at least for appearances same, but do you think that that really helps avoid spam? I tried to keep my @cs.uchicago.edu email address secret for a while, but then I gave up and it didn't seem to matter. What ended up working for me was using gmail to read my email.

Re: [racket-dev] Strange problem with `check-docs' and `#:use-sources'

2011-06-24 Thread Robby Findler
I'm not seeing something wrong. Maybe it would help if you could make a smaller example. Robby On Sat, Jun 25, 2011 at 8:15 AM, Sam Tobin-Hochstadt sa...@ccs.neu.edu wrote: On Thu, Jun 23, 2011 at 9:51 PM, Robby Findler ro...@eecs.northwestern.edu wrote: So I think the fix is to do

Re: [racket-dev] Strange problem with `check-docs' and `#:use-sources'

2011-06-24 Thread Robby Findler
the docs for the same identifier  provided from typed/racket. It's the same problem as with with-handlers, but if appears not to have the same cause. On Jun 24, 2011 8:53 PM, Robby Findler ro...@eecs.northwestern.edu wrote: I'm not seeing something wrong. Maybe it would help if you could

Re: [racket-dev] Strange problem with `check-docs' and `#:use-sources'

2011-06-24 Thread Robby Findler
Thanks. I think that'll help us figure out where the problem is. Robby On Sat, Jun 25, 2011 at 9:54 AM, Sam Tobin-Hochstadt sa...@ccs.neu.edu wrote: Ah, I see.  Well, that makes two of us. I'll try to make a small example collection. On Fri, Jun 24, 2011 at 9:46 PM, Robby Findler ro

Re: [racket-dev] Strange problem with `check-docs' and `#:use-sources'

2011-06-23 Thread Robby Findler
Is the with-handlers that typed/racket exports the same identifier as the one exported by racket, or is it a different binding? Robby On Fri, Jun 24, 2011 at 2:46 AM, Sam Tobin-Hochstadt sa...@ccs.neu.edu wrote: On Wed, Jun 22, 2011 at 6:53 PM, Robby Findler ro...@eecs.northwestern.edu wrote

Re: [racket-dev] Strange problem with `check-docs' and `#:use-sources'

2011-06-23 Thread Robby Findler
On Fri, Jun 24, 2011 at 8:58 AM, Sam Tobin-Hochstadt sa...@ccs.neu.edu wrote: On Jun 23, 2011 6:39 PM, Robby Findler ro...@eecs.northwestern.edu wrote: I think I'd need to actually look at the code next. I didn't seem to find it, tho; can you give me a pointer? It should be in 'collects

Re: [racket-dev] Strange problem with `check-docs' and `#:use-sources'

2011-06-23 Thread Robby Findler
On Fri, Jun 24, 2011 at 9:27 AM, Sam Tobin-Hochstadt sa...@ccs.neu.edu wrote: On Thu, Jun 23, 2011 at 9:19 PM, Robby Findler ro...@eecs.northwestern.edu wrote: On Fri, Jun 24, 2011 at 8:58 AM, Sam Tobin-Hochstadt sa...@ccs.neu.edu wrote: On Jun 23, 2011 6:39 PM, Robby Findler ro

Re: [racket-dev] Strange problem with `check-docs' and `#:use-sources'

2011-06-22 Thread Robby Findler
To really know what is going on, one has to trace thru the re-provides for each of these identifiers and match them up to the declare-exporting declarations. In the declaration below, you're essentially saying any identifiers documented in this module should appear to come from the

Re: [racket-dev] current-load/use-compiled

2011-06-22 Thread Robby Findler
Did you find the compiler/cm library? I think that's what you want. Robby On Thu, Jun 23, 2011 at 12:24 AM, Jon Rafkind rafk...@cs.utah.edu wrote: I'm trying to hook into the part of racket that loads files so I can automatically create .zo files when they don't exist (and no, I don't want to

Re: [racket-dev] net/url and https

2011-06-19 Thread Robby Findler
I think we should not remove anything from the net/url library (including the unitized interface) as I believe that will break old code. Robby On Mon, Jun 20, 2011 at 5:57 AM, Eli Barzilay e...@barzilay.org wrote: Does anyone have any objection to dropping the unitized interface for `net/url'?

Re: [racket-dev] net/url and https

2011-06-19 Thread Robby Findler
+1 to that sentiment. I think this whole conversation is meant to be about how do we best get from here to there. The question pending is how much is it reasonable to break code that might use more obscure parts of the current api. I'm taking the relatively hard-line stance that we should not

Re: [racket-dev] net/url and https

2011-06-19 Thread Robby Findler
the unitized interface, but if someone were to, I think a survey of planet would be in order. Robby On Mon, Jun 20, 2011 at 10:29 AM, Eli Barzilay e...@barzilay.org wrote: Three minutes ago, Robby Findler wrote: +1 to that sentiment. I think this whole conversation is meant to be about how do we best

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

2011-06-18 Thread Robby Findler
, but keep the focus in the interactions.) Earlier today, ro...@racket-lang.org wrote: 8357629 Robby Findler ro...@racket-lang.org 2011-06-17 11:13:11 +0800 : | if we're highlighting something in the defs window, make sure the | window is shown |   closes PR 11977 :   M collects/drracket

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

2011-06-17 Thread Robby Findler
FWIW, some of this stuff is okay to just put into the docs you're building directly. IMO, it is okay to wait until you've needed these little things more than once to put them into scribble proper. Also, you didn't commit any tests. Robby On Sat, Jun 18, 2011 at 3:12 AM, Vincent St-Amour

Re: [racket-dev] renaming things

2011-06-14 Thread Robby Findler
Yes. You want to set the current-print handler. You probably want to use pretty-print to do the actual printing and it has hooks to let you control how things like booleans are printed when they are embedded in larger things. Robby On Sun, Jun 12, 2011 at 12:19 PM, Matias Eyzaguirre

Re: [racket-dev] Fwd: a language example: brainfudge

2011-06-10 Thread Robby Findler
On Fri, Jun 10, 2011 at 5:52 PM, Danny Yoo d...@cs.wpi.edu wrote: On Fri, Jun 10, 2011 at 6:43 PM, Robby Findler ro...@eecs.northwestern.edu wrote: Why did you sanitize the name? Is this language different than brainfuck? No real reason: I just didn't want to swear like a sailor. How about

Re: [racket-dev] `take' argument order

2011-06-09 Thread Robby Findler
Man, I recall a slightly different sentiment when you edit papers we co-author. :) Robby On Wed, Jun 8, 2011 at 8:50 PM, Matthias Felleisen matth...@ccs.neu.edu wrote: Take from the sequence of primes the first five numbers and add them up. This is at most slightly mangled :-) On Jun 8,

Re: [racket-dev] `take' argument order

2011-06-08 Thread Robby Findler
On Wed, Jun 8, 2011 at 9:21 AM, Eli Barzilay e...@barzilay.org wrote: In any case, I do take compatibility as a priority, so I'm suggesting allowing both orders for this case. I did not mention this (remaining silent in response to your comment with the word 'flame' in the original message),

Re: [racket-dev] `regexp-match**'

2011-06-04 Thread Robby Findler
If you are going to make a new, more general function you could make all of the arguments keyword based. Robby On Saturday, June 4, 2011, Eli Barzilay e...@barzilay.org wrote: So the request to get subgroups from `regexp-match*' is not new, and since I've seen it twice in a week I'm going to

Re: [racket-dev] Racket breaking and exiting

2011-06-01 Thread Robby Findler
DrRacket has more control than Racket does over how the repl interacts with it's environment so it is not broken in this manner. (unless you think this is desireable, to be more faithful?) Robby On Wednesday, June 1, 2011, Matthias Felleisen matth...@ccs.neu.edu wrote: DrRacket behaves

Re: [racket-dev] Please help me to understand the two lines.

2011-05-30 Thread Robby Findler
The results of functions are all given by contracts. So, this is saying that the function named boolean? returns something that, when passed to boolean?, returns #true. This is a confusing example to start with, tho, if you had number?, you'd see: (number? v) - boolean? v : any/c which is

Re: [racket-dev] Please help me to understand the two lines.

2011-05-30 Thread Robby Findler
Do you still have commit acces to the repo? Robby On Monday, May 30, 2011, Shriram Krishnamurthi s...@cs.brown.edu wrote: I think even one sentence in the docs about the implications of these statements there would be a great idea.  To someone who doesn't already know Scheme, the distinction

Re: [racket-dev] scribble pdf

2011-05-24 Thread Robby Findler
It may be different, I'm not sure, but the important thing is that it stops in the middle at a relevant place. On Mon, May 23, 2011 at 11:25 PM, Eli Barzilay e...@barzilay.org wrote: About a minute ago, Robby Findler wrote: It is hard to read that lots, tho. What I typically do in those

Re: [racket-dev] scribble pdf

2011-05-24 Thread Robby Findler
...@barzilay.org wrote: Do you have an example of two different outputs? (You are talking about the stderr output, right?) A few seconds ago, Robby Findler wrote: It may be different, I'm not sure, but the important thing is that it stops in the middle at a relevant place. On Mon, May 23, 2011 at 11:25

Re: [racket-dev] scribble pdf

2011-05-24 Thread Robby Findler
On Tue, May 24, 2011 at 4:12 AM, Eli Barzilay e...@barzilay.org wrote: Three minutes ago, Robby Findler wrote: I do not have an example of different outputs The value is that the latex transcript pauses in the middle so you know where the error message is. You can see what I mean by forcing

Re: [racket-dev] scribble pdf

2011-05-24 Thread Robby Findler
On Tue, May 24, 2011 at 4:19 PM, Eli Barzilay e...@barzilay.org wrote:  ! Missing \endcsname inserted.  to be read again                     \csname\endcsname  l.252 \label               {t:x28part_x22Ax5fSemanticsx5fforx5fContextx2dSensitivex5fReduct...  The control sequence marked to be

Re: [racket-dev] docs not showing up on PLaneT for gzip.plt

2011-05-20 Thread Robby Findler
This was a bug in the planet commandline's packaging code. When the documentation was named something like doc.scrbl (doc*.scrbl, really) then the packager was dropping it from the .plt file that it built. So if you re-build using the currently pushed planet tool, you should be in good shape (you

Re: [racket-dev] `letrec' and continuations

2011-05-20 Thread Robby Findler
On Fri, May 20, 2011 at 10:59 AM, Matthias Felleisen matth...@ccs.neu.edu wrote: On May 20, 2011, at 11:55 AM, Robby Findler wrote: Would it make sense to have a new construct, say letrec-super-star, that did one of those things and then use that as the core form in Racket (that's also a big

Re: [racket-dev] `letrec' and continuations

2011-05-20 Thread Robby Findler
On Fri, May 20, 2011 at 3:39 PM, Matthias Felleisen matth...@ccs.neu.edu wrote: Let me make my proposals (2 and 3) more precise because your response suggests they were too short. 1. We could make internal define the primary vehicle for definitions, i.e., not compile thru letrec. As far

Re: [racket-dev] `letrec' and continuations

2011-05-20 Thread Robby Findler
On Fri, May 20, 2011 at 6:17 PM, Matthew Flatt mfl...@cs.utah.edu wrote: At Fri, 20 May 2011 16:39:23 -0400, Matthias Felleisen wrote: 2. The semantics for internal defines would be more Algol like, meaning your example would immediately behave like let and thus be fast. Ok, I see how that's

Re: [racket-dev] planet-version follies with old planet packages

2011-05-17 Thread Robby Findler
On Tue, May 17, 2011 at 12:04 AM, Jens Axel Søgaard jensa...@soegaard.net wrote: 011/5/17 Robby Findler ro...@eecs.northwestern.edu: Oh, okay I'm caught up now and, as far as I can tell, the gzip.plt package needs to be updated. It has this:  (define required-core-version 400.0

Re: [racket-dev] gtk too-small menu bar

2011-05-17 Thread Robby Findler
On Tue, May 17, 2011 at 1:45 PM, Sam Tobin-Hochstadt sa...@ccs.neu.edu wrote: On Tue, May 17, 2011 at 12:04 PM, Robby Findler ro...@eecs.northwestern.edu wrote: In consultation with Matthew, I've pushed a change that fixes the too small menu bar problem, at least on a VM on my laptop

Re: [racket-dev] gtk too-small menu bar

2011-05-17 Thread Robby Findler
On Tue, May 17, 2011 at 2:05 PM, Sam Tobin-Hochstadt sa...@ccs.neu.edu wrote: On Tue, May 17, 2011 at 2:58 PM, Robby Findler ro...@eecs.northwestern.edu wrote: On Tue, May 17, 2011 at 1:45 PM, Sam Tobin-Hochstadt sa...@ccs.neu.edu wrote: On Tue, May 17, 2011 at 12:04 PM, Robby Findler ro

Re: [racket-dev] gtk too-small menu bar

2011-05-17 Thread Robby Findler
On Tue, May 17, 2011 at 2:16 PM, Sam Tobin-Hochstadt sa...@ccs.neu.edu wrote: On Tue, May 17, 2011 at 3:08 PM, Robby Findler ro...@eecs.northwestern.edu wrote: On Tue, May 17, 2011 at 2:05 PM, Sam Tobin-Hochstadt sa...@ccs.neu.edu wrote: On Tue, May 17, 2011 at 2:58 PM, Robby Findler ro

Re: [racket-dev] Fancy application/automatic anonymous functions

2011-05-17 Thread Robby Findler
What is the rule for where the lambda goes? Robby On Tue, May 17, 2011 at 2:14 PM, Sam Tobin-Hochstadt sa...@ccs.neu.edu wrote: Scala has the nice feature that if you write something like this:  lst.map(_ - 1) It automatically rewrites to a function like this:  lst.map(x = x - 1) This makes

Re: [racket-dev] Fancy application/automatic anonymous functions

2011-05-17 Thread Robby Findler
But then this: (map (+ 1 _) (list 1 2 3)) would turn into (lambda (_) (map (+ 1 _) (list 1 2 3)) no? Robby On Tue, May 17, 2011 at 2:22 PM, John Clements cleme...@brinckerhoff.org wrote: On May 17, 2011, at 12:21 PM, Robby Findler wrote: What is the rule for where the lambda goes

Re: [racket-dev] Fancy application/automatic anonymous functions

2011-05-17 Thread Robby Findler
On Tue, May 17, 2011 at 9:52 PM, Matthias Felleisen matth...@ccs.neu.edu wrote: For a while I decided to try point-free programming. You can do it in Racket as well as in Haskell. Then I ran across someone's rules for writing Scheme and he had written  (lambda (n) (+ x n)) is just as

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

2011-05-16 Thread Robby Findler
Oh, I know: the deinprogramm library probably depends on the test-engine tool being present too. Robby On Mon, May 16, 2011 at 4:35 PM, Robby Findler ro...@eecs.northwestern.edu wrote: In the shorter term, is there any reason why the testing library needs its own tool, instead of just being

Re: [racket-dev] planet-version follies with old planet packages

2011-05-16 Thread Robby Findler
It would be helpful if you supplied a little more information on how you're seeing the problem, at least. I guess there is a second package involved? Robby On Mon, May 16, 2011 at 6:12 PM, John Clements cleme...@brinckerhoff.org wrote: On May 15, 2011, at 6:24 AM, Robby Findler wrote: On Sun

Re: [racket-dev] planet-version follies with old planet packages

2011-05-16 Thread Robby Findler
Oh, okay I'm caught up now and, as far as I can tell, the gzip.plt package needs to be updated. It has this: (define required-core-version 400.0) in the info.ss file: http://planet.racket-lang.org/package-source/soegaard/gzip.plt/2/0/info.ss and I think that needs to be this instead:

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

2011-05-15 Thread Robby Findler
On Sun, May 15, 2011 at 3:04 PM, Stephen Chang stch...@ccs.neu.edu wrote: I'm not seeing it with the latest. Did you disable some tools? Or possibly not run raco setup so some tools didn't get registered? I did run raco setup and I have some tools disabled (in fact, everything except htdp,

Re: [racket-dev] Bibtex in Scribble

2011-05-12 Thread Robby Findler
I think scriblib/bibtex. Does it generate (maintainable) source? Robby On Thu, May 12, 2011 at 1:43 PM, Jay McCarthy jay.mccar...@gmail.com wrote: I just finished a Racket BibTeX parser that hooks up with scriblib/autobib. It can parse my 43k line database and I've written renderers for

Re: [racket-dev] Bibtex in Scribble

2011-05-12 Thread Robby Findler
, 2011 at 2:19 PM, Jay McCarthy jay.mccar...@gmail.com wrote: 2011/5/12 Robby Findler ro...@eecs.northwestern.edu: I think scriblib/bibtex. Does it generate (maintainable) source? What do you mean? Jay Robby On Thu, May 12, 2011 at 1:43 PM, Jay McCarthy jay.mccar...@gmail.com wrote: I just

[racket-dev] contract-test.rktl

2011-05-11 Thread Robby Findler
Someone somewhere along the way seems to have disabled contract-test.rktl (ie the main contract library test suite) in drdr. Anyone know who/why? (Eli is marked as last editing that line in the props file, but that doesn't mean he changed it, I don't think) Thanks, Robby

Re: [racket-dev] contract-test.rktl

2011-05-11 Thread Robby Findler
Ha! :) Thanks, Robby On Wed, May 11, 2011 at 9:00 PM, Eli Barzilay e...@barzilay.org wrote: An hour ago, Robby Findler wrote: Someone somewhere along the way seems to have disabled contract-test.rktl (ie the main contract library test suite) in drdr. Anyone know who/why? (Eli is marked

Re: [racket-dev] [Crash report] DrRacket v5.1 crashed on Mac OS X Lion (10.7 preview)

2011-05-08 Thread Robby Findler
Does this mean that Lion insists on all apps being 64bit? Robby On Sat, May 7, 2011 at 3:19 PM, Stephen De Gabrielle stephen.degabrie...@acm.org wrote: I get it too. I'm just updating to lion p2r2, and will install Xcode 4.1 Developer Preview 4. Have you had any luck? The only thing I'm

Re: [racket-dev] Redirecting documentation links

2011-05-06 Thread Robby Findler
I think the right way to do this is to use defidthing with a minimal description and a pointer over to the racket for. Unless it is literally the same binding (re-exported), in which case you can make scribble do that. (Macros can tell the difference, after all.) Robby On Fri, May 6, 2011 at

Re: [racket-dev] Redirecting documentation links

2011-05-06 Thread Robby Findler
+1 On Friday, May 6, 2011, Matthew Flatt mfl...@cs.utah.edu wrote: At Fri, 6 May 2011 11:51:08 -0400, Sam Tobin-Hochstadt wrote: On Fri, May 6, 2011 at 11:42 AM, Matthew Flatt mfl...@cs.utah.edu wrote: At Fri, 6 May 2011 10:13:33 -0400, Sam Tobin-Hochstadt wrote: Is it possible to tell

Re: [racket-dev] git error help?

2011-05-04 Thread Robby Findler
Thanks! (I don't know why, but I'm just getting this message now.) Robby On Sun, May 1, 2011 at 2:04 AM, D Herring dherr...@tentpost.com wrote: On 04/25/2011 10:32 AM, Robby Findler wrote: Anyone recognize this? (git up is git pull --ff-only --stat --all) C:\Users\Administrator\git\exp

Re: [racket-dev] added function to srfi-19....

2011-05-03 Thread Robby Findler
On Tue, May 3, 2011 at 4:55 PM, Matthew Flatt mfl...@cs.utah.edu wrote: I think it's a bad idea to extend the SRFI modules with new functions. I agree with this. Would it make sense to move functionality from SRFI-19 into `racket/date' and then add the new functions there (and maybe change

Re: [racket-dev] Parallel build switched to use Places by default.

2011-05-03 Thread Robby Findler
Have you fixed the freezing problem I reported under windows? If not, maybe we should re-disable it there (since I rarely get builds to complete with it enabled). Robby On Tue, May 3, 2011 at 4:20 PM, Kevin Tew t...@cs.utah.edu wrote: The parallel build has been changed again to use places by

Re: [racket-dev] composing contexts in Redex?

2011-05-02 Thread Robby Findler
On Mon, May 2, 2011 at 2:43 PM, Stephen Chang stch...@ccs.neu.edu wrote: Why not just: A ::= hole | ((lambda x A) e) That doesnt cover something like (((lambda y (lambda x hole)) e_1) e_2) Oh, right. Sorry. Robby _ For list-related

Re: [racket-dev] build error on Mac OS

2011-04-29 Thread Robby Findler
This happens whenever there is an error during the docs build and the build is running parallel. (I thought I had submitted a PR on this, but I can't seem to find it now.) Robby On Fri, Apr 29, 2011 at 6:14 AM, Stephen Bloch sbl...@adelphi.edu wrote: % make install ... raco setup: ---

Re: [racket-dev] build error on Mac OS

2011-04-29 Thread Robby Findler
On Fri, Apr 29, 2011 at 7:49 AM, Eli Barzilay e...@barzilay.org wrote: Two minutes ago, Robby Findler wrote: This happens whenever there is an error during the docs build and the build is running parallel. BTW, the actual error was also stopping the nightly build: raco setup: running: redex

[racket-dev] Gracket.app?

2011-04-29 Thread Robby Findler
Is there any reason to keep Gracket.app? Robby _ For list-related administrative tasks: http://lists.racket-lang.org/listinfo/dev

Re: [racket-dev] Final(?) draft for v5.1.1

2011-04-29 Thread Robby Findler
That looks better to me. On Fri, Apr 29, 2011 at 4:27 PM, Eli Barzilay e...@barzilay.org wrote: Two minutes ago, Robby Findler wrote: On Fri, Apr 29, 2011 at 4:16 PM, Matthew Flatt mfl...@cs.utah.edu wrote: I couldn't resist an editing pass to give the bullets a more consistent style

<    5   6   7   8   9   10   11   12   13   >