Matthew Flatt
3cc1514a7d
raco pkg {install,update,remove}: add --batch
...
Adjust defaults for `--deps` and `--multi-clone` to depend on
interactive vs. batch mode.
2014-11-30 12:41:32 -07:00
Matthew Flatt
ebe1537450
raco pkg update --clone: offer advice on converting directory links
2014-11-30 11:37:48 -07:00
Matthew Flatt
936f4abd3d
improve a package-dependency error report from raco setup
2014-11-30 11:19:10 -07:00
Sam Tobin-Hochstadt
fe934dfe89
Split slatex
from the main repository.
...
Source for `slatex` is now available from:
https://github.com/racket/slatex/
2014-11-30 13:01:18 -05:00
Sam Tobin-Hochstadt
73d06ec24c
Fix test that used distro-build
.
2014-11-29 17:53:08 -05:00
Sam Tobin-Hochstadt
7ba7719caf
Split plt-web
from the main repository.
...
Source for `plt-web` is now available at:
https://github.com/racket/plt-web
2014-11-29 17:31:32 -05:00
Sam Tobin-Hochstadt
c968833f7d
Run distro-build and remote-shell on drdr.
2014-11-29 15:43:29 -05:00
Sam Tobin-Hochstadt
b9b59a3aeb
Split distro-build
and remote-shell
pkgs from the main repository.
...
`distro-build` is at:
https://github.com/racket/distro-build
`remote-shell` is at:
https://github.com/racket/remote-shell
2014-11-29 14:44:37 -05:00
Sam Tobin-Hochstadt
bb6e28f777
Add missing "sha" pkg.
2014-11-29 11:35:53 -05:00
Sam Tobin-Hochstadt
d103f26243
Split meta/pkg-push
from the main repository.
...
Source for `pkg-push` is now at
https://github.com/racket/pkg-push
2014-11-29 11:05:19 -05:00
Sam Tobin-Hochstadt
c0d9540a0d
Add dependencies of s3-sync.
2014-11-29 10:30:42 -05:00
Sam Tobin-Hochstadt
49c1cb1718
Avoid error on relative paths in raco pkg install --clone
.
2014-11-29 10:23:16 -05:00
Sam Tobin-Hochstadt
0dc3bcc0e5
Split meta/new-web
from the main repository.
...
Source for the racket-lang.org web pages is at
https://github.com/racket/racket-lang-org
2014-11-29 09:20:32 -05:00
Sam Tobin-Hochstadt
f8a742ab3d
Remove split collections from props script.
2014-11-28 17:21:43 -05:00
Sam Tobin-Hochstadt
9b93478098
Split the games
collection out of the main repository.
...
The `games` collection is now at
https://github.com/racket/games
2014-11-28 16:50:35 -05:00
Sam Tobin-Hochstadt
8fa26e6f4f
Split pkg-build
from the main repository.
...
The `drdr2` pkg is now at
https://github.com/racket/pkg-build
2014-11-28 15:26:10 -05:00
Sam Tobin-Hochstadt
4ace325562
Split drdr from the main repository.
...
The `drdr` pkg is available at:
https://github.com/racket/drdr
The pkgs.rktd file is kept to manage the pkgs built
by DrDr on each push.
2014-11-28 15:23:30 -05:00
Sam Tobin-Hochstadt
58896d8d23
Split DrDr2 from the main repository.
...
The `drdr2` pkg is now at
https://github.com/racket/drdr2
2014-11-28 15:20:48 -05:00
Sam Tobin-Hochstadt
10629db83a
Add additional pkgs to test in DrDr.
2014-11-28 14:47:30 -05:00
Robby Findler
ed5cad0534
remove bad init argument
...
closes PR 14856
2014-11-28 12:53:25 -06:00
Robby Findler
3784da0b18
moved follow-log around so that I can get performance
...
feedback from people without asking them to install
the drracket-test pkg
2014-11-28 12:36:00 -06:00
Robby Findler
5354142825
give pair? the same treament as list? got in 9ee9f676
2014-11-28 12:36:00 -06:00
Sam Tobin-Hochstadt
546c8a8a76
Fix URL for test pkg.
2014-11-28 13:23:39 -05:00
Robby Findler
0e22209a81
add obligation properties to ->*
...
for online check syntax to pick up
2014-11-27 16:41:33 -06:00
Robby Findler
9ee9f6767d
adjust contract system to use (listof any) when it sees
...
the list? predicate
(so that random generation and contract stronger work better)
2014-11-27 14:53:14 -06:00
Vincent St-Amour
3eebc4995e
Some pkg future plans have since happened.
2014-11-27 13:44:28 -05:00
Sam Tobin-Hochstadt
be9ba6debf
Remove meta/tree
.
...
Never actually used. Confirmed with Eli.
2014-11-27 11:41:11 -05:00
Jay McCarthy
65b478a7f9
Fix doc typo
2014-11-27 10:30:17 -05:00
Jay McCarthy
bf97e5907e
Fixing typo in contract and adding random-index
2014-11-27 10:30:17 -05:00
Robby Findler
3e9f23a2c8
fix enum printer for small enumerations
2014-11-26 11:35:26 -06:00
Robby Findler
c79a5573f9
make enumerations print the prefix of their enumeration
2014-11-26 09:22:14 -06:00
Sam Tobin-Hochstadt
5612ebef02
Fix merge error.
2014-11-26 10:17:20 -05:00
Sam Tobin-Hochstadt
7a825016e9
Install, build, and test specified pkgs in DrDr.
...
Initially just a test pkg, with a fixed source.
2014-11-26 10:13:45 -05:00
Matthew Flatt
bbd781f04e
package manager test: try to make the --clone
tests work on DrDr
2014-11-26 08:04:17 -07:00
Sam Tobin-Hochstadt
89d0d11091
Add dummy file as part of DrDr transition in PR #833 .
2014-11-26 09:54:27 -05:00
Matthew Flatt
dd02cf8952
pkg catalog-update: install updates as a single transaction
...
Relevant to PR 14848
2014-11-26 06:53:03 -07:00
Matthew Flatt
596a4f655c
pkg/db: add support for grouping calls as a single transaction
...
Also avoids reundant table-preparation checks for calls that are
grouped together.
2014-11-26 06:53:03 -07:00
Matthew Flatt
7596668762
pkg/db: fix some missing table preparations
2014-11-26 06:47:28 -07:00
Matthew Flatt
92e00de9f3
Scribble manual: make "Images" section in ToC be useful
...
Remove the "Images" section for `scribble/manual`, add an "Images"
section for `scribble/base`.
As suggested by Shriram.
2014-11-26 06:47:28 -07:00
Robby Findler
833d626d67
mention the paper that this model comes from
2014-11-26 07:32:02 -06:00
Robby Findler
a12f77f36e
adjust changes in 8027e48
so that we see intermediate
...
output during flushes instead of collecting the entire
contents of the buffer before flushing (at least in the
more common case)
2014-11-25 22:16:56 -06:00
Robby Findler
0083f1c9ae
fix bug in c53c29d9
2014-11-25 22:16:56 -06:00
Matthew Flatt
5fca59e2ed
fix problems with continuations & sharing
...
When continuation C2 extends continuation C1, C2 shares the copy
of the internal stack with C1. It needs to skip the bit of
C1's stack that corresponds to arguments to `call/cc`, though.
That skipping assumed that `call/cc` takes 1 argument, but it can
take 2. The bug broke `racklog`, which captures continuations using
its own prompt. (It seems like there should be a simple test that
is independent of Racklog, but I couldn't construct it.)
Meanwhile, the continuation shouldn't retain the arguments to
`call/cc`, so clear them. (That was easy to test.) Sharing still
has to compensate for the locations of the arguments, though.
2014-11-25 16:37:41 -07:00
Vincent St-Amour
52f33231fa
Make contract profiler's path shortening more robust.
2014-11-25 18:29:05 -05:00
Matthew Flatt
6e473958de
raco setup: use proper namespace for info-domain setup
...
With the wrong namespace, then installing and updating a package
within the GUI package manager would not pick up an info-domain
change for the updated package.
2014-11-25 12:34:36 -07:00
Matthew Flatt
ae9e9dc5e2
GUI package manager: remember selected DWIM file or directory
2014-11-25 12:34:36 -07:00
Matthew Flatt
84cb19d108
GUI package manager: better strecthing mode for the DWIM panel
2014-11-25 12:34:36 -07:00
Matthew Flatt
4fee662ad8
in-terminal: add a close-calllback
argument
2014-11-25 12:34:36 -07:00
Sam Tobin-Hochstadt
3bbdd134b1
Remove stray reference to Racket in LICENSE files.
...
Related to PR 14842.
2014-11-25 14:09:57 -05:00
Robby Findler
c53c29d9d8
fix bug in 8027e48
2014-11-24 22:23:39 -06:00