Commit Graph

33550 Commits

Author SHA1 Message Date
Eric Dobson
13bc779e21 Make tc/funapp follow contract in error case.
Closes PR 14615.
2014-07-05 16:34:02 -07:00
Asumu Takikawa
05bc8f3082 Fix docs for takef
Closes PR 14619
2014-07-05 18:01:15 -04:00
Eric Dobson
0f5931f093 Cleanup type-env-structs.
Removes all unused functions and cleans up the remaining ones to have
more consistent and simpler APIs.
2014-07-05 11:36:23 -07:00
Eric Dobson
46b07db77b Improve triggering for generalizing lists. 2014-07-05 10:09:14 -07:00
Matthew Flatt
e9b64fce20 main doc page: use margin-note instead of margin-note*
The rendered form of `margin-note` does the right thing with a narrow
view, unlike the new rendering of `margin-note*`.

Also, wrap `not-on-the-web` only around the part that claims
an installation-specific listing, and add `not-on-the-web` to
"doc-site.css" for "docs.racket-lang.org". I think it's good
for :docs.racket-lang.org" to explain how to open documentation
locally, which is why I didn't make `not-on-the-web` work
as a block wrapper.
2014-07-05 08:52:04 +01:00
Matthew Flatt
65f1cc5eaf meta/pkg-build: support parallel builds
Support multiple VMs to run package builds parallel.
2014-07-04 17:16:56 +01:00
Matthew Flatt
af7e12c8df meta/pkg-build: conflict checking needs all packages 2014-07-04 14:28:19 +01:00
Matthew Flatt
fb3e6b8851 distro-/pkg-info: empty test 2014-07-04 13:13:09 +01:00
Matthew Flatt
55b9cf63ad meta/pkg-build: detect conflicts among packages with documentation
Two packages might install documentation under the same name, or the
same executable, and so on.
2014-07-04 11:55:06 +01:00
Matthew Flatt
b64db3d0e6 raco setup: propagate doc-build error in summary and exit status 2014-07-04 10:42:22 +01:00
Matthew Flatt
4ae38d3f0f raco pkg: fix test 2014-07-04 10:19:44 +01:00
Matthew Flatt
3bdf1bd583 meta/pkg-build: save products of failed installs
When a package installation fails in some ways, we may still
be able to "dumpster dive" for documentation that the package
managed to build.
2014-07-04 10:12:31 +01:00
Matthew Flatt
3f040f7a1a make site: propagate package dependencies, modules, etc. to catalog 2014-07-04 08:48:46 +01:00
Matthew Flatt
8d6870a7c3 fill in some missing history on Racket's slice of lightning 2014-07-04 06:21:26 +01:00
Matthew Flatt
69b9ff1117 clarify that document names are meant to be globally unique 2014-07-04 05:41:54 +01:00
Matthew Flatt
7cef79d2cc clarify pkg docs on "racket" dependency
Encourange a depedency on "base", instead.
2014-07-04 05:21:05 +01:00
Matthew Flatt
0f3f890bc5 sync "base" package version 2014-07-04 05:17:20 +01:00
Matthew Butterick
577f7ad4b1 restrict float behavior to narrow screens 2014-07-04 05:17:20 +01:00
Matthew Butterick
adc491ec80 add float behavior for margin-note* CSS 2014-07-04 05:17:20 +01:00
Matthew Flatt
f93f52474f fix encoding of CMN in ARM JIT
It looks like bits 12 through 15 of the ARM encoding for CMN
should be 0s, not 1s, although many processors don't care.
2014-07-04 05:17:20 +01:00
Matthew Flatt
6cf37f82b7 meta/pkg-build: handle dependency cycles 2014-07-04 05:17:20 +01:00
Matthew Flatt
e23f22a9af raco pkg: check for conflicting docs, executables, etc.
Unfortunately, many existing packages rely on the fact that documentation-name
conflicts do not cause trouble when a package is installed in user scope
(because the documentation in that case is rendered with the package).
So, flag conflicts only for installation scope by default, but add a
`--strict-doc-conflicts` flag for strict checking even for user scope.
2014-07-04 05:17:20 +01:00
Matthew Flatt
82326631a9 raco {pkg,planet}: exit with non-0 status for bad sub-command 2014-07-04 05:17:20 +01:00
Matthew Flatt
b99260bb32 fix declaration for non-places, non+futures build 2014-07-04 05:17:20 +01:00
Matthew Flatt
50715f7bda setup/pkg-deps: fix "racket" mapping
I'm unable to construct a test that exposes the problem, but fix the
"type" on the dependency list for the special "racket" package.
2014-07-04 05:17:20 +01:00
Robby Findler
f49dd363fa added list-contract?
and specialized a bunch of list-related contracts to track list?-ness,
notably recursive-contract now accepts a #:list-contract? argument
that means that it insists that values it accepts be list? (and
thus not cyclic)

