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

2012-12-18 Thread Robby Findler
On Tue, Dec 18, 2012 at 12:22 AM, Neil Toronto neil.toro...@gmail.comwrote: On 12/17/2012 05:48 PM, Robby Findler wrote: I'm not sure about this change. If I pass in a buggy function, I'm not sure I'd want the errors to get swallowed. The errors are almost always division by zero or some

Re: [racket-dev] Contract barrier inefficiencies

2012-12-18 Thread Robby Findler
I can't help with the others, but for 1.) I've considered using a contract-stronger? test or even just an eq? test when applying a contract, checking what's already on the value. I haven't added that as it hasn't come up in anger (and it isn't free, but the check is cheap). If I put a broken test

Re: [racket-dev] Typed versions of untyped collections

2012-12-17 Thread Robby Findler
I've long thought something along these lines is a good idea, but perhaps what I think is a good idea isn't what Matthias and Sam think is the bad idea. I think that it makes sense for 'require' in typed-racket to look in a different place than 'require' in untyped racket looks so that one can

Re: [racket-dev] Typed versions of untyped collections

2012-12-17 Thread Robby Findler
foresee this kind of library to become more common, we should probably provide the capability as an abstraction from TR. -- Matthias On Dec 17, 2012, at 3:27 PM, Robby Findler wrote: I've long thought something along these lines is a good idea, but perhaps what I think is a good idea isn't

Re: [racket-dev] Typed versions of untyped collections

2012-12-17 Thread Robby Findler
] *exactly* the same file as in R, so I think Sam's comments are off base. Robby On Mon, Dec 17, 2012 at 2:51 PM, Sam Tobin-Hochstadt sa...@ccs.neu.edu wrote: On Mon, Dec 17, 2012 at 3:27 PM, Robby Findler ro...@eecs.northwestern.edu wrote: I've long thought something along these lines is a good idea

Re: [racket-dev] Typed versions of untyped collections

2012-12-17 Thread Robby Findler
that gives types to some bindings (all of the ones from racket). Your new module's bindings are not in this file. https://github.com/plt/racket/blob/master/collects/typed-racket/base-env/base-env.rkt On Mon, Dec 17, 2012 at 1:16 PM, Robby Findler ro...@eecs.northwestern.edu wrote: I don't

Re: [racket-dev] Typed versions of untyped collections

2012-12-17 Thread Robby Findler
That is what I meant to be asking for. I put too much of what I guess would be a good approach into my messages, tho. Sorry about that. Robby On Mon, Dec 17, 2012 at 5:44 PM, Matthias Felleisen matth...@ccs.neu.eduwrote: Okay. I propose we figure out how to allow people programming in Typed

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

2012-12-17 Thread Robby Findler
I'm not sure about this change. If I pass in a buggy function, I'm not sure I'd want the errors to get swallowed. How about making the plot but putting a red thing on it (and maybe showing the error text on mouseover)? Or maybe making this optional behavior? Robby On Mon, Dec 17, 2012 at 6:02

Re: [racket-dev] Typed versions of untyped collections

2012-12-17 Thread Robby Findler
, and I'd like to keep it that way On Mon, Dec 17, 2012 at 4:30 PM, Robby Findler ro...@eecs.northwestern.edu wrote: For the purposes of this conversation, I don't think it is fair to stop after the comma in your sentence, Eric. :) Robby On Mon, Dec 17, 2012 at 3:29 PM, Eric Dobson

Re: [racket-dev] bit-vectors and serialization

