Re: [racket-dev] checking package dependencies

2013-06-30 Thread Eli Barzilay
Yesterday, Matthew Flatt wrote: [...] (Sidenote: it would be nice if `--fix-pkg-deps' or something similar could also report redundant dependencies.) -- ((lambda (x) (x x)) (lambda (x) (x x))) Eli Barzilay: http://barzilay.org/ Maze is

[racket-dev] checking package dependencies

2013-06-29 Thread Matthew Flatt
The `raco setup' tool now checks declared package dependencies against actual library dependencies. Use `--no-pkg-deps' or `-K' to skip the check (which takes 5-6 seconds on my machine). PLEASE pay attention to dependency-declaration errors before you push a commit that might introduce them!

Re: [racket-dev] checking package dependencies

2013-06-29 Thread Sam Tobin-Hochstadt
On Sat, Jun 29, 2013 at 9:18 AM, Matthew Flatt mfl...@cs.utah.edu wrote: Practically every package will need a dependency on base, which is a package that represents the libraries in the core; it's the package-level analogue of having to start every module with `#lang racket'. The idea is

Re: [racket-dev] checking package dependencies

2013-06-29 Thread Matthew Flatt
At Sat, 29 Jun 2013 10:27:44 -0400, Sam Tobin-Hochstadt wrote: On Sat, Jun 29, 2013 at 9:18 AM, Matthew Flatt mfl...@cs.utah.edu wrote: Practically every package will need a dependency on base, which is a package that represents the libraries in the core; it's the package-level analogue

Re: [racket-dev] checking package dependencies

2013-06-29 Thread Sam Tobin-Hochstadt
On Sat, Jun 29, 2013 at 9:18 AM, Matthew Flatt mfl...@cs.utah.edu wrote: There is one dependency problem, currently: drracket depends on htdp through a test. That problem was created by a commit before dependency checking was available, and we'll get it fixed. I currently get the error: raco

Re: [racket-dev] checking package dependencies

2013-06-29 Thread Matthew Flatt
At Sat, 29 Jun 2013 15:46:16 -0400, Sam Tobin-Hochstadt wrote: On Sat, Jun 29, 2013 at 9:18 AM, Matthew Flatt mfl...@cs.utah.edu wrote: There is one dependency problem, currently: drracket depends on htdp through a test. That problem was created by a commit before dependency checking was