related to PR 14559
2014-07-03 23:07:38 -05:00
Robby Findler
0db4df1d33 Revert "adjust recursive-contract so that it terminates on cyclic values"
This reverts commit 7728e062f4.
2014-07-03 22:18:33 -05:00
Robby Findler
822526a5a2 add natural-number/c random generator 2014-07-03 22:18:32 -05:00
Robby Findler
400e4de891 bring down below 102 columns 2014-07-03 22:18:32 -05:00
Asumu Takikawa
881d5de9a0 Fix `possible-domains' function in TR internals
This fixes type error message generation in some cases
and also the `query-type/result` command on multiple
valued functions.

The latter still does not allow multiple return type
queries (TODO) but it won't crash now.

Closes PR 14493
2014-07-03 17:25:05 -04:00
Burke Fetscher
cccd067792 redex: cleanups after refactoring unifier 2014-07-03 12:49:45 -05:00
Burke Fetscher
a1f7efc39d redex: refactor pattern unifier
- swap mutable for immutable hashes represetning eqs
- most functions now return p*e pairing patterns with envs
2014-07-03 12:49:45 -05:00
Burke Fetscher
72a5e3949a redex: add variable-not-in to derivation generator 2014-07-03 12:49:45 -05:00
Matthew Flatt
116555c517 optimizer: fix crashing bug
A continuation of 22b7cc6a5e: a second old bug in
shift_closure_compilation() than became more exposed.
2014-07-02 12:09:50 +01:00
Matthew Flatt
cfb700a85f raco setup: constrain Scribbled document names
Contrain the fourth element of a list describing a document in
`scribblings` (in "info.rkt") to a collection-path element, instead of
allowing an arbitrary relative path. This constraint is needed by
various parts of the build system, which assume (for example) that all
documents are rendered to an immediate subdirectory.
2014-07-02 09:52:11 +01:00
Matthew Flatt
be1ac354f0 meta/pkg-build: first cut at service to build all packages
The service relies on a VirtualBox VM to isolate package builds and
to quickly rewind an installation.

The service is not ready to run, but maybe it's getting close.
2014-07-02 09:07:36 +01:00
Matthew Flatt
183ad7e3e4 raco catalog-archive: fix dependencies and tags in new catalog 2014-07-02 09:07:36 +01:00
Matthew Flatt
a94a633f36 raco setup: fix installation of pre-built docs
Fix the case that the destination doc directory does not match
the document's source name.
2014-07-02 09:07:36 +01:00
Matthew Flatt
d316652160 raco setup / raco pkg install: add --fail-fast flag
This flag is useful for speculative package installations runs where
we'd like to give up and try something else if it's not working.
Specifically, we might try installing multiple packages at once,
and then back off to a smaller subset if something goes wrong.
2014-07-02 09:07:36 +01:00
Asumu Takikawa
6629c999d1 Improve error for applying vals of Procedure type 2014-07-01 18:16:21 -04:00
Asumu Takikawa
316e51835a Document other TR wrapper libraries 2014-07-01 16:01:04 -04:00
Stephen Chang
3da81b5278 add @history[] notes for typed/racket/async 2014-07-01 14:04:31 -04:00
Stephen Chang
2dc59f7d6b add version numbers for TR pkgs 2014-07-01 13:25:54 -04:00
Eric Dobson
615776f8d1 Merge V, X, and Y arguments into a single context in infer. 2014-06-30 21:10:37 -07:00
Eric Dobson
3ba607542c Do not add filters to the prop environment. 2014-06-30 21:01:33 -07:00
Eric Dobson
c2e706277b Strengthen simplification of filters in tc-subst. 2014-06-30 21:01:33 -07:00
Eric Dobson
76f9175fc3 Improve filters generated for true values in tc-id and tc-let. 2014-06-30 21:01:33 -07:00
Eric Dobson
0c187c52b7 Make overlap for procedures and simple data stronger. 2014-06-30 21:01:33 -07:00
Eric Dobson
6b69c396f4 Make -id-path handle mutable variables correctly. 2014-06-30 21:01:33 -07:00
Eric Dobson
e9899a07a6 Fix inference of two recursive types.
Closes PR14608.
2014-06-30 20:59:37 -07:00