2012-12-16 Thread Robby Findler
If there's no significant performance penalty, then I'd say that we should make things work between 32bit and 64bit builds. (If there is a performance penalty then I'd still want to try to achieve that, at least.) Robby On Sun, Dec 16, 2012 at 6:18 PM, Ryan Culpepper r...@cs.utah.edu wrote:

[racket-dev] unicode Delta vs unicode increment

2012-12-10 Thread Robby Findler
I recently pushed this commit: http://git.racket-lang.org/plt/commit/6babc9ec56d60fba9f3fe6969901a378da266f82 that changes DrRacket's reponse to typing \Deltatex-compress-shortcut. I see now, however, that this commit changed it FROM U+0394 to U+2206, ie from Delta to Increment. Here's the

Re: [racket-dev] unicode Delta vs unicode increment

2012-12-10 Thread Robby Findler
is actually right. I got confused, and I managed to confuse Robby... At Mon, 10 Dec 2012 11:26:42 -0600, Robby Findler wrote: I recently pushed this commit: http://git.racket-lang.org/plt/commit/6babc9ec56d60fba9f3fe6969901a378da266f82 that changes DrRacket's reponse to typing \Deltatex-compress

Re: [racket-dev] unicode Delta vs unicode increment

2012-12-10 Thread Robby Findler
Argh. I confuse easily. I think what's currently pushed is right. Knock on wood. Robby On Mon, Dec 10, 2012 at 11:43 AM, Matthew Flatt mfl...@cs.utah.edu wrote: No --- it should be 916 (= #x394), which is Greek uppercase delta. At Mon, 10 Dec 2012 11:34:13 -0600, Robby Findler wrote: Lets

Re: [racket-dev] We just had our first totally clean build in DrDr in a long time

2012-12-08 Thread Robby Findler
Cool! Robby On Sat, Dec 8, 2012 at 2:45 PM, Jay McCarthy jay.mccar...@gmail.com wrote: We should get one of those signs like in factories: X days accident free. -- Jay McCarthy j...@cs.byu.edu Assistant Professor / Brigham Young University http://faculty.cs.byu.edu/~jay The glory of God

[racket-dev] Fix bug in DrRacket's language configuration dialog

2012-12-05 Thread Robby Findler
That would be great! And your commit also seems good to me. I tried to push it to our repo but somehow I can't see to actually get things locally into the right state so if someone else has time to do that, I would much appreciate it. Robby On Wednesday, December 5, 2012, Philippe Mechaï

Re: [racket-dev] Fix bug in DrRacket's language configuration dialog

2012-12-05 Thread Robby Findler
Thanks! On Wed, Dec 5, 2012 at 5:53 PM, Sam Tobin-Hochstadt sa...@ccs.neu.edu wrote: I've now pushed this. Sam On Wed, Dec 5, 2012 at 5:02 PM, Robby Findler ro...@eecs.northwestern.edu wrote: That would be great! And your commit also seems good to me. I tried to push it to our repo

Re: [racket-dev] Testing whether a procedure gets collected

2012-12-03 Thread Robby Findler
On Sun, Dec 2, 2012 at 11:40 PM, Neil Toronto neil.toro...@gmail.com wrote: On 12/02/2012 12:10 PM, Robby Findler wrote: On Sun, Dec 2, 2012 at 11:43 AM, Matthias Felleisen matth...@ccs.neu.edu wrote: On Dec 1, 2012, at 9:23 PM, Robby Findler wrote: I think the high-level answer

Re: [racket-dev] Testing whether a procedure gets collected

2012-12-03 Thread Robby Findler
On Mon, Dec 3, 2012 at 7:47 AM, Matthew Flatt mfl...@cs.utah.edu wrote: At Mon, 3 Dec 2012 08:04:15 -0500, Sam Tobin-Hochstadt wrote: On Mon, Dec 3, 2012 at 7:54 AM, Robby Findler ro...@eecs.northwestern.edu wrote: I agree that when something is collected is a pretty intentional property

Re: [racket-dev] Testing whether a procedure gets collected

2012-12-03 Thread Robby Findler
Let me also say that I think it is important to give advice on how to test so I think we need to say something. Robby On Mon, Dec 3, 2012 at 10:37 AM, Robby Findler ro...@eecs.northwestern.edu wrote: On Mon, Dec 3, 2012 at 7:47 AM, Matthew Flatt mfl...@cs.utah.edu wrote: At Mon, 3 Dec 2012 08

Re: [racket-dev] Testing whether a procedure gets collected

2012-12-03 Thread Robby Findler
and guarantees) looks pretty good to me. I'll edit and add the suggestion of N allocations. At Mon, 3 Dec 2012 10:39:09 -0600, Robby Findler wrote: Let me also say that I think it is important to give advice on how to test so I think we need to say something. Robby On Mon, Dec 3, 2012

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

2012-12-03 Thread Robby Findler
), though, so if someone is using lazy-require with unquote outside of the racket git repo, that will break. Ryan On 12/03/2012 07:57 PM, Robby Findler wrote: Does the lazy-require move break code? Robby On Mon, Dec 3, 2012 at 6:40 PM, ry...@racket-lang.org wrote: ryanc has updated `master

Re: [racket-dev] DrRacket automatic parentheses mode update

2012-12-03 Thread Robby Findler
Thanks, Nadeem! Robby On Mon, Dec 3, 2012 at 9:30 PM, Nadeem Abdul Hamid nad...@acm.org wrote: Some improvements to DrRacket's automatic parentheses mode are now available in the nightly build version and git repository. If you have previous tried auto-parens and abandoned it, or if you have

Re: [racket-dev] Testing whether a procedure gets collected

2012-12-02 Thread Robby Findler
On Sun, Dec 2, 2012 at 11:43 AM, Matthias Felleisen matth...@ccs.neu.edu wrote: On Dec 1, 2012, at 9:23 PM, Robby Findler wrote: I think the high-level answer is that you have to understand something about details that aren't currently specified but nevertheless are how things currently work

Re: [racket-dev] Testing whether a procedure gets collected

2012-12-01 Thread Robby Findler
How about using a weak box instead? Robby On Sat, Dec 1, 2012 at 11:45 AM, Neil Toronto neil.toro...@gmail.com wrote: I'm getting ready to push a change to math/array that fixes a memory leak. I've devised a test that I think will determine whether an array's procedure gets collected after

Re: [racket-dev] Testing whether a procedure gets collected

2012-12-01 Thread Robby Findler
a closure, I tried this: (define (make-box-thing v) (make-weak-box (λ (_) v))) (define bx (make-box-thing 4)) But this `bx' doesn't let go of its value, either. I can't help but think I'm missing something really stupid, though. Neil ⊥ On 12/01/2012 10:58 AM, Robby Findler

