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
Eric Dobson
cfe35fa0a4
Make union simplification not happen during subtyping.
...
Union simplification calls subtype, calling subtype during subtyping is
slow so we want to avoid it.
Closes PR 14582.
2014-06-30 20:50:23 -07:00
Asumu Takikawa
864cda2614
Remove wrapping in typed/racket/async-channel
...
Now that TR supports contracted functions, the wrapping
is not necessary.
2014-06-30 14:50:28 -04:00
