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 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 between "one va

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 wrote: > > DrRacket behaves differently here. It silen

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 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 add it.  What I'm

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

2011-06-08 Thread Robby Findler
Just on general principle, I think that making take in lazy match take in regular racket is more important than matching Haskell, but I don't really have a firm enough grasp on the details to have a strong opinion either way on the below. Sorry, Robby On Wed, Jun 8, 2011 at 8:36 AM, Eli Barzilay

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

2011-06-08 Thread Robby Findler
On Wed, Jun 8, 2011 at 8:55 AM, Eli Barzilay wrote: > About a minute ago, Robby Findler wrote: >> Just on general principle, I think that making take in lazy match >> take in regular racket is more important than matching Haskell, but >> I don't really have a firm enou

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

2011-06-08 Thread Robby Findler
On Wed, Jun 8, 2011 at 9:21 AM, Eli Barzilay 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), but I am strongly

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

2011-06-08 Thread Robby Findler
On Wed, Jun 8, 2011 at 10:30 AM, Stephen Bloch wrote: > > On Jun 8, 2011, at 9:55 AM, Eli Barzilay wrote: > >> ... the >> justification for the argument order in Haskell is not laziness but >> its implicit currying -- so of course it shouldn't be a reason to make >> lazy racket follow it.] > > Ano

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 wrote: > > "Take from the sequence of primes the first five numbers and add them up." > This is at most slightly mangled :-) > > > On Jun 8, 2011, at 11:38

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

2011-06-10 Thread Robby Findler
Why did you sanitize the name? Is this language different than brainfuck? Robby On Fri, Jun 10, 2011 at 5:32 PM, Danny Yoo wrote: > Just in case this is interesting (or humorous)  to the other devs. > I'll be writing up tutorial text for it soon. > > --- > > I'm starting to work on a small examp

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 wrote: > On Fri, Jun 10, 2011 at 6:43 PM, Robby Findler > 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] 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 wrote: > Thi

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

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

2011-06-18 Thread Robby Findler
how the highlighted error in that case, but keep the focus in the > interactions.) > > > Earlier today, ro...@racket-lang.org wrote: >> 8357629 Robby Findler 2011-06-17 11:13:11 +0800 >> : >> | if we're highlighting something in the defs window, make sure the &g

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

