Re: [racket-dev] patch for make-base-eval

2013-10-03 Thread Robby Findler
also added some tests and the docs seem to compile ok. On Wed, Oct 2, 2013 at 7:21 PM, Robby Findler ro...@eecs.northwestern.edu wrote: namespace-attach-module sets up shared state between two modules so that, in this case, the racket/pretty in one namespace is the same as the racket/pretty

Re: [racket-dev] patch for make-base-eval

2013-10-02 Thread Robby Findler
The last two sound better than the others to me, FWIW. Robby On Wed, Oct 2, 2013 at 2:37 PM, Ryan Culpepper ry...@ccs.neu.edu wrote: On 10/02/2013 03:19 PM, Stephen Chang wrote: Can I push the attached (1-line) patch? I don't have a good grasp of namespaces so I would like someone to

Re: [racket-dev] patch for make-base-eval

2013-10-02 Thread Robby Findler
declared in the target namespace; you must also check any module it (transitively) requires is either undeclared or was attached from the same namespace you want to attach racket/pretty from. Ryan On 10/02/2013 03:50 PM, Robby Findler wrote: A namespace is a mapping from top-level

Re: [racket-dev] Generics updates

2013-10-02 Thread Robby Findler
authors to tag their set as having this property for the benefit of consumers (which cannot be enforced.) Your library would then consume fsets and not sets. Jay On Wed, Oct 2, 2013 at 2:09 PM, Robby Findler ro...@eecs.northwestern.edu wrote: If we do go this way, we should be careful about

Re: [racket-dev] patch for make-base-eval

2013-10-02 Thread Robby Findler
namespace-attach-module sets up shared state between two modules so that, in this case, the racket/pretty in one namespace is the same as the racket/pretty in the other. Try putting a printf in the top-level of racket/pretty (and in various other places in that code as it does what it does) and

Re: [racket-dev] DrRacket display bug

2013-09-27 Thread Robby Findler
I'm not quite seeing what is wrong about that. Is the issue that you have word wrapping turned off (in the Edit menu) but you're still seeing wrapping? Robby On Thu, Sep 26, 2013 at 10:46 PM, Evgeny Odegov oev-rac...@sibmail.comwrote: To reproduce: Generate file with the following script

Re: [racket-dev] workaround for 5.3.6 require for-label problem?

2013-09-27 Thread Robby Findler
I think the error message you're seeing is probably unrelated. That was a bug inside check syntax that should only affect it. Robby On Fri, Sep 27, 2013 at 8:01 PM, John Clements cleme...@brinckerhoff.orgwrote: I'm noticing that with version 5.3.6 of DrRacket, a package install of rsound

Re: [racket-dev] DOS attack on planet?

2013-09-22 Thread Robby Findler
I don't think that the planet server itself doesn't keep enough information to say much about this, but the requests come via apache so there might be more information in a log file at that level that Eli might be able to tell us about. I do see lots of requests coming in for packages, tho. In

Re: [racket-dev] Pinging BYU people!! (was: DOS attack on planet?)

2013-09-22 Thread Robby Findler
It is like he is trying to justify his existence while he is on his way out the door which seems strange. IIUC, we cannot afford $80/90k or whatever it was he costs anyway. So I have no idea what to think about his message. Robby On Sun, Sep 22, 2013 at 5:34 PM, Jay McCarthy

Re: [racket-dev] Pinging BYU people!! (was: DOS attack on planet?)

2013-09-22 Thread Robby Findler
, Sep 22, 2013 at 5:58 PM, Robby Findler ro...@eecs.northwestern.eduwrote: Eli: I'm sorry. I (obviously) didn't mean to send this message publicly and it was also definitely sent in frustration (in lots of directions, not only yours). My apologies. Robby On Sun, Sep 22, 2013 at 5:44 PM

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

2013-09-17 Thread Robby Findler
to exists. Alternatively, a link that goes to the web if the package doesn't exist yet. I think the latter is planned but not yet implemented, from my recollection. Sam On Mon, Sep 16, 2013 at 5:41 PM, Robby Findler ro...@eecs.northwestern.edu wrote: So you want scribble to generate

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

2013-09-17 Thread Robby Findler
On Tue, Sep 17, 2013 at 6:14 AM, Sam Tobin-Hochstadt sa...@cs.indiana.eduwrote: On Sep 17, 2013 4:38 AM, Robby Findler ro...@eecs.northwestern.edu wrote: FWIW, this seems to have broken the snapshot builds. I'll add the missing dependency declarations so I can restart the northwestern

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

2013-09-17 Thread Robby Findler
No problem. It was easy to tweak and re-run (and one lost day is not a big deal either). Robby On Tue, Sep 17, 2013 at 7:30 AM, Asumu Takikawa as...@ccs.neu.edu wrote: On 2013-09-17 06:15:42 -0600, Matthew Flatt wrote: Yes, please treat missing package dependencies the same as any other

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

