Commit Graph

33243 Commits

Author SHA1 Message Date
Eric Dobson
0902fe2fa9 Fix contract on tc-result. 2014-06-09 23:33:22 -07:00
Eric Dobson
17c43c35ec Remove distinction between check and non check variant of check-subforms-unit.
Use new merge-tc-results as well.
This revealed some buggy tests as well which are also fixed.
2014-06-09 20:34:31 -07:00
Eric Dobson
447b52855f Move tc-if merging results logic to tc-metafunctions for reuse. 2014-06-09 19:51:10 -07:00
Eric Dobson
5fa263b232 Improve filter simplification.
(T @ x) => (! S @ x) when their intersection is empty.
Rearrange how we look through filters in -and so this rule applies more.
2014-06-09 19:51:10 -07:00
Eric Dobson
0feefd347e Remove tc/lambda/check. 2014-06-09 19:51:10 -07:00
Eric Dobson
ff1a852caf Remove tc/app/check. 2014-06-09 19:51:10 -07:00
Eric Dobson
d683ef2342 Remove tc-body, and 0 arg case in tc-body/check. 2014-06-09 19:51:09 -07:00
Eric Dobson
32db0e2ff7 Remove conditional tc-expr/check splits that no longer need to exist. 2014-06-09 19:51:09 -07:00
Eric Dobson
a8bc079c4b Make tc-expr the same implementation as tc-expr/check. 2014-06-09 19:51:09 -07:00
Asumu Takikawa
5431ddb6c1 Adjust TR error message for consistency
The non-productive type check in type parsing and in type
alias setup should produce the same failure messages.
2014-06-09 13:57:26 -04:00
Asumu Takikawa
4ee5f3f653 Disallow non-productive PolyRow types
Closes PR 14554
2014-06-09 13:55:58 -04:00
Asumu Takikawa
bbc6a6b42d Fix printing for certain list types with a mu var
Closes PR 14552
2014-06-09 13:38:20 -04:00
Matthew Flatt
f90bf5e43b win32: repair for VS Studio build
Thanks to Gustavo Massaccesi

Closes PR 14555
2014-06-09 06:57:22 -06:00
Matthew Flatt
049fc3e5e6 unbreak drracket
A conversion in 2f46525a7d was wrong.
2014-06-09 10:39:03 +01:00
Matthew Flatt
2f46525a7d fix many more 3-argument calls to the module name resolver 2014-06-09 09:04:14 +01:00
Matthew Flatt
ad15191493 mzcom doc improvements 2014-06-09 08:51:30 +01:00
Matthew Flatt
006ffc8ae3 syntax/docprovide: fix direct call to module name resolver
Also, deprecate the library.
2014-06-09 08:46:44 +01:00
Matthew Flatt
8aaa3fc5b5 document and deprecate 3-argument call to default module name resolver
Calling the default module name resolver with three arguments logs an
error message. The intent is that 3-argument support will be removed,
eventually.
2014-06-09 08:46:44 +01:00
Matthew Flatt
27c9007a82 raco setup: fix for relative & multiple paths in PLTCOMPILEDROOTS
Fix the part of `raco setup` that deletes ".zo" files that
have no corresponding source.
2014-06-09 08:05:05 +01:00
Asumu Takikawa
ca8d8346b6 Don't lose syntax locations for TR define
Closes PR 14544
2014-06-05 11:22:32 -04:00
Matthew Flatt
0f6cdbf9e3 raco setup: fix PLTCOMPILEDROOTS handling when checking pkg deps
Closes PR 14540
2014-06-04 19:57:57 +01:00
Matthew Flatt
8828865c79 raco pkg install: change interpretation of archive with a single directory
When an archive used as a package source has all of its content
within a single top-level directory, then treat that directory's
content as the package content, instead of treating the directory
itself as the package content.

The change makes "x.zip" created with

  zip -r x.zip x

work the same as "x" as a package source. It also makes a ".zip"
for a package's GitHub repository (from clicking the "Download ZIP"
button) work the same as the repository.

This change is backward incompatible, but it's unlikely to break
any working package (since that would be a single-collection package
that provides only a subcollection).
2014-06-04 16:49:18 +01:00
Matthew Flatt
0ed142b78f raco pkg install: fix tmp-directory clean-up
Fix when installing from a non-directory in `--source` or
`--binary` mode, and fix clean up of a GitHub-generated archive
when using a path within the archive.
2014-06-04 16:49:18 +01:00
Matthew Flatt
02d53d29fb scribble/decode: document treatment of whitespace by decode-content 2014-06-04 13:38:24 +01:00
Matthew Flatt
94dbfba0f3 scribble: fix history spacing 2014-06-04 13:34:03 +01:00
Matthew Flatt
374742e905 zip: add #:path-prefix argument 2014-06-04 13:16:58 +01:00
Matthew Flatt
8792c52e1d raco pkg create: adjust rules for for {binary,source}-keep-files
Allow `{binary,source}-keep-files` to override omission of an
enclosing directory. Also, adjust the default for binary mode to
keep "doc" and "info.rkt" within "scribblings" and not "tests".