2011-06-18 Thread Robby Findler
gt; time...  I think that making the focus change without explicit > intention to do so is usually a bad idea. > > But since it's been this way for a while I knew that it's unlikely to > change.  (Also, since it's been this way your fix makes more sense as > things curre

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 wrote: > Does anyone have any objection to dropping the unitized interface for > `net/url'?  Specifically,

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

2011-06-19 Thread Robby Findler
That sounds reasonable to me. You could even mention this rationale in the documentation (avoiding backwards incompatibility and the hopefully-coming-soon redesign and how this is a stop-gap). Robby On Mon, Jun 20, 2011 at 6:47 AM, Eli Barzilay wrote: > Two minutes ago, Neil Van Dyke wrote: >> >

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 brea

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

2011-06-19 Thread Robby Findler
e 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 wrote: > Three minutes ago, Robby Findler wrote: >> +1 to that sentiment. >> >> I think this whole conversation is meant to be a

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 typed/scheme/b

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 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 type raco make).

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 wrote: > On Wed, Jun 22, 2011 at 6:53 PM, Robby Findler > wrote: >> To really know what is g

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

2011-06-23 Thread Robby Findler
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? Thanks, Robby _ For list-related administrative tasks: http://lists.racket-lang.org/listinfo/dev

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 wrote: > > On Jun 23, 2011 6:39 PM, "Robby Findler" > 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? > >

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 wrote: > On Thu, Jun 23, 2011 at 9:19 PM, Robby Findler > wrote: >> On Fri, Jun 24, 2011 at 8:58 AM, Sam Tobin-Hochstadt >> wrote: >>> >>> On Jun 23, 2011 6:39 PM, "Robby Findler" >>>

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 wrote: > On Thu, Jun 23, 2011 at 9:51 PM, Robby Findler > wrote: >> >> So I think the fix is to do the renaming for

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

2011-06-24 Thread Robby Findler
7;s able to find 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" > wrote: >> >> I'm not

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

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

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

2011-06-26 Thread Robby Findler
With the setup you've put into that patch, this file demonstrates the problem at the next lower layer. The first call to xref-binding->definition-tag returns #f, but it should return something similar to the second one, I believe. #lang racket/base (require setup/xref scribble/xref) (define xref (

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

2011-06-27 Thread Robby Findler
We're talking about relative requires only, right? How are you proposing to signal the error? Robby On Tue, Jun 28, 2011 at 7:39 AM, Matthias Felleisen wrote: > > On Jun 27, 2011, at 7:37 PM, John Clements wrote: > >> I'm fixing require in the stepper, and I want to make sure that the existing

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

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 8:19 AM, John Clements wrote: > > On Jun 27, 2011, at 5:10 PM, Robby Findler wrote: > >> On Tue, Jun 28, 2011 at 7:52 AM, John Clements >> wrote: >>> >>> On Jun 27, 2011, at 4:45 PM, Robby Findler wrote: >>> >&g

Re: [racket-dev] Doc clarification for planet/util install-pkg

2011-06-28 Thread Robby Findler
On Wed, Jun 29, 2011 at 5:47 AM, John Clements wrote: > I'm confused by the documentation for Planet's "install-pkg" function. First, > it appears to me that this is what I'd use to simulate "raco planet > fileinject"--is that correct? Yes, I believe so. > (I'm on a windows system, and I'm not

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

2011-06-28 Thread Robby Findler
Yes, please do separate the stepper tests out into another file. Robby On Wed, Jun 29, 2011 at 1:52 PM, Eli Barzilay wrote: > An hour and a half ago, John Clements wrote: >> In certain places, I know that we're trying to be careful to >> minimize 'require's that occur as part of DrRacket startup

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

2011-06-28 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 drrack

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

2011-06-29 Thread Robby Findler
On Wed, Jun 29, 2011 at 7:40 PM, Sam Tobin-Hochstadt wrote: > On Wed, Jun 29, 2011 at 2:52 AM, Eli Barzilay wrote: >> >> [*] As an example, rackunit might become dependent on drr in the >> future, if it becomes a drr plugin.  The cost of that is obvious: you >> need drr to use rackunit.  A possib

[racket-dev] test-docs-complete.rkt

2011-06-29 Thread Robby Findler
Hi all: it has been a little more than two months since I did that wholesale checkin of some documentation testing scripts. Below are the tests that have only been touched by me, so unless I hear otherwise, I'm going disable these tests so they stop polluting the drdr output. There are a handful o

Re: [racket-dev] syntax taints instead of syntax certificates

2011-06-29 Thread Robby Findler
Excellent! Thanks, Matthew and Ryan for figuring out what appears to be a promising approach to a gaping hole in our security picture. Robby On Thu, Jun 30, 2011 at 9:19 AM, Matthew Flatt wrote: > I've pushed a change to Racket's macro system that throws out the > syntax-certificate system and a

Re: [racket-dev] rename "Help Desk" menu item

2011-06-30 Thread Robby Findler
Sounds like a good change to me. Robby On Fri, Jul 1, 2011 at 12:11 AM, Eli Barzilay wrote: > Four minutes ago, Neil Van Dyke wrote: >> Now that there is no longer a "Help Desk", can that menu item in >> DrRacket be renamed to something like "Documentation" or "Racket >> Documentation"? >> >> I

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 wrote: > I just pushed a commit intended to improve the usability of the main > documentation pa

Re: [racket-dev] documentation reorganization

2011-07-01 Thread Robby Findler
ural 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 > &g

Re: [racket-dev] documentation reorganization

2011-07-01 Thread Robby Findler
On Sat, Jul 2, 2011 at 9:53 AM, Eli Barzilay wrote: > Four minutes ago, Robby Findler wrote: >> On Sat, Jul 2, 2011 at 9:41 AM, Ryan Culpepper wrote: >> > re "Low-Level API": the other category labels are generally >> > plural, and other manuals might get in

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 wrote: > Three minutes ago, Robby Findler wrote: >> On Sat, Jul 2, 2011 at 9:53 AM, Eli Barzilay wrote: >> > Four minutes ago, Robby Findler wrote: &g

Re: [racket-dev] documentation reorganization

2011-07-02 Thread Robby Findler
I don't think you can demote either of these: The Racket Drawing Toolkit The Racket Graphical Interface Toolkit Robby On Sat, Jul 2, 2011 at 10:57 AM, Guillaume Marceau wrote: > On Fri, Jul 1, 2011 at 8:45 PM, Ryan Culpepper wrote: >> I just pushed a commit intended to improve the usabilit

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 wrote: > As of this evening's DrDr build, test-docs-complete is complaining of a

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

2011-07-04 Thread Robby Findler
On Tue, Jul 5, 2011 at 8:52 AM, Sam Tobin-Hochstadt wrote: > On Mon, Jul 4, 2011 at 8:36 PM, Stephen Bloch wrote: >> As of this evening's DrDr build, test-docs-complete is complaining of a >> gazillion "undocumented exports" from picturing-programs.  In fact, these >> identifiers are all required

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

2011-07-04 Thread Robby Findler
And, more importantly, it does appear to have been a problem with drdr, not a problem with Stephen's files, as the complaint has now gone away. Robby On Tue, Jul 5, 2011 at 9:23 AM, Robby Findler wrote: > On Tue, Jul 5, 2011 at 8:52 AM, Sam Tobin-Hochstadt wrote: >> On Mon, Jul 4

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 wrote: > > Eli Barzilay 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 references. > > I'm talking about the

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 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 is, I have to type > >

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

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

2011-07-13 Thread Robby Findler
In racket/pretty, pretty-print is like print and pretty-write is like write. In scheme/pretty, pretty-print is like write. So probably the better change is to stick with racket/pretty and use pretty-write instead of pretty-print. Robby On Wed, Jul 13, 2011 at 9:57 PM, Guillaume Marceau wrote: >

Re: [racket-dev] build error

2011-07-16 Thread Robby Findler
Oh! Sorry about that. Thanks, Matthew. Robby On Saturday, July 16, 2011, Matthew Flatt wrote: > I'll push a repair soon (after I confirm that a clean build now > completes for me). > > There were two problems: > >  * A new test file in "collects/tests/drracket" shouldn't be compiled, >   since

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 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 > `test/spec-failed' expects a symbol. Fi

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 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 suppose). Robby ___

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 wrote: > Jakub Piotr Cłapa wrote at 07/17/2011 08:25 AM: >> >> Uncompressed HFS+ images may be mounted on Linux but I am not

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 wrote: > Here's what I tried: > > 1. I added this test, which should fail for identifying the

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 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 one he w

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 c

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