Re: [racket-dev] Testing whether a procedure gets collected

2012-12-01 Thread Robby Findler
was run at the end. I've also got a (collect-garbage) and a (sleep 0) in there. It works... for now, on my machine. Maybe a weak box containing a random closure would work. Hmm... On 12/01/2012 06:46 PM, Robby Findler wrote: This prints #f for me. #lang racket (define (make-box-thing v

Re: [racket-dev] Planet 2 Beta Release

2012-11-30 Thread Robby Findler
to pass the --slow-me-down-but-automatically-download-missing-packages flag, or just run this program in drracket. Robby On Fri, Nov 30, 2012 at 8:44 AM, Eli Barzilay e...@barzilay.org wrote: A few minutes ago, Robby Findler wrote: I agree. Planet 1 currently does this. Only in drr, where you

Re: [racket-dev] Planet 2 Beta Release

2012-11-30 Thread Robby Findler
30, 2012 at 10:38 AM, Eli Barzilay e...@barzilay.org wrote: Just now, Robby Findler wrote: In DrR, it isn't looking at the log that tells you this, you get a special bar appearing in the window. You don't have to do any extra clicks or anything like that. (Yeah, take that as a generalized

Re: [racket-dev] Missing spel cheker

2012-11-29 Thread Robby Findler
There should be an menu item about fourth from the end called Spell Check String Constants. It won't work if you don't have aspell installed, however. Do you have it installed? If so, I'm guessing it probably still won't work because it won't find the binary, sadly. I don't have cygwin on my

Re: [racket-dev] String search in mred/private/wxme: knuth-bendix?!

2012-11-29 Thread Robby Findler
On Thu, Nov 29, 2012 at 5:15 PM, Matthew Flatt mfl...@cs.utah.edu wrote: Assuming that it is KMP, is there a reason why we're not using Boyer-Moore here instead? My understanding was BM was faster than KMP for common situations. IIUC, the BM speedup comes from skipping over portions of the

Re: [racket-dev] Feature request: documentation arrow in DrRacket

2012-11-28 Thread Robby Findler
Yes, it would! In the meantime, you can type #'for* and that'll trigger the docs. The issue is that the documentation is built based on a non-error expansion of the program. Until we change how that works, there won't be any of the online check syntax information for parts that are

Re: [racket-dev] 'case' using equal?

2012-11-26 Thread Robby Findler
I think we should change 'case'. I think we should also add a clear note to the documentation for case saying this is not the same as 'case' in Scheme because it uses equal?, not eqv? and giving a few examples to show the difference to head off any confusion. Robby On Monday, November 26, 2012,

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

2012-11-26 Thread Robby Findler
'); wrote: robby has updated `master' from 569af52ffc to ba89a5da92. http://git.racket-lang.org/plt/569af52ffc..ba89a5da92 =[ One Commit ]= Directory summary: 100.0% collects/framework/private/ ~~ ba89a5d Robby Findler ro

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

2012-11-26 Thread Robby Findler
Okay, I've pushed a fix for a bug that would explain the latest stacktrace. Please let me know if you spot more problems! Thanks, Robby On Mon, Nov 26, 2012 at 12:18 PM, Robby Findler ro...@eecs.northwestern.edu wrote: Well, probably what's happening is that you got an error earlier

Re: [racket-dev] indentation: the rb tree didn't help, but a hack to stick-to-next-sexp might

2012-11-26 Thread Robby Findler
That kind of thing makes a lot of sense to me. I'd probably write the code a little bit differently, having a function that takes a string and sees if the text starting at start-pos matches that string instead of having to special case the numbers 1, 2, 3, 5, and 7. This will also let you just

Re: [racket-dev] indentation: the rb tree didn't help, but a hack to stick-to-next-sexp might

2012-11-26 Thread Robby Findler
...@hashcollision.org wrote: On Mon, Nov 26, 2012 at 11:31 AM, Robby Findler ro...@eecs.northwestern.edu wrote: That kind of thing makes a lot of sense to me. I'd probably write the code a little bit differently, having a function that takes a string and sees if the text starting at start-pos matches

Re: [racket-dev] indentation: the rb tree didn't help, but a hack to stick-to-next-sexp might

2012-11-26 Thread Robby Findler
If you're really worried about the allocation, you can work at the snip level and pass in a buffer to be filled in with characters, you know. :) On Mon, Nov 26, 2012 at 2:44 PM, Danny Yoo d...@hashcollision.org wrote: and call it a bunch (inside an 'or', one branch for each of those strings

Re: [racket-dev] 'case' using equal?

2012-11-25 Thread Robby Findler
Did you try to see if there were any case expressions in our test suites or while building docs or while starting up and fiddling with DrRacket that would behave differently with equal?? Robby On Sun, Nov 25, 2012 at 5:33 PM, Jon Zeppieri zeppi...@gmail.com wrote: As a follow-up to the

Re: [racket-dev] 'case' using equal?

2012-11-25 Thread Robby Findler
I'm not sure what that error message means, but I think I was thinking of a different strategy. Something like this (but where you deal with 'else' properly and write in '#%kernel (so you have to use the expansion of log-info etc etc)), all staying in the same file. #lang racket (provide

Re: [racket-dev] Survey for DrRacket users related to automatic parentheses behavior

2012-11-24 Thread Robby Findler
On Sat, Nov 24, 2012 at 8:53 AM, Laurent laurent.ors...@gmail.com wrote: On Sat, Nov 24, 2012 at 3:11 PM, Nadeem Abdul Hamid nad...@acm.org wrote: On Sat, Nov 24, 2012 at 4:03 AM, Laurent laurent.ors...@gmail.com wrote: If you can, I think it would be a good idea to remove the paren pair

Re: [racket-dev] Square-bracket-sensitive macros in Scribble sandboxes

2012-11-24 Thread Robby Findler
On Sat, Nov 24, 2012 at 6:41 PM, Eli Barzilay e...@barzilay.org wrote: Yesterday, Neil Toronto wrote: Rho! Cute! (As much as I like using non-ascii in code now, having a useful Emacs hack to do that (ρ ρ ρ your ⊥), I think that there are a significant number of people who would just avoid

Re: [racket-dev] Experiments with closure conversion

2012-11-23 Thread Robby Findler
I don't think there is a source-level representation that has those operations explicit in Racket. If you need to change the way closures are represented to do your experiments, you will probably have to work at a very low-level. I think it would help you to look at Casey's model of the Racket

Re: [racket-dev] Square-bracket-sensitive macros in Scribble sandboxes

2012-11-23 Thread Robby Findler
That sounds crazy, man. How about #:keywords instead? If not, then I think you're better off just going with identifiers. Robby On Fri, Nov 23, 2012 at 3:39 PM, Neil Toronto neil.toro...@gmail.com wrote: On 11/23/2012 01:47 PM, Neil Toronto wrote: On 11/22/2012 11:33 AM, Eli Barzilay wrote:

Re: [racket-dev] Square-bracket-sensitive macros in Scribble sandboxes

2012-11-23 Thread Robby Findler
Okay, I can't resist: why not use parens? On Fri, Nov 23, 2012 at 4:31 PM, Neil Toronto neil.toro...@gmail.com wrote: On 11/23/2012 03:03 PM, Robby Findler wrote: That [implicitly quasiquoting array data] sounds crazy, man. How about #:keywords instead? Like this? (array #:keywords

Re: [racket-dev] Square-bracket-sensitive macros in Scribble sandboxes

2012-11-23 Thread Robby Findler
be that everything is quasiquoted, and then the shape of the parens wouldn't matter. Neil ⊥ On 11/23/2012 03:35 PM, Robby Findler wrote: Okay, I can't resist: why not use parens? On Fri, Nov 23, 2012 at 4:31 PM, Neil Toronto neil.toro...@gmail.com wrote: On 11/23/2012 03:03 PM, Robby

[racket-dev] Fwd: Delivery Status Notification (Failure)

2012-11-22 Thread Robby Findler
+lxoqna31rn5jxzkej2onjyqr7o...@mail.gmail.com Subject: Re: [racket-bug] all/13201: DrRacket file not found message not immediately cleared after file created From: Robby Findler ro...@eecs.northwestern.edu To: Kieron Hardy kieron.ha...@gmail.com Cc: b...@racket-lang.org b...@racket-lang.org, nob...@racket-lang.org nob

Re: [racket-dev] Fwd: Delivery Status Notification (Failure)

2012-11-22 Thread Robby Findler
It seems problematic that I cannot send email to bug followups anymore. I poked around on the webpage, but didn't see anything obvious to fix. Robby On Thu, Nov 22, 2012 at 11:27 AM, Eli Barzilay e...@barzilay.org wrote: 30 minutes ago, Robby Findler wrote: Does anyone know how to fix

Re: [racket-dev] Fwd: Delivery Status Notification (Failure)

2012-11-22 Thread Robby Findler
Ah. Thanks. I'll see if I can get our techstaff to let me do the more complex thing via our SMTP servers. Robby On Thu, Nov 22, 2012 at 11:37 AM, Eli Barzilay e...@barzilay.org wrote: Just now, Robby Findler wrote: It seems problematic that I cannot send email to bug followups anymore. I

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

2012-11-21 Thread Robby Findler
On Wed, Nov 21, 2012 at 11:52 AM, Asumu Takikawa as...@ccs.neu.edu wrote: | [...] | | - make queues be sequences directly (and use make-do-sequence | to implement in-queue instead of building a list) Should queues also be streams or just sequences? I didn't think about this: if you think

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

2012-11-21 Thread Robby Findler
Oh, I'm not sure. I just picked sequences to fit into for loops. (Indeed, the code was mostly there already, I just stuck it on the struct.) On Wed, Nov 21, 2012 at 1:22 PM, Asumu Takikawa as...@ccs.neu.edu wrote: On 2012-11-21 12:50:49 -0600, Robby Findler wrote: On Wed, Nov 21, 2012 at 11:52

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

2012-11-21 Thread Robby Findler
While we're on the subject, I see I re-indented Carl's test cases. That was an accident and I'm sorry; I didn't mean to. Robby _ Racket Developers list: http://lists.racket-lang.org/dev

Re: [racket-dev] check-match?

2012-11-20 Thread Robby Findler
with an optional third argument, which relies on more than match-pred anyway. That's what I'm doing. On Mon, Nov 19, 2012 at 9:30 PM, Robby Findler ro...@eecs.northwestern.edu wrote: I think it is better to have a check-match since that way people are more likely to find it. Robby On Mon, Nov 19

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

2012-11-20 Thread Robby Findler
Yes, I think that's the eventual plan. Robby On Tue, Nov 20, 2012 at 9:44 AM, Vincent St-Amour stamo...@ccs.neu.edu wrote: Would it make sense to make this available in the `data' collection? I'm sure it could be useful beyond syntax coloring. Vincent At Mon, 19 Nov 2012 23:07:35 -0500,

Re: [racket-dev] Wow; racket master at least 2x faster than 5.3.1 on my rb tree benchmark?

2012-11-19 Thread Robby Findler
Score another one for random testing! :) On Sun, Nov 18, 2012 at 10:26 PM, Danny Yoo d...@hashcollision.org wrote: On Sun, Nov 18, 2012 at 4:24 PM, Pierpaolo Bernardi olopie...@gmail.com wrote: How does compare to builtin mutable hashes? The following code represents a rough hashtable

Re: [racket-dev] Racket installs more files on amd64 than on i386

2012-11-19 Thread Robby Findler
Hurtado i...@juanfra.info wrote: On 11/19/12 03:40, Robby Findler wrote: On Sun, Nov 18, 2012 at 8:18 PM, Neil Toronto neil.toro...@gmail.com wrote: It's a problem with the contract boundary. The examples work fine in Typed Racket. The problem type is this: (: flomap-transform (case

Re: [racket-dev] check-match?

2012-11-19 Thread Robby Findler
Yeah, that is very nice! (It should begin with check not test tho, right?) Robby On Monday, November 19, 2012, Matthias Felleisen wrote: That is cute. Why don't you just create a pull request and Ryan can integrate it into rackunit? -- Matthias On Nov 19, 2012, at 4:22 PM, Joe Gibbs

Re: [racket-dev] Racket installs more files on amd64 than on i386

2012-11-19 Thread Robby Findler
, 2012, Juan Francisco Cantero Hurtado wrote: On 11/19/12 19:21, Robby Findler wrote: I think it is probably best to have the OpenBSD port be a faithful match to 5.3.1. This isn't a major bug and hopefully you'll just get the fix in 5.3.2 or whatever the next version is called in 2-3 months. Does

Re: [racket-dev] check-match?

2012-11-19 Thread Robby Findler
such? On Mon, Nov 19, 2012 at 8:01 PM, Robby Findler ro...@eecs.northwestern.edu wrote: Yeah, that is very nice! (It should begin with check not test tho, right?) Robby On Monday, November 19, 2012, Matthias Felleisen wrote: That is cute. Why don't you just create a pull request and Ryan can

Re: [racket-dev] check-match?

2012-11-19 Thread Robby Findler
That might be nice, but a form for including a match pattern seems like something that would be really great to have. Robby On Mon, Nov 19, 2012 at 7:25 PM, David Van Horn dvanh...@ccs.neu.edu wrote: On 11/19/12 8:20 PM, Joe Gibbs Politz wrote: Yeah, that is very nice! (It should begin with

Re: [racket-dev] check-match?

2012-11-19 Thread Robby Findler
rackunit has check-pred, of course. Robby On Mon, Nov 19, 2012 at 7:31 PM, Shriram Krishnamurthi s...@cs.brown.edu wrote: Predicates in general would be really awesome. I think the testing infrastructure for Sperber's book (DMDA) has something like this. Making it lightweight is what

Re: [racket-dev] check-match?

2012-11-19 Thread Robby Findler
I think it is better to have a check-match since that way people are more likely to find it. Robby On Mon, Nov 19, 2012 at 7:56 PM, Joe Gibbs Politz j...@cs.brown.edu wrote: (? P) = (lambda (x) (match x [P true] [_ false])) I like this quite a bit. It wouldn't be crazy to add it as

Re: [racket-dev] Wow; racket master at least 2x faster than 5.3.1 on my rb tree benchmark?

2012-11-18 Thread Robby Findler
I don't know if this is the reason, but I do know that Matthew made the jit able to see thru some structure operations. Perhaps that enables some other optimizations now that weren't in 5.3.1. Robby On Sun, Nov 18, 2012 at 4:50 PM, Danny Yoo d...@hashcollision.org wrote: I'm doing some

Re: [racket-dev] Racket installs more files on amd64 than on i386

2012-11-18 Thread Robby Findler
What are they? Robby On Sun, Nov 18, 2012 at 5:01 PM, Juan Francisco Cantero Hurtado i...@juanfra.info wrote: I'm seeing a weird behavior of the installation of Racket 5.3.1 on OpenBSD (I don't know if other OS are affected or not). On amd64 Racket installs this files:

Re: [racket-dev] Racket installs more files on amd64 than on i386

2012-11-18 Thread Robby Findler
Sounds like a bug to me, then. Thanks! Robby On Sun, Nov 18, 2012 at 6:39 PM, Juan Francisco Cantero Hurtado i...@juanfra.info wrote: On 11/19/12 01:13, Robby Findler wrote: Maybe the difference is that there is a bug on x86, then, as in my copy of that file I see a bunch of errors

Re: [racket-dev] Racket installs more files on amd64 than on i386

2012-11-18 Thread Robby Findler
On Sun, Nov 18, 2012 at 8:18 PM, Neil Toronto neil.toro...@gmail.com wrote: It's a problem with the contract boundary. The examples work fine in Typed Racket. The problem type is this: (: flomap-transform (case- (flomap Flomap-Transform - flomap) (flomap Flomap-Transform Integer

Re: [racket-dev] Math library pushed

2012-11-17 Thread Robby Findler
Well, you can also use git rebase. It basically the same as that, but easier. Robby On Sat, Nov 17, 2012 at 12:29 PM, Kevin Tew t...@cs.utah.edu wrote: Use git format-patch to create patch files for your range of commits and then apply them to the current head using git am Kevin On

Re: [racket-dev] Revision to the Language Dialog

2012-11-17 Thread Robby Findler
I've finally gotten back to this and just pushed something that uses tooltips for these messages now. Thanks, Robby On Tue, Nov 6, 2012 at 9:56 PM, Stephen Bloch bl...@adelphi.edu wrote: I find confusing the caption at the bottom of the dialog that explains what the currently-selected

Re: [racket-dev] Replacing the splay tree token-tree% with an rb-tree?

2012-11-16 Thread Robby Findler
On Fri, Nov 16, 2012 at 1:02 PM, Danny Yoo d...@hashcollision.org wrote: I wanted to surprise you by getting this all working by mid-week, but it's taking longer than I thought... :) So I might as well run it by you to make sure the idea is sound before I go further on this track. The core

Re: [racket-dev] git head problem

2012-11-15 Thread Robby Findler
Sorry! I've pushed a change. On Thu, Nov 15, 2012 at 12:08 PM, Matthias Felleisen matth...@ccs.neu.edu wrote: Looks like the latest git head i smissing a file: raco setup: --- installing collections --- raco setup: --- post-installing collections --- raco setup: post-installing: help raco

Re: [racket-dev] Replacing the splay tree token-tree% with an rb-tree?

2012-11-13 Thread Robby Findler
You know I'm reminded that I did some (simpler) experiments on those trees too and found that hundreds of thousands of cons cells (I think, assuming I didn't count wrong) were being implemented when you put the insertion point just before the first double quote character in unit.rkt and then type