With this change, starting with Minimal Racket and installing DrRacket
in binary mode gets you a working DrRacket with documentation. A
binary install is less than half the space of a non-binary install,
in part because the binary installation has fewer dependencies.
2014-06-04 10:14:48 +01:00
Matthew Flatt
15214b9983 raco setup: clean up "library" installs that are directories 2014-06-04 10:14:45 +01:00
Matthew Flatt
4b5c907440 raco pkg: fix binary stripping of submodules 2014-06-04 09:35:51 +01:00
Matthew Flatt
5058c958a6 scribblings/main: keep doc modules in binary mode
Even in binary mode, the "main" documents need to be re-rendered
when new packages are installed.
2014-06-04 09:35:29 +01:00
Matthew Flatt
25cc7c7125 raco setup: detect binary-only setup/scribble 2014-06-04 08:29:55 +01:00
Matthew Flatt
c2067775b3 add 2htdp/test port numbers to the list 2014-06-03 14:24:00 +01:00
Matthew Flatt
e16510b94d 2htdp/universe tests: try other port numbers
Follow-up to 268544d565: it looks like DrDr may itself use
port 9000. Try to pick numbers that no one else is thinking of...
2014-06-03 13:47:51 +01:00
Matthew Flatt
1715a50c80 raco test: refine override-"info.rkt" behavior of specifying a file
In consultation with Jay, unify the ignore-file's-extension and
ignore-"info.rkt"-disabling treatment of `raco test` arguments.
The change is that the latter applies only when an argument is a
file, and not when it's a directory.
2014-06-03 11:59:30 +01:00
Matthew Flatt
268544d565 2htdp/universe tests: use distinct port numbers
Using distinct port numbers allows the tests to run concurrently.
Using locally distnct port numbers is not a general solution,
of course, but it should work well enough for running these
tests with `raco test --drdr`.
2014-06-03 11:24:57 +01:00
Matthew Flatt
2b3db0acb7 slatex: generate files in temporary directory 2014-06-03 10:00:14 +01:00
Matthew Flatt
94a5b02886 raco test: continue when checking for submodules fails 2014-06-03 09:59:43 +01:00
Matthew Flatt
6ee2079d8a plot tests: write files to temp dir 2014-06-03 09:40:20 +01:00
Matthew Flatt
66be790141 fix parallel-build test 2014-06-03 09:34:01 +01:00
Matthew Flatt
eec0d9dcd8 disable embed-in-C test
Added to the release checklist, instead, since it requires a
`configure`-time flag.
2014-06-03 09:30:04 +01:00
Matthew Flatt
0d644e9755 racket/sandbox: fix with-deep-time-limit test
The test has been failing consistently in DrDr, but I couldn't figure
out why until I learned that DrDr runs programs with an empty
stdin. It helps that `raco test --drdr` is now closer to DrDr.
2014-06-03 09:23:58 +01:00
Matthew Flatt
85c8f271cb raco test: fix --process without --fresh-user 2014-06-03 09:20:17 +01:00
Matthew Flatt
0b5fbc17c9 raco exe: adjust tests to avoid "stdout" in source directory 2014-06-03 09:09:13 +01:00
Matthew Flatt
a011f9b816 raco test: add ++ignore-stderr <pattern> option
I'm using this option to ignore "Xlib: extension \"RANDR\" missing"
warnings.
2014-06-03 08:31:01 +01:00
Matthew Flatt
165f21a192 tests: remove "gui" lock declarations
The fresh PLTUSERHOME created by `raco test --drdr` should avoid
the problems that made the lock necessary before.
2014-06-03 07:40:05 +01:00
Matthew Flatt
2d3b856b71 raco test: create fresh user directory for each test in DrDr mode 2014-06-03 07:40:05 +01:00
Eric Dobson
48ac219d6f Correctly combine or filters in combine-props.
Closes PR 14534.
2014-06-02 22:54:00 -07:00
Jay McCarthy
83edd9b52d adding plt-log 2014-06-02 18:31:31 -06:00
Jay McCarthy
7a575d67b7 Add draw-pict-centered 2014-06-02 18:31:31 -06:00
Jay McCarthy
97e75cecc9 Creating unstable/gui/pict/align 2014-06-02 18:31:31 -06:00