2013-09-17 Thread Robby Findler
On Tue, Sep 17, 2013 at 7:41 AM, Matthew Flatt mfl...@cs.utah.edu wrote: At Tue, 17 Sep 2013 08:31:26 -0400, Sam Tobin-Hochstadt wrote: On Tue, Sep 17, 2013 at 8:15 AM, Matthew Flatt mfl...@cs.utah.edu wrote: In this particular case, if `raco setup` hadn't reported failure, the

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

2013-09-17 Thread Robby Findler
On Tue, Sep 17, 2013 at 9:53 AM, Greg Hendershott greghendersh...@gmail.com wrote: On Tue, Sep 17, 2013 at 8:29 AM, Matthew Flatt mfl...@cs.utah.edu wrote: I think the problem is the way that the release and development version numbers got out of sync for a while. Version 5.3.6 is derived

Re: [racket-dev] Installing subsets of Racket

2013-09-16 Thread Robby Findler
In the meantime, the images pkg is now broken up and images-lib depends only on draw-lib (and some unstable stuff), no longer on the full gui library or the docs. Robby On Mon, Sep 16, 2013 at 11:24 AM, Laurent laurent.ors...@gmail.com wrote: Sounds good! I think as long as it's possible to

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

2013-09-16 Thread Robby Findler
other libraries in a typed fashion -- it's a question that comes up a lot. Sam On Mon, Sep 16, 2013 at 5:16 PM, Robby Findler ro...@eecs.northwestern.edu javascript:; wrote: Can that code not be moved into the relevant packages instead? Robby On Mon, Sep 16, 2013 at 3:21 PM, Asumu

Re: [racket-dev] Bug report not confirmed

2013-09-15 Thread Robby Findler
What was the issue? Robby On Sun, Sep 15, 2013 at 9:19 AM, Laurent laurent.ors...@gmail.com wrote: On Sat, Sep 14, 2013 at 12:40 AM, Eli Barzilay e...@barzilay.org wrote: Just now, Greg Hendershott wrote: On Thu, Sep 12, 2013 at 4:41 PM, Laurent laurent.ors...@gmail.com wrote: FYI,

Re: [racket-dev] List-box% infinite loop (was: Bug report not confirmed)

2013-09-15 Thread Robby Findler
I have the impression that invoking methods like 'set' aren't supposed to invoke callbacks like that, generally speaking. Robby On Sun, Sep 15, 2013 at 9:58 AM, Laurent laurent.ors...@gmail.com wrote: On Sun, Sep 15, 2013 at 4:34 PM, Robby Findler ro...@eecs.northwestern.edu wrote: What

Re: [racket-dev] call-with-limits memory bound isn't actually bounding memory usage

2013-09-11 Thread Robby Findler
. This is all just pounding on global hash-tables and vectors. Or are you talking about the sandbox queuing up callbacks? -Ian - Original Message - From: Robby Findler ro...@eecs.northwestern.edu To: J. Ian Johnson i...@ccs.neu.edu Cc: dev dev@racket-lang.org Sent: Monday

Re: [racket-dev] call-with-limits memory bound isn't actually bounding memory usage

2013-09-11 Thread Robby Findler
. What is the right way to refer to module A in racket/load, though? Thanks, -Ian - Original Message - From: J. Ian Johnson i...@ccs.neu.edu To: Robby Findler ro...@eecs.northwestern.edu Cc: dev dev@racket-lang.org, J. Ian Johnson i...@ccs.neu.edu Sent: Wednesday, September 11, 2013 3:49

Re: [racket-dev] call-with-limits memory bound isn't actually bounding memory usage

2013-09-09 Thread Robby Findler
The framework will, sometimes do stuff that queues callbacks and, depending on how you've set up other things, the code running there might escape from the limit. Did you try putting the eventspace under the limit too? Robby On Mon, Sep 9, 2013 at 10:54 AM, J. Ian Johnson i...@ccs.neu.edu

Re: [racket-dev] call-with-limits memory bound isn't actually bounding memory usage

2013-09-09 Thread Robby Findler
-tables and vectors. Or are you talking about the sandbox queuing up callbacks? -Ian - Original Message - From: Robby Findler ro...@eecs.northwestern.edu To: J. Ian Johnson i...@ccs.neu.edu Cc: dev dev@racket-lang.org Sent: Monday, September 9, 2013 1:16:51 PM GMT -05:00 US/Canada

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