Re: [racket-dev] Planet 2 Beta Release

2012-11-12 Thread Robby Findler
On Monday, November 12, 2012, Sam Tobin-Hochstadt wrote: On Thu, Nov 8, 2012 at 7:44 PM, Robby Findler ro...@eecs.northwestern.edu javascript:; wrote: On Thu, Nov 8, 2012 at 3:44 PM, Sam Tobin-Hochstadt sa...@ccs.neu.edujavascript:; wrote: On Thu, Nov 8, 2012 at 3:13 PM, Jay McCarthy

[racket-dev] merge commits and git bisect?

2012-11-11 Thread Robby Findler
Do merge commits cause git bisect to stop working? If so, can we forbid them on the server? Robby _ Racket Developers list: http://lists.racket-lang.org/dev

Re: [racket-dev] merge commits and git bisect?

2012-11-11 Thread Robby Findler
On Sun, Nov 11, 2012 at 11:55 AM, Eli Barzilay e...@barzilay.org wrote: Three hours ago, Robby Findler wrote: Do merge commits cause git bisect to stop working? They shouldn't, AFAICT, but it might be harder to use it since you need to be aware of the non-linear structure when you choose

Re: [racket-dev] merge commits and git bisect?

2012-11-11 Thread Robby Findler
Perhaps it is just me; googling around says that it works fine But all the examples I see are places where people merged intentionally. We have never done that. Robby On Sun, Nov 11, 2012 at 1:55 PM, Eli Barzilay e...@barzilay.org wrote: A few minutes ago, Robby Findler wrote: On Sun, Nov 11

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

