Re: [racket-dev] Using Travis CI for Racket

2013-07-08 Thread Sam Tobin-Hochstadt
On Tue, Jul 2, 2013 at 7:04 PM, Sam Tobin-Hochstadt sa...@ccs.neu.edu wrote: I've just committed support for building Racket automatically on the Travis continuous integration service. See https://travis-ci.org/samth/racket/ for the current build state. This doesn't track the actual

Re: [racket-dev] sticky: bad

2013-07-08 Thread Matthew Flatt
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 confused because somehow I messed up passing a manual command-line to link-all.rkt and then

Re: [racket-dev] sticky: bad

2013-07-08 Thread Robby Findler
Thanks. Robby On Mon, Jul 8, 2013 at 7:28 AM, Sam Tobin-Hochstadt sa...@ccs.neu.eduwrote: What about a `make` target (maybe named `rebuild`) that remembers the previous PKGS setting? That seems a little less stateful, and would be perfect for the reasons that led me to ask for sticky mode.

Re: [racket-dev] Package compatibility

2013-07-08 Thread Eli Barzilay
Yesterday, Jay McCarthy wrote: Planet attempts to solve this problem technically by (a) having all collections be prefixed by author/package-name and (b) mandating a centralized server that enforces unique authors and unique package-names per author. Since Racket packages don't have a

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

2013-07-08 Thread Eli Barzilay
Yesterday, Robby Findler wrote: Raco test runs the file if there is not test sub module. Fwiw.  That's what I thought first, with run being the same as what racket does. But it doesn't: it just runs the toplevel module as usual when the file is required (and does so unconditionally, of course),

Re: [racket-dev] Package compatibility

2013-07-08 Thread Jay McCarthy
The problem with that is that there is no way to ensure that there is only one package named data/red-black-tree and there can be two mutually incompatible universes of packages for Carl's rbts and mine, for instance. Furthermore, it has the internal linking problem. On Mon, Jul 8, 2013 at 7:11

Re: [racket-dev] Package compatibility

2013-07-08 Thread Eli Barzilay
Just now, Jay McCarthy wrote: The problem with that is that there is no way to ensure that there is only one package named data/red-black-tree There's no need to ensure such a thing -- and IIUC, the current system doesn't do that neither modulo a bunch of blessed packages. and there can be

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

2013-07-08 Thread Matthias Felleisen
On Jul 7, 2013, at 12:08 AM, Eli Barzilay e...@barzilay.org wrote: It would be nice to have some way of doing it with contracts, but that's obviously impractical -- so I think that a good way to solve it and other such problems is to add a parameter for the name used in read errors, and

[racket-dev] making DrRacket.app

2013-07-08 Thread Geoffrey S. Knauth
I admit I have not built DrRacket in a couple of months. I just did a git pull, rebuilt (make), and now if I open: ~/test/plt/git/plt/racket/DrRacket.app it runs, but if I move the racket directory to where I used to put it (/usr/local) and try running: /usr/local/racket/DrRacket.app it

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

2013-07-08 Thread Sam Tobin-Hochstadt
On Mon, Jul 8, 2013 at 2:39 PM, mfl...@racket-lang.org wrote: --- OLD/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/typecheck/tc-toplevel.rkt +++ NEW/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/typecheck/tc-toplevel.rkt @@ -392,7 +392,8 @@ (match a