Burke Fetscher
b5f6842ab0
Add #:satisfying to redex-check.
...
This adds the ability to generate terms satisfying
judgment-forms and metafunctions to redex-check.
2013-09-06 14:47:49 -05:00
Robby Findler
88116aaceb
add a guard against deserialization failure
2013-09-06 12:03:45 -05:00
Max New
e02d425aa5
Fix Redex variable-not-otherwise-mentioned bug.
...
And add a test to keep it from happening again.
2013-09-06 09:36:54 -07:00
Asumu Takikawa
2873ba700f
Refactor and add purpose statements
2013-09-06 11:18:04 -04:00
Asumu Takikawa
4b909ffd6a
Fix indentation and re-arrange provides
2013-09-06 11:18:04 -04:00
Asumu Takikawa
372c2499c1
Fix indentation
2013-09-06 11:18:04 -04:00
Max New
ed34b6486c
Implement variable-not-otherwise-mentioned pattern for Redex.
2013-09-06 02:39:31 -07:00
Max New
c9a7b9bd52
Simplify Redex enumeration combinator names.
2013-09-06 02:39:24 -07:00
Max New
e40a601721
Added new languages to test named repeats for Redex.
2013-09-06 02:39:00 -07:00
Max New
22a1a185df
Name unnamed repeats in Redex.
2013-09-06 02:38:45 -07:00
Asumu Takikawa
3becf8492b
Improve TR assertion error message
2013-09-05 22:46:58 -04:00
Asumu Takikawa
dbe4594903
Fix inaccuracies and reword #:methods docs
2013-09-05 22:46:58 -04:00
Matthew Flatt
5d7f1363e5
racket/gui: fix get-plain-label and docs about labels
2013-09-05 12:14:25 -06:00
Matthew Flatt
c70a0313e7
slideshow: add "spotlight" support
...
The spotlight is a replacement for the mouse pointer that
is bigger while obscuring less (which works better for
screencasts, for example).
2013-09-05 12:14:25 -06:00
Jay McCarthy
54a75a4031
Print a summary of auto installs/updates rather than as we go
2013-09-05 08:51:05 -06:00
Jay McCarthy
291139426d
Adding negated searches
2013-09-05 07:51:07 -06:00
Jay McCarthy
bdaa22c68c
account management buttons
2013-09-05 07:47:57 -06:00
Jay McCarthy
9831aa5d39
Add :no-tag: search
2013-09-05 07:44:57 -06:00
Jay McCarthy
2bb92b1709
Cache curation computations
2013-09-05 07:40:49 -06:00
Eric Dobson
fe35cc096c
Make pair-opt cleaner.
2013-09-04 20:52:12 -07:00
Burke Fetscher
fbfd09e804
Fix variable prefix/except bug.
2013-09-04 19:40:07 -05:00
Robby Findler
1894e2777c
fix teachpack test
...
Also, Rackety
2013-09-04 16:31:54 -05:00
Robby Findler
09574ed920
fix 2d dependencies
2013-09-04 16:31:52 -05:00
Burke Fetscher
37ced9609c
Handle all variable pats in pattern unification.
2013-09-04 15:33:08 -05:00
Mike Sperber
8e0dc29c1d
Follow 90e9e5cb30 for DMdA languages.
...
Unbreak the "Clear XXX teachpack" menu.
2013-09-04 20:22:52 +02:00
Robby Findler
f0539f0e65
move unstable/2d out of the gui-lib pkg
2013-09-04 13:19:02 -05:00
Vincent St-Amour
86c87f5fda
Add tests for error message pruning.
2013-09-04 14:01:41 -04:00
Vincent St-Amour
fef4b28b88
Refactoring.
2013-09-04 14:01:40 -04:00
Vincent St-Amour
6ffc3eb7b6
Avoid swallowing errors.
...
This hid the fact that error pruning was failing.
2013-09-04 11:12:12 -04:00
Vincent St-Amour
1e82e5bd62
Fix type error message pruning for tc-any-results.
2013-09-04 11:12:12 -04:00
Vincent St-Amour
720a79975f
Refactoring.
2013-09-04 11:12:12 -04:00
Jay McCarthy
5a7ce6d60a
Support gzip encoded HTTP responses
2013-09-04 09:05:09 -06:00
Matthew Flatt
ba6e1754eb
make catalog-based installer build work
...
A catalog-based installer build (as opposed to an installer build
that uses "pkgs" and "native-pkgs") relies on the new `--all-platforms`
package-install flag and related support for re-packing installed
platform-specific packages.
2013-09-04 08:44:49 -06:00
Matthew Flatt
b5fe0203e2
remove bad return
2013-09-04 08:44:49 -06:00
Matthew Flatt
fc03bbf305
makefile fix for catalog-based installer build
2013-09-04 08:44:49 -06:00
Matthew Flatt
433c29feac
declare platform for each native-library package
2013-09-04 08:44:49 -06:00
Matthew Flatt
c38d1fabf9
raco pkg {install,update,migrate}: add --all-platforms
...
The `--all-platforms` flag causes the package manager to follow all
package dependencies, even for dependencies that are specific to
platforms other than the current one.
2013-09-04 08:44:49 -06:00
Matthew Flatt
16c0b385de
raco setup: add install-platform to "info.rkt"
...
The `install-platform` value determines whether files are
copied to "lib" and "share" directories.
2013-09-04 08:44:49 -06:00
Matthew Flatt
6391fe4ed0
raco pkg create: extend --from-install mode so it can unmove files
...
This adjustment to packing allows a native-library package to
be converted back from installed to installable.
2013-09-04 08:44:49 -06:00
Robby Findler
fc82492a99
fix bug in DrRacket
2013-09-04 09:42:54 -05:00
Asumu Takikawa
9c48cfcaf6
Adjust test for API coverage
...
Also Rackety
2013-09-03 22:30:01 -04:00
Asumu Takikawa
2070726769
Add type for dynamic-string-constants
2013-09-03 22:29:46 -04:00
Robby Findler
1ecdb6d6f9
fix string-constants
2013-09-03 20:18:58 -05:00
Asumu Takikawa
ddcb031805
Fix indentation
2013-09-03 21:11:25 -04:00
Asumu Takikawa
099ca6cab9
Add type for this-language to fix test
...
(also add a type for `all-languages`)
2013-09-03 21:10:12 -04:00
Robby Findler
2ac73eee39
clean up string-constants expansion and add dynamic-string-constant[s]
...
This saves about 200 bytes per use of (string-constant ...) in the .zo file.
Also, it now only requires a single string-constants file in phase 1
(instead of all 13) so that should be a savings of memory and time
when compiling .zos, too.
2013-09-03 15:59:15 -05:00
Robby Findler
85770c3cf2
add immutable hash constructors and selectors to #lang info
2013-09-03 15:59:14 -05:00
Sam Tobin-Hochstadt
b69e909f13
Use case instead of cond
2013-09-03 13:53:16 -04:00
Sam Tobin-Hochstadt
101d441fe2
This file is only needed for file/gif.
2013-09-03 13:53:16 -04:00
Ryan Culpepper
f236bf87ef
updated command line in docs
...
Closes PR 13996.
2013-09-03 12:56:08 -04:00