2012-11-09 Thread Robby Findler
Was it actually faster? Robby On Fri, Nov 9, 2012 at 5:46 PM, d...@racket-lang.org wrote: dyoo has updated `master' from daca1c0d5b to 7618a6a737. http://git.racket-lang.org/plt/daca1c0d5b..7618a6a737 =[ 2 Commits ]== Directory

Re: [racket-dev] More Scribble optimization; contracts?

2012-11-09 Thread Robby Findler
I think the contracts on struct accessors (and specifically in scribble core data structures) is significant. If you have ideas on how to speed them up, that'd be welcome. I think they are set up to be easily disabled (they are added with a macro somewhere) so you can time things if you want.

Re: [racket-dev] Planet 2 Beta Release

2012-11-08 Thread Robby Findler
I think it is important that you can get a program from the web, put it into DrRacket, hit run, and get Something Good to happen, without having to go type at command lines and whatnot. (This is especially true for Windows, the platform something like 95% of our users use.) Robby On Thu, Nov 8,

Re: [racket-dev] Planet 2 Beta Release

2012-11-08 Thread Robby Findler
? That would give us the range from full manual control to automatic Something Good happens, all without command lines. Carl Eastlund On Thu, Nov 8, 2012 at 7:44 PM, Robby Findler ro...@eecs.northwestern.edu wrote: I think it is important that you can get a program from the web, put

Re: [racket-dev] Revision to the Language Dialog

2012-11-06 Thread Robby Findler
Okay, thanks for the feedback. I've pushed a change that mostly takes the suggestions, except no blue and instead of the parentheticals, I've linked to the docs. (I don't like how the links don't line up vertically so I'll fix that unless the whole thing is dumped, depending on what people say

Re: [racket-dev] Revision to the Language Dialog

2012-11-06 Thread Robby Findler
Well, I can't say that I'm excited about the prospect of going back to that dialog. My goal is to move towards no language dialog at all eventually and that change would not be a step in that direction. While we wait for others' opinions, I've pushed something that makes the ellipsis clickable,

Re: [racket-dev] Revision to the Language Dialog

2012-11-06 Thread Robby Findler
The docs links are meant to all be clickable (and I can certainly underline them). What were you expecting, exactly? I prefer not to make clicking on the #lang .. part edit the definitions window; I think copy and paste is probably clearer to the user. Robby On Tue, Nov 6, 2012 at 1:33 PM,

Re: [racket-dev] Revision to the Language Dialog

2012-11-06 Thread Robby Findler
matth...@ccs.neu.edu wrote: +1 Thank you for the experiment. I am coming to two conclusions: -- I think we're closer to getting it right -- I am beginning to think we dont' ever wish to abolish it. On Nov 6, 2012, at 3:09 PM, Asumu Takikawa wrote: On 2012-11-06 14:03:50 -0600, Robby

Re: [racket-dev] Revision to the Language Dialog

2012-11-06 Thread Robby Findler
Okay, I've push something to try to deal with this. Robby On Tue, Nov 6, 2012 at 3:35 PM, Robby Findler ro...@eecs.northwestern.edu wrote: OH! I now get the confusion. Clicking on the teaching languages is the way one interacts with that part of the dialog but the #lang lines are just text

Re: [racket-dev] Revision to the Language Dialog

2012-11-06 Thread Robby Findler
timer' it doesn't truly work. Let's wait and see. -- Matthias On Nov 6, 2012, at 8:17 PM, Robby Findler wrote: Okay, I've push something to try to deal with this. Robby On Tue, Nov 6, 2012 at 3:35 PM, Robby Findler ro...@eecs.northwestern.edu wrote: OH! I now get the confusion. Clicking

Re: [racket-dev] Again with the language dialog

2012-11-06 Thread Robby Findler
I think you missed a revision to the dialog. The currently pushed version switches you to the The Racket Language when you click on one of the examples. Robby On Tue, Nov 6, 2012 at 9:59 PM, Stephen Bloch bl...@adelphi.edu wrote: Clicking on #lang racket brings up a friendly dialog box saying

Re: [racket-dev] Revision to the Language Dialog

2012-11-05 Thread Robby Findler
Thanks for taking a look. On Monday, November 5, 2012, Sam Tobin-Hochstadt wrote: - Allow the presence of a #lang line to override the language dialog, or at least give an error that's more helpful than currently. What did you have in mind here? The error you get in the teaching languages

Re: [racket-dev] Revision to the Language Dialog

2012-11-05 Thread Robby Findler
I think it makes sense to put that error message directly into the teaching languages. Robby On Mon, Nov 5, 2012 at 5:16 PM, Sam Tobin-Hochstadt sa...@ccs.neu.edu wrote: On Mon, Nov 5, 2012 at 6:11 PM, Robby Findler ro...@eecs.northwestern.edu wrote: Thanks for taking a look. On Monday

Re: [racket-dev] Revision to the Language Dialog

2012-11-05 Thread Robby Findler
: On Sat, Nov 3, 2012 at 2:57 PM, Robby Findler ro...@eecs.northwestern.edu wrote: There was a discussion a while back on revising the language dialog (I've lost track of the thread since I started hacking on the dialog; apologies). The thread starts here: http://bugs.racket-lang.org/query/?cmd

[racket-dev] Revision to the Language Dialog

2012-11-03 Thread Robby Findler
There was a discussion a while back on revising the language dialog (I've lost track of the thread since I started hacking on the dialog; apologies). I've just pushed something based on that discussion. Please let me know what you think. Robby _ Racket Developers list:

Re: [racket-dev] https connections in tests in drdr?

2012-11-02 Thread Robby Findler
more network traffic per push. Is there something in particular you're worried about? Even though Matthew is very productive, I think it will be a while until his activity causes DrDr to mount a denial-of-service attack. Jay On Fri, Nov 2, 2012 at 9:33 AM, Robby Findler ro

Re: [racket-dev] https connections in tests in drdr?

2012-11-02 Thread Robby Findler
a trusted HTTPS server (like Apache) on DrDr and have it contact that... so it doesn't rely on the real network. (That is, if we don't want to have the test spawn a Racket implemented HTTPS server.) Jay On Fri, Nov 2, 2012 at 12:20 PM, Robby Findler ro...@eecs.northwestern.edu wrote

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

2012-10-31 Thread Robby Findler
On Wed, Oct 31, 2012 at 8:53 AM, Matthias Felleisen matth...@ccs.neu.edu wrote: At some point someone (Asumu?) mentioned that this is the only use of coroutine in our code base. Is this correct? grep suggests that there are no more (none on planet either). FWIW, this is still morally a

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

2012-10-31 Thread Robby Findler
Maybe in a while (lets see if my change works out). Robby On Wed, Oct 31, 2012 at 9:10 AM, Matthias Felleisen matth...@ccs.neu.edu wrote: Is it appropriate then to deprecate the library and to move the code eventually into racket/control-examples? On Oct 31, 2012, at 10:08 AM, Robby

Re: [racket-dev] Fwd: [DrDr] R25581 (timeout 2) (unclean 1) (stderr 3) (changes 59)

2012-10-31 Thread Robby Findler
Apparently it only fails occasionally (at least it passes for me when I just tried it twice and it didn't fail the last time in drdr). Probably we should instrument it to see what is going on when it fails. Robby On Wed, Oct 31, 2012 at 6:05 PM, Danny Yoo d...@racket-lang.org wrote: Does

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

2012-10-28 Thread Robby Findler
Was it wrong before? Suboptimal somehow? On Oct 28, 2012, at 9:58 AM, Sam Tobin-Hochstadt sa...@ccs.neu.edu wrote: On Wed, Oct 24, 2012 at 8:29 PM, Ryan Culpepper r...@cs.utah.edu wrote: samth: - type-contract fixes/changes (9e1cf579a4, 962f2472e1) - add #:opaque and #:struct to

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

2012-10-28 Thread Robby Findler
Is the first one is something new? Otherwise, I'm not sure that any of these should be in the release announcement, unless maybe there's something I'm missing about the changes? Robby On Sunday, October 28, 2012, Vincent St-Amour wrote: At Wed, 24 Oct 2012 20:29:43 -0400, Ryan Culpepper

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

2012-10-28 Thread Robby Findler
On second thought, I think we should include all of the bullets Vincent lists (below) and remove this one Matthew lists: On Sun, Oct 28, 2012 at 9:42 AM, Matthew Flatt mfl...@cs.utah.edu wrote: * The `for' form now supports `#:break' and `#:final' clauses. Robby On Sun, Oct 28, 2012 at 1:04

Re: [racket-dev] [DrDr] R25564 (timeout 1) (unclean 0) (stderr 4) (changes 57)

2012-10-28 Thread Robby Findler
Looks like this is something that fails once in a while, eg: http://drdr.racket-lang.org/25540/collects/tests/gracket/paramz.rktl On Sun, Oct 28, 2012 at 7:15 PM, Danny Yoo d...@racket-lang.org wrote: I received the following report from DrDr: On Sun, Oct 28, 2012 at 5:52 PM,

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

2012-10-27 Thread Robby Findler
* DrRacket now runs Check Syntax continuously in the background (by default; this was available in previous releases, but disabled by default) Robby On Wed, Oct 24, 2012 at 7:29 PM, Ryan Culpepper r...@cs.utah.edu wrote: The release announcement sketch that I have so far is below. Please

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

2012-10-25 Thread Robby Findler
I believe this is the first release where online check syntax is enabled by default. I'm not sure, but I also think that it hasn't been mentioned in the release notes before. Robby On Wednesday, October 24, 2012, Ryan Culpepper wrote: The release announcement sketch that I have so far is

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