2011-07-18 Thread Robby Findler
Also, when I disable cookies, I see that the context sensitive search just silently doesn't work. Would it be possible to always have the search set a (separate) cookie and give a warning if it doesn't find the (constant) cookie? Robby On Mon, Jul 18, 2011 at 7:03 PM, Danny Yoo wrote: >>> > I t

[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 (co

Re: [racket-dev] teaching language error messages

2011-07-19 Thread Robby Findler
On Tue, Jul 19, 2011 at 12:03 PM, Guillaume Marceau wrote: > > > On Tue, Jul 19, 2011 at 12:03 PM, Robby Findler > wrote: >> >> I see that the teaching language error messages now have things like >> this in them (where the . is an image literal): >> >>

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

2011-07-19 Thread Robby Findler
On Tue, Jul 19, 2011 at 1:06 PM, Eli Barzilay wrote: > Yesterday, Robby Findler wrote: >> Also, when I disable cookies, I see that the context sensitive >> search just silently doesn't work. >> >> Would it be possible to always have the search set a (separate) &g

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 wrote: > 25 minutes ago, Robby Findler wrote: >> On Tue, Jul 19, 2011 at 1:06 PM, Eli Barzilay wrote: >> > Yesterday, Robby Findler wrote: >> >> Also, when I disable cookies, I see that the context sensitive >>

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 wrote: > Two days ago, Robby Findler wrote: >> On Sun, Jul 17, 2011 at

Re: [racket-dev] Racket DMG improvements

2011-07-21 Thread Robby Findler
t;/Users/spdegabrielle/Documents/Development/make alias test" as text >   make new alias file to Src at folder Dest > end tell > EOT > > mv Applications "Drag into your Applications folder(here)" > > - > > On Tue, Jul 19, 2011 at 11:33 PM, Robby Findler &g

Re: [racket-dev] Racket DMG improvements

2011-07-21 Thread Robby Findler
On Thu, Jul 21, 2011 at 11:21 AM, Stephen De Gabrielle wrote: > The script please, that way if I get the first draft wrong, I won't be > asking you for a new one. Sure. Attached. Robby rising-plt.rkt Description: Binary data _ For list-related

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 in

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

2011-07-21 Thread Robby Findler
On Tue, Jul 19, 2011 at 4:16 PM, Ryan Culpepper wrote: > * Robby Findler > - DrRacket Tests > - Framework Tests > - Contracts Tests > - Games Tests > - Teachpacks Tests: image tests > - PLaneT Tests > Updates: > - DrRacket Updates: update HISTORY > (upd

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

2011-07-22 Thread Robby Findler
so I didn't ask about it later... > > Should 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 >>

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 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 folks think that > it shoul

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 1

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

2011-07-26 Thread Robby Findler
I couldn't make this happen on my own, but I've pushed a fix for the likely problem. Robby On Tue, Jul 26, 2011 at 2:12 PM, Matthias Felleisen wrote: > > built from scratch this morning > > error messages: > > [1] 847 > [:~/Git/Ingenious] matthias% send: target is not an object: #f for method:

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 w

Re: [racket-dev] A basic package system

2011-07-27 Thread Robby Findler
kages > also allow module privacy in a way we don't provide now, because some > 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 > &

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

2011-08-01 Thread Robby Findler
On Monday, August 1, 2011, Sam Tobin-Hochstadt wrote: > On Mon, Aug 1, 2011 at 1:10 PM, Eli Barzilay wrote: >> About a minute ago, Vincent St-Amour wrote: >>> - Typed Racket now optimizes at the REPL and inside typed regions. >> >> This sounds too uninteresting for most users. > > Have we run out

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 wrote: > On Mon, Aug 1, 2011 at 1:52 PM, Robby Findler > wrote: >> >> On Monday, August 1, 2011, Sam Tobin-Hochstadt wrote: >>> On Mon, Aug 1, 20

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 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 racket/contract/combinator library

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 wrote: > On Tue, Aug 2, 2011 at 6:14 AM, Eli Barzilay wrote: >> >> -- >> * The download page includes 64-bit installers for Mac OS X, >> Windows, and two Debian flavo

Re: [racket-dev] New plot library [Was: (to Jay) Re: What I'm working on]

2011-08-02 Thread Robby Findler
On Tuesday, August 2, 2011, Neil Toronto wrote: > Re-routing this email exchange to [racket-dev] for comments. > > Long story short: Jay roped me into replacing the current `plot' module by wrapping a plot library I was working on for my own use. (FWIW, I'm happy to finally contribute something!)

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

Re: [racket-dev] testing

2011-08-04 Thread Robby Findler
OK. On Thu, Aug 4, 2011 at 11:18 AM, Matthias Felleisen 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 a

Re: [racket-dev] testing

2011-08-04 Thread Robby Findler
I think that we can accommodate all of that by simply standardizing a place where an entire test can be run from. That is, I expect the interesting question this answers is "I have just food and fixed a bug in some unknown code: where do I go to find the relevant tests to add more and run all the e

Re: [racket-dev] Roogle?

2011-08-04 Thread Robby Findler
I too tried it (ages ago) and ended up roughly where Eli is, but I didn't want to judge since I wasn't actually trying to use it for something useful (and, as we all know, that can change how you use things and how well they work for you). So I wonder if anyone has a positive experience with this k

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 wrote: > On Fri, Aug 5, 2011 at 8:13 AM, wrote: >> clklein has updated

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 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: http://lists.racket-lan

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 wrote: > On Sat, Aug 6, 2011 at 10:43 AM, Matthias Felleisen > wrote: >> >> 1. I like Robby's mode suggestion. >> 2. I prefer shorter keywords, e.g., define-judgment. > > I'm having trouble reconciling these comments. Robby's suggestion, if > I understa

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 wrote: > On Sat, Aug 6, 2011 at 1:58 PM, Robby Findler > wrote: >> On Sat, Aug 6, 2011 at 1:53 PM, Casey Klein >> wrote: >>> On Sat, Aug 6, 2011 at 10:43 AM, Matthias Felleisen >>> wrote: >>

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
; Three hours 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'

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

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

2011-08-07 Thread Robby Findler
Oh, yes. In particular, one that always gives me trouble: what is the name of the method that sets the focus to a snip that's embedded inside some editor? Robby On Sun, Aug 7, 2011 at 1:20 PM, Matthias Felleisen wrote: > > Throwing out state is fine though I will confess that I rarely look for

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

2011-08-08 Thread Robby Findler
On Mon, Aug 8, 2011 at 10:05 AM, Matthew Flatt wrote: > [Moved to the dev list.] > > At Sat, 06 Aug 2011 07:25:00 -0400, Neil Van Dyke wrote: >> Feature request... I'd *really* like to see compile-time checking of >> keyword arguments whenever that is possible. >> >> If compiler knows what procedu

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

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 drd

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 wrote: > I like the two-times-in-a-row thought. > > FWIW, please try to avoid race conditions of the second kind. > > I thi

Re: [racket-dev] DrDr Feature Request

2011-08-08 Thread Robby Findler
On Mon, Aug 8, 2011 at 11:05 AM, Vincent St-Amour 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

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 wrote: > Another request: could DrDr process the la

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

Re: [racket-dev] Downloading DrRacket for Mac is hard?

2011-08-11 Thread Robby Findler
Why would it damage more people? I think it makes sense to put on the first page some kind of an indication that "this is what we guess your machine is; if you don't know, try this one first". Perhaps not Guillaume's exact words, but something that would help this person. Robby On Thu, Aug 11, 2

Re: [racket-dev] Downloading DrRacket for Mac is hard?

2011-08-11 Thread Robby Findler
ts. > > Jay > > On Thu, Aug 11, 2011 at 6:23 AM, Robby Findler > wrote: >> Why would it damage more people? >> >> I think it makes sense to put on the first page some kind of an >> indication that "this is what we guess your machine is; if you don't

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