2013-09-09 Thread Robby Findler
FWIW, this is something that's been studied in small calculi in the literature. Nothing that will have to get thru all of the little details that you have to get right to make it work in a real language design like TR, but maybe you'll find some useful ways to look at the problem. (Mostly the

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

2013-09-09 Thread Robby Findler
we do already or ...? Sam On Sep 9, 2013 8:33 PM, Robby Findler ro...@eecs.northwestern.edu wrote: FWIW, this is something that's been studied in small calculi in the literature. Nothing that will have to get thru all of the little details that you have to get right to make it work in a real

Re: [racket-dev] DrRacket's `Install Package' dies with long names/urls

2013-09-09 Thread Robby Findler
The Lord of heaven and earth bless your fine bug reporting skills with many and happy days, that, as his heavenly hand hath enriched you with many singular and extraordinary graces, so you may be the wonder of the world in this latter age for happiness and true felicity, to the honour of that

Re: [racket-dev] Module Browser not a plugin/tool

2013-09-06 Thread Robby Findler
start quicker on slow machines. Cheers, Stephen -- Stephen De Gabrielle http://www.degabrielle.name/stephen On Sat, Aug 31, 2013 at 11:32 PM, Robby Findler ro...@eecs.northwestern.edu wrote: I'm not sure the module browser was before the plugin api, but probably it wasn't. I think all

Re: [racket-dev] Lists aren't sets, but have set-like operations

2013-08-22 Thread Robby Findler
In addition to this backwards-compatibility issue, I also wonder if there are others we've possibly missed that we should also consider (and perhaps try to find alternatives for)? I imagine there are a bunch that turn errors into non-errors that we could decide to deal in one fell swoop (to just

Re: [racket-dev] Revising Racket's home page

2013-08-19 Thread Robby Findler
This looks fantastic! Thanks! Robby On Mon, Aug 19, 2013 at 4:39 PM, Sam Tobin-Hochstadt sa...@cs.indiana.eduwrote: Recently I (with assistance from Asumu) have spent some time drafting a revised home page for Racket. A revised web page will nicely complement the big upcoming release, I

Re: [racket-dev] Fishy directory rename

2013-08-15 Thread Robby Findler
. It is definitely misnamed. But it's no big deal so let's leave it as is. [[ As I have written privately, I just do not understand the split of htdp into three different packages but so be it. ]] -- Matthias On Aug 14, 2013, at 9:17 PM, Robby Findler wrote: I moved that because I thought

Re: [racket-dev] Fishy directory rename

2013-08-14 Thread Robby Findler
I moved that because I thought it was a test. I thought it was a test because of the directory name and because it has files that are not being compiled. (But I didn't check with Matthias specifically about that directory.) Robby On Wed, Aug 14, 2013 at 8:02 PM, Eli Barzilay e...@barzilay.org

[racket-dev] drracket pkgs

2013-08-11 Thread Robby Findler
There is now a new, small drracket pkg called drracket-plugin-lib that provides just enough to be able to define a tool. So, if you have a package that has a drracket plugin, but doesn't necessarily need drracket itself to work, you can make it depend only on drracket-plugin-lib, and not drracket.

Re: [racket-dev] [racket] Stuttering problems with big-bang

2013-08-08 Thread Robby Findler
Hi Jack: the entire system freezes when the GC happens and the numbers you report match up with what I'd expect to be very annoying stuttering. (And just for the record, it doesn't skip frames -- it just doesn't update anything or draw any new frames during the GC.) Can you tell us more about

Re: [racket-dev] [racket] Stuttering problems with big-bang

2013-08-08 Thread Robby Findler
, it is possible that the eventual result is a skip. Robby: do you think Jack's program would benefit from a forced gc before big-bang runs? (I can't find Jack's code.) -- Matthias On Aug 8, 2013, at 6:40 AM, Robby Findler wrote: Hi Jack: the entire system freezes when the GC happens

Re: [racket-dev] [racket] Stuttering problems with big-bang

2013-08-08 Thread Robby Findler
Sorry: first post. Here's the link: https://gist.github.com/Universalist235/6171371 Robby On Thu, Aug 8, 2013 at 7:47 AM, Robby Findler ro...@eecs.northwestern.eduwrote: I don't think so no. But we could try. His code is linked in the dirt post in the thread. On Thursday, August 8, 2013

Re: [racket-dev] raco pkg install should default to linking for filesystem packages

2013-07-31 Thread Robby Findler
I like this change; thanks for suggesting it! Robby On Wed, Jul 31, 2013 at 1:38 PM, Tony Garnock-Jones to...@ccs.neu.eduwrote: On 07/31/2013 02:24 PM, Matthew Flatt wrote: I think it often makes sense for command-line tools to have weird rules[*], I agree with you. UIs have to be

Re: [racket-dev] [racket] DrRacket Tools/plugins info wanted

2013-07-29 Thread Robby Findler
list, or are tiny, I believe. BTW, DrRacket's Choose Language dialog should probably adapt better to the absence of all teaching languages. Ah, thanks. On my list. Robby At Mon, 29 Jul 2013 12:01:31 -0500, Robby Findler wrote: [moved to dev@] Would it be something to shoot

Re: [racket-dev] Motivation for handle-evt/wrap-evt contracts

2013-07-26 Thread Robby Findler
It has exactly that (without the dynamic check). And no, I don't think so. On Friday, July 26, 2013, Matthias Felleisen wrote: [Catching up] Does CML have anything even remotely comparable to handle-evt and does it assign a type distinction? -- Matthias On Jul 25, 2013, at 2:45 PM,

Re: [racket-dev] Motivation for handle-evt/wrap-evt contracts

2013-07-25 Thread Robby Findler
PS: this distinction seems like something not worth reflecting in the type system. Robby On Thu, Jul 25, 2013 at 12:55 PM, Robby Findler ro...@eecs.northwestern.edu wrote: I think the issue is that the tail guarantee can't be met if there are two handles (one won't be in tail position wrt

Re: [racket-dev] Motivation for handle-evt/wrap-evt contracts

2013-07-25 Thread Robby Findler
I think the issue is that the tail guarantee can't be met if there are two handles (one won't be in tail position wrt to the sync). Robby On Thu, Jul 25, 2013 at 12:48 PM, Asumu Takikawa as...@ccs.neu.edu wrote: Hi all, I had a question about `handle-evt` and synchronizable events in

Re: [racket-dev] Motivation for handle-evt/wrap-evt contracts

2013-07-25 Thread Robby Findler
Probably we just didn't consider that! It does seem better. Robby On Thu, Jul 25, 2013 at 1:06 PM, Asumu Takikawa as...@ccs.neu.edu wrote: On 2013-07-25 12:55:25 -0500, Robby Findler wrote: I think the issue is that the tail guarantee can't be met if there are two handles (one

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

2013-07-24 Thread Robby Findler
Vincent: can you clarify what the status of TR the release is, please? Are there problems only with tests, or were there problems elsewhere too? Thanks, Robby On Tue, Jul 23, 2013 at 9:11 AM, Vincent St-Amour stamo...@ccs.neu.eduwrote: The TR tests still fail when using a single place. The

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

2013-07-24 Thread Robby Findler
% happy with just assuming that TR works in the absence of a clean test run. Is there a reason not to include these fixes? Sam On Wed, Jul 24, 2013 at 5:15 PM, Robby Findler ro...@eecs.northwestern.edu wrote: Thanks. Robby On Wed, Jul 24, 2013 at 3:19 PM, Vincent St-Amour stamo

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

2013-07-24 Thread Robby Findler
test fixes, and can't break anything else. Sam On Wed, Jul 24, 2013 at 10:54 PM, Robby Findler ro...@eecs.northwestern.edu wrote: I don't think we should take that commit. Is it possible to get a version of the TR tests that either don't run in parallel or run without passing keywords

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

2013-07-23 Thread Robby Findler
Are you sure you tested the release bundles and not git head? Robby On Tuesday, July 23, 2013, John Clements wrote: On Jul 22, 2013, at 3:13 PM, Ryan Culpepper wrote: * John Clements cleme...@brinckerhoff.org javascript:; - Stepper Tests Done. Updates: - Stepper Updates:

Re: [racket-dev] continuation-mark-set-context Regression on 64 bit Linux

2013-07-23 Thread Robby Findler
Is this in 5.3.6 or in the git head version? Is this related to the test failures you reported earlier? Robby On Tue, Jul 23, 2013 at 2:16 PM, Vincent St-Amour stamo...@ccs.neu.eduwrote: On 64 bit Linux, `continuation-mark-set-context' doesn't provide any stack trace anymore, instead

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

2013-07-22 Thread Robby Findler
On Mon, Jul 22, 2013 at 2:13 PM, Ryan Culpepper ry...@ccs.neu.edu wrote: * Robby Findler ro...@eecs.northwestern.edu - DrRacket Tests - Framework Tests - Contracts Tests - Games Tests - Teachpacks Tests: image tests - PLaneT Tests - Redex Tests Updates: - DrRacket

Re: [racket-dev] snapshot builds

2013-07-20 Thread Robby Findler
FWIW, there is now a similar page running at Northwestern: http://plt.eecs.northwestern.edu/snapshots/ Robby On Tue, Jul 2, 2013 at 2:40 PM, Matthew Flatt mfl...@cs.utah.edu wrote: Here's a rough cut at a snapshot build with the new package organization:

Re: [racket-dev] package-system update

2013-07-14 Thread Robby Findler
Thanks! (For one, I found the From Back There to Here section particularly helpful.) On Sat, Jul 13, 2013 at 1:56 PM, Matthew Flatt mfl...@cs.utah.edu wrote: Here's a big-picture update of where we are in the new package system and the conversion of the Racket distribution to use packages.

Re: [racket-dev] Why did DrDr get much slower?

2013-07-13 Thread Robby Findler
Just as an aside, drdr rules. Robby On Sat, Jul 13, 2013 at 9:44 AM, Sam Tobin-Hochstadt sa...@ccs.neu.eduwrote: The DrDr running time tripled recently. This doesn't seem to be a result of any one thing getting slower, but instead of all the files taking longer. To pick two random

Re: [racket-dev] snapshot builds

2013-07-11 Thread Robby Findler
On Fri, Jul 5, 2013 at 7:55 PM, Matthew Flatt mfl...@cs.utah.edu wrote: From now on, the current snapshot build on www.cs.utah.edu will be at http://www.cs.utah.edu/plt/snapshots/ (The latest snapshot does not yet fix the aces.png error that Sam reported.) If anyone else is interested

Re: [racket-dev] sticky: bad

2013-07-08 Thread Robby Findler
. Sam On Mon, Jul 8, 2013 at 8:24 AM, Matthew Flatt mfl...@cs.utah.edu wrote: I'm happy to enable sticky mode only when the `make' line is something like make PKGS=... STICKY_MODE=on Any objections? At Sat, 6 Jul 2013 09:43:46 -0500, Robby Findler wrote: I just got horribly

Re: [racket-dev] What command should DrDr run by default?

2013-07-07 Thread Robby Findler
Raco test runs the file if there is not test sub module. Fwiw. On Saturday, July 6, 2013, Eli Barzilay wrote: It doesn't make much sense to use a test submodule in files that are intended to be (only) tests. Earlier today, Robby Findler wrote: That's the plan. Thanks for fixing them

Re: [racket-dev] What command should DrDr run by default?

2013-07-06 Thread Robby Findler
I would say that if you know where to change, please go ahead. Robby On Sat, Jul 6, 2013 at 8:56 AM, Sam Tobin-Hochstadt sa...@ccs.neu.eduwrote: Should I change the docs as well? Or do you want to do that, Jay? On Sat, Jul 6, 2013 at 9:53 AM, Robby Findler ro...@eecs.northwestern.edu

[racket-dev] sticky: bad

2013-07-06 Thread Robby Findler
I just got horribly confused because somehow I messed up passing a manual command-line to link-all.rkt and then nothing was working right. (It took me embarrassingly long to remember this sticky thing and then get unsticky.) So, can we change things so that make in the top-level doesn't use

Re: [racket-dev] A grab-bag of issues

2013-07-05 Thread Robby Findler
On Thu, Jul 4, 2013 at 12:05 PM, Matthew Flatt mfl...@cs.utah.edu wrote: At Thu, 4 Jul 2013 12:52:10 -0400, Sam Tobin-Hochstadt wrote: All of these are about packages/the new repository organization. 0. I think we should have a new `#lang info` for info.rkt files -- `setup/infotab` seems

Re: [racket-dev] Planet and Packages (was Re: PLaneT(2): Single vs multi-collection packages)

2013-07-05 Thread Robby Findler
Just my $0.01: it seems to me that the direction we're headed with the pkg system would make a great platform for exploring all kinds of practical security issues surrounding code and distribution (building a very nice research program, I mean). We already have good sandboxing facilities and this

Re: [racket-dev] A grab-bag of issues

2013-07-05 Thread Robby Findler
You could set PLT_SETUP_OPTIONS to -j N. Robby On Fri, Jul 5, 2013 at 11:07 AM, Sam Tobin-Hochstadt sa...@ccs.neu.eduwrote: On Fri, Jul 5, 2013 at 11:22 AM, Matthew Flatt mfl...@cs.utah.edu wrote: * Similarly, that build shows that Racket detects itself as having many more CPUs than it

Re: [racket-dev] A grab-bag of issues

2013-07-05 Thread Robby Findler
On Fri, Jul 5, 2013 at 6:38 PM, Matthew Flatt mfl...@cs.utah.edu wrote: At Fri, 5 Jul 2013 18:55:32 -0400, Eli Barzilay wrote: Yesterday, Matthew Flatt wrote: At Thu, 4 Jul 2013 12:52:10 -0400, Sam Tobin-Hochstadt wrote: 2. It's possible to get lots of undefined tags in the

Re: [racket-dev] A grab-bag of issues

2013-07-05 Thread Robby Findler
in the numbers (but I don't know for sure). Robby On Fri, Jul 5, 2013 at 12:40 PM, Matthew Flatt mfl...@cs.utah.edu wrote: At Fri, 5 Jul 2013 10:58:39 -0500, Robby Findler wrote: On Thu, Jul 4, 2013 at 12:05 PM, Matthew Flatt mfl...@cs.utah.edu wrote: At Thu, 4 Jul 2013 12:52:10 -0400

[racket-dev] pkg dependencies getting stale

2013-07-03 Thread Robby Findler
I'm seeing this in my build (I didn't check before starting my latest round of changes so it is possible that I broke this, but I'm not sure how I could have if I did): raco setup: undeclared dependency detected for package: plot on package: unstable-flonum-lib raco setup: undeclared

Re: [racket-dev] dependencies for `racket-test` package

2013-07-02 Thread Robby Findler
On Tue, Jul 2, 2013 at 12:01 PM, Matthew Flatt mfl...@cs.utah.edu wrote: At Tue, 2 Jul 2013 12:53:02 -0400, Sam Tobin-Hochstadt wrote: On Jul 2, 2013 12:42 PM, Matthew Flatt mfl...@cs.utah.edu wrote: I'm pretty sure that racket-test needs to be split up. (For the initial cut, I just

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

2013-07-02 Thread Robby Findler
Are there other parameters that can mess this up? case-sensitivity, numbers, etc.? Robby On Tue, Jul 2, 2013 at 3:26 PM, sa...@racket-lang.org wrote: samth has updated `master' from 4dcfe9b8b9 to 45c276b5db. http://git.racket-lang.org/plt/4dcfe9b8b9..45c276b5db =[ One Commit

Re: [racket-dev] A broken contract test feature

2013-07-02 Thread Robby Findler
I looked into this too and didn't come up with a good solution. It would be nice if there were a way to write the here's a path, please tell me which part to replace with pkg/something without too many dependencies, but I didn't try to see if that would be feasible. Meanwhile, I agree that just

Re: [racket-dev] A broken contract test feature

2013-07-02 Thread Robby Findler
the source location on the syntax object to make it look like it's from a collection? Carl Eastlund On Tue, Jul 2, 2013 at 7:10 PM, Robby Findler ro...@eecs.northwestern.edu wrote: I looked into this too and didn't come up with a good solution. It would be nice if there were a way to write

Re: [racket-dev] Things we could move out of the core

2013-06-27 Thread Robby Findler
or `match`, or things that are deeply intertwined with `raco setup`, like planet. Sam On Wed, Jun 26, 2013 at 6:38 PM, Robby Findler ro...@eecs.northwestern.edu javascript:; wrote: I can move mzlib/contract after you get done with other stuff. Robby On Wednesday, June 26, 2013, Sam

Re: [racket-dev] Things we could move out of the core

2013-06-27 Thread Robby Findler
`scheme/mzscheme` is the same language for the (many) parts of the core that need it. There are a number of other small bits that I'll do as well. On Thu, Jun 27, 2013 at 8:45 PM, Robby Findler ro...@eecs.northwestern.edu wrote: Did you consider moving #lang mzscheme out as well? Robby

Re: [racket-dev] Things we could move out of the core

2013-06-27 Thread Robby Findler
about splitting those. I'm happy to follow such plans as needed. Sam On Thu, Jun 27, 2013 at 10:48 PM, Robby Findler ro...@eecs.northwestern.edu wrote: Is there a plan for moving the mzlib tests and docs from pkgs/racket-lib to pkgs/compatibility-lib? (I didn't move the mzlib/contract

Re: [racket-dev] Things we could move out of the core

2013-06-27 Thread Robby Findler
On Thu, Jun 27, 2013 at 10:08 PM, Sam Tobin-Hochstadt sa...@ccs.neu.eduwrote: On Thu, Jun 27, 2013 at 11:06 PM, Robby Findler ro...@eecs.northwestern.edu wrote: One fairly clear thing is that the mzlib manual can move into the compatibility-lib. I agree. We could move the mzlib

Re: [racket-dev] Things we could move out of the core

2013-06-27 Thread Robby Findler
As far as I can tell they are up to date. Robby On Friday, June 28, 2013, Sam Tobin-Hochstadt wrote: On Thu, Jun 27, 2013 at 11:12 PM, Robby Findler ro...@eecs.northwestern.edu javascript:; wrote: On Thu, Jun 27, 2013 at 10:08 PM, Sam Tobin-Hochstadt sa...@ccs.neu.edujavascript

Re: [racket-dev] Things we could move out of the core

2013-06-26 Thread Robby Findler
I can move mzlib/contract after you get done with other stuff. Robby On Wednesday, June 26, 2013, Sam Tobin-Hochstadt wrote: On Tue, Jun 25, 2013 at 4:32 PM, Sam Tobin-Hochstadt sa...@ccs.neu.edujavascript:; wrote: While moving some files around between packages, I realized that there

Re: [racket-dev] `raco link', links.rktd, pkgs, and config.rktd

2013-06-25 Thread Robby Findler
On Tue, Jun 25, 2013 at 3:49 PM, Matthew Flatt mfl...@cs.utah.edu wrote: Caveat 1: In case you don't use the top-level default `make' target when building from the repo, this change means that you need to run `make pkg-links' when you next update. You may also find old, wrong version .zo

Re: [racket-dev] Mangaging `unstable` with packages

2013-06-21 Thread Robby Findler
I'm not completely clear on what latent-contracts are, but perhaps options should be being used there? Robby On Fri, Jun 21, 2013 at 5:17 PM, Sam Tobin-Hochstadt sa...@ccs.neu.eduwrote: The new package organization gives us a chance to re-asses the unstable collection. Going forward, I

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

2013-06-19 Thread Robby Findler
Oh, right. Just to clarify, you're saying that I should have put those files in pkgs/gui-pkgs/gui-tests/framework/tests/? Robby On Wed, Jun 19, 2013 at 7:16 PM, Sam Tobin-Hochstadt sa...@ccs.neu.eduwrote: On Wed, Jun 19, 2013 at 8:03 PM, ro...@racket-lang.org wrote: 67e668d Robby Findler

Re: [racket-dev] experience using the `pkg` branch

2013-06-14 Thread Robby Findler
, for example). What command do I run to 'fix' the setup? I don't even know what collections were being installed. On Thu, Jun 13, 2013 at 9:27 PM, Robby Findler ro...@eecs.northwestern.edu wrote: I know it runs it. I don't know why Jay writes The package system says something is installed

Re: [racket-dev] experience using the `pkg` branch

2013-06-13 Thread Robby Findler
WRT to the stacktrace below, I guess that if the info.rkt file had been in a suggestively named directory, e.g., /var/tmp/pkg13711534991371153499937/future-visualizer/info.rkt (assuming that the package's name was future-visualizer) that might have been a useful clue. Robby On Thu, Jun 13,

Re: [racket-dev] experience using the `pkg` branch

2013-06-13 Thread Robby Findler
Also, Jay: can you explain more why 'raco setup' isn't something that we should think about as running inside the pkg manager? (I'm not saying that automatically rolling back packages is the right thing to do or anything like that, but I would like to understand the model you have better.) Robby

Re: [racket-dev] experience using the `pkg` branch

2013-06-13 Thread Robby Findler
but I *KNOW* Jay is anything but lazy!) Robby On Thu, Jun 13, 2013 at 10:21 PM, Carl Eastlund c...@ccs.neu.edu wrote: It does run 'raco setup', it just doesn't have much to do in response to a failure, at least right now. Carl Eastlund On Thu, Jun 13, 2013 at 11:14 PM, Robby Findler ro

Re: [racket-dev] hex decoding?

2013-06-11 Thread Robby Findler
Yes, I think file/sha1 is the right place. Thanks! Robby On Tue, Jun 11, 2013 at 3:26 PM, David Vanderson david.vander...@gmail.comwrote: Thank you Stephen and Tony for your examples. I found the following private function in db/private/mysql/connection.**rkt: (define (hex-string-bytes

Re: [racket-dev] member like assoc

2013-06-09 Thread Robby Findler
Do the times change if you put an 'in-range' in the for loops? On Sunday, June 9, 2013, Asumu Takikawa wrote: On 2013-05-31 19:40:52 -0400, Asumu Takikawa wrote: Is it feasible to get `member` to have the same optional argument behavior as `assoc`? That is, to have an equality predicate as

[racket-dev] member like assoc

2013-06-09 Thread Robby Findler
Sorry: I should have been clearer: I would only expect a difference when the list is short (so your benchmark 2). Robby On Sunday, June 9, 2013, Asumu Takikawa wrote: On 2013-06-09 20:51:21 -0500, Robby Findler wrote: Do the times change if you put an 'in-range' in the for loops

Re: [racket-dev] updated proposal for moving to packages

2013-06-06 Thread Robby Findler
Okay. Good point about the relative difficulties of testing too. I am for 3. Robby On Thursday, June 6, 2013, Matthew Flatt wrote: At Wed, 5 Jun 2013 21:26:51 -0500, Robby Findler wrote: For point 3., do you have a sense of what milestones we'd have to reach (at what times) in order

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

2013-06-06 Thread Robby Findler
Can't we do better than a memo table? On Thursday, June 6, 2013, wrote: stamourv has updated `master' from 5ea3a1ce6d to 6e8c9ed15a. http://git.racket-lang.org/plt/5ea3a1ce6d..6e8c9ed15a =[ 2 Commits ]== Directory summary: 82.9%

Re: [racket-dev] from packages to installers

2013-06-04 Thread Robby Findler
Wow, cool! What exciting times we live in! :) Robby On Tuesday, June 4, 2013, Matthew Flatt wrote: a class=LargeFriendlyLetters href=#end DON'T PANIC /a I've pushed a new version of the package experiment: https://github.com/mflatt/racket/tree/pkg You won't see much difference in

[racket-dev] tr cycles in module graph

2013-06-03 Thread Robby Findler
Apologies if this is a known issue When I write this: #lang typed/racket (module+ test (require typed/rackunit)) I get this (in DrRacket, default module language settings): Welcome to DrRacket, version 5.3.4.11--2013-06-03(54b45607/d) [3m]. Language: typed/racket; memory limit: 128 MB. .

Re: [racket-dev] tr cycles in module graph

2013-06-03 Thread Robby Findler
cause problems, but I can't quite see how to avoid the problem.) On Mon, Jun 3, 2013 at 9:46 AM, Robby Findler ro...@eecs.northwestern.eduwrote: Apologies if this is a known issue When I write this: #lang typed/racket (module+ test (require typed/rackunit)) I get this (in DrRacket

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

2013-06-03 Thread Robby Findler
summary: 9.8% collects/syntax/ 90.1% collects/tests/syntax/ ~~ 1f22800 Robby Findler ro...@racket-lang.org 2013-06-03 08:38 : | fix bug introduced in 6b2a4ff5 : M collects/syntax/readerr.rkt | 1 + A collects/tests/syntax/test-readerr.rkt =[ Overall Diff

Re: [racket-dev] Weird failure w/ DrRacket

2013-05-31 Thread Robby Findler
No that's a bug I introduced I think. Do you get a stack trace? On Friday, May 31, 2013, Sam Tobin-Hochstadt wrote: Recently, I've been seeing the following behavior: - Open DrRacket on a file - add a syntax error - get this internal error: vector-ref: contract violation expected:

Re: [racket-dev] Weird failure w/ DrRacket

2013-05-31 Thread Robby Findler
...@ccs.neu.eduwrote: On Fri, May 31, 2013 at 10:28 AM, Robby Findler ro...@eecs.northwestern.edu wrote: No that's a bug I introduced I think. Do you get a stack trace? No, unfortunately. On Friday, May 31, 2013, Sam Tobin-Hochstadt wrote: Recently, I've been seeing the following behavior

Re: [racket-dev] Weird failure w/ DrRacket

2013-05-31 Thread Robby Findler
Thanks. (I see now why I wasn't seeing it too.) Robby On Friday, May 31, 2013, Sam Tobin-Hochstadt wrote: On Fri, May 31, 2013 at 5:43 PM, Sam Tobin-Hochstadt sa...@ccs.neu.edujavascript:; wrote: Here's a stack trace (it was easier than I thought): And I've now pushed a fix. Sam

[racket-dev] TR check-equal?

2013-05-29 Thread Robby Findler
I'm not sure if this should be considered a bug or a feature request (or something else, but hopefully one of those two!) so I thought I'd ask here before sending in a PR. This program: #lang typed/racket (require typed/rackunit) (struct: s ([a : Integer])) (check-equal? (s 1) (s 2))

Re: [racket-dev] TR check-equal?

2013-05-29 Thread Robby Findler
no way the generated contract can tell at runtime that the values passed to `check-equal?` aren't higher-order, so it has to conservatively reject the call. Suggestions are certainly welcome. Sam On Wed, May 29, 2013 at 7:46 AM, Robby Findler ro...@eecs.northwestern.edu wrote: I'm not sure

Re: [racket-dev] TR check-equal?

2013-05-29 Thread Robby Findler
, Robby Findler ro...@eecs.northwestern.edu wrote: Well, given that replacing check-equal? with equal? (on the typed side) works, then it seems to me that one solution would be to move more of rackunit into TR, or to refactor rackunit to be more friendly to TR. (And if someone is going

Re: [racket-dev] experiment reorganizing the repo into packages

2013-05-28 Thread Robby Findler
This looks great to me! I don't have a good sense of what level of granularity is the right one, but I naturally would have gone even finer grained with drracket: the macro-debugger, pkg/gui, and maybe even the gui-debugger I would have separated out. (Probably you were focused on lower-level

Re: [racket-dev] experiment reorganizing the repo into packages

2013-05-28 Thread Robby Findler
On Tue, May 28, 2013 at 8:11 PM, Matthew Flatt mfl...@cs.utah.edu wrote: At Tue, 28 May 2013 19:36:14 -0500, Robby Findler wrote: I don't have a good sense of what level of granularity is the right one, but I naturally would have gone even finer grained with drracket: the macro-debugger

Re: [racket-dev] Constructing an identifier to an unexported binding

2013-05-23 Thread Robby Findler
This sounds like the right solution to me too. Robby On Thursday, May 23, 2013, Matthias Felleisen wrote: +1 On May 23, 2013, at 9:42 AM, Carl Eastlund c...@ccs.neu.edu javascript:; wrote: On Thu, May 23, 2013 at 9:39 AM, Matthias Felleisen matth...@ccs.neu.edu javascript:; wrote:

Re: [racket-dev] [racket] Parens/string quotes automatic behavior

2013-05-23 Thread Robby Findler
On Thursday, May 23, 2013, Nadeem Abdul Hamid wrote: Hello Racket devs, I'm working on tweaking how typing a double quote is handled in strings when DrRacket's auto parens mode is on, per recent post on the users list. If any of you use the mode and can offer feedback on the following, it'd

Re: [racket-dev] proposal for moving to packages: repository

2013-05-23 Thread Robby Findler
Hi Eli: I'm trying to understand your point. Do I have this right? Background: The git history consists of a series checkpoints in time of the entire repository, not a collection of individual files. So, when I do git log x.rkt then what I get is essentially a filtered list (except where people

Re: [racket-dev] proposal for moving to packages

2013-05-21 Thread Robby Findler
On Tue, May 21, 2013 at 6:22 AM, Jay McCarthy jay.mccar...@gmail.comwrote: On Tue, May 21, 2013 at 12:16 AM, Antonio Menezes Leitao antonio.menezes.lei...@ist.utl.pt wrote: I've been using using Racket (and DrRacket) to teach programming to architecture students. These are not sophisticated

Re: [racket-dev] Package system quickstart section?

2013-05-12 Thread Robby Findler
It looks like the source in the v5.3.4 tag is right: https://github.com/plt/racket/blob/v5.3.4/collects/pkg/scribblings/pkg.scrbl Robby On Sun, May 12, 2013 at 2:25 PM, Jay McCarthy jay.mccar...@gmail.comwrote: The search is an error with some sort of out date index. I'm not sure how to

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