Commit Graph

38639 Commits

Author SHA1 Message Date
Matthew Flatt
aaef69f40a raco pkg update: check already installed, first, in given scope
Before consulting a catalog, etc., check whether a given package name
is currently installed. The new check applies only if a scope is
specified, since scope inference implies the check already.
2015-05-16 15:49:34 -06:00
Matthew Flatt
12308e3f17 clarify in docs that threads provide sequential consistency 2015-05-16 15:19:13 -06:00
Matthew Flatt
32a2ca6eff doc clarification on output functions and mutable arguments 2015-05-16 15:04:32 -06:00
Matthew Flatt
298feb1bb6 fix problem with expand and local-require
When `local-require` is used in a non-phase-0 position and it is
`expand`ed (as opposed to compiled directly), then the generated
`#%require` form had the wrong binding phase.

Merge to v6.2
2015-05-15 10:44:20 -06:00
Gustavo Massaccesi
6c2888937a Make (make-vector <number>) omittable
In many use cases the length of the vector is fixed and know,
so we are sure that make-vector will not raise an error and
we can recognize these expressions as omittable and drop
them when the result is ignored.
2015-05-14 16:36:35 -03:00
Gustavo Massaccesi
2be6eb9570 Mark the result of more procedures as vector?
The result of some procedures is a vector, but they are not omittable
because they may rise an error. With the recent changes of the
predicate reduction these cases are correctly handled.
2015-05-14 16:36:21 -03:00
Matthew Flatt
39fda5ec9e keep ".LOCKpkgs.rktd" for source install
Closes PR 15062
2015-05-14 08:45:25 -06:00
Asumu Takikawa
c2cd44c928 Implement class sealing/unsealing
Adds a sealing and unsealing function to attach (or detach)
seals onto a class via impersonator properties. Since these
properties override, they do not accumulate wrappers.

Calling seal multiple times will still accumulate multiple seal
values inside the property.

A sealed class cannot be instantiated and a subclass may not
add class members that match any of the sealed names in its
sealed parent.

These functions are intended for use by TR's `sealing->/c`
contract, but are parameterized over checking functions and
could be used for other purposes.
2015-05-13 13:21:51 -04:00
Mark Lee
e4a48723b3 Fix up documentation on count. Count is more similar to filter-map than it is to filter since it can accept multiple lists. 2015-05-13 11:03:22 -04:00
Alexis King
b450aa8af6 Fix typo in ffi COM docs 2015-05-13 11:02:14 -04:00
Ryan Culpepper
dfac49e597 add memory use and random roundtrip tests for net/uri-codec 2015-05-12 18:35:44 -04:00
Ryan Culpepper
9049737270 reduce memory use in net/uri-codec
Eliminated use of lists and non-tail recursion, used
string ports and loops instead.
2015-05-12 18:23:02 -04:00
Asumu Takikawa
e6113d1c3c Preserve syntax location in get-field
(needed to let TR show a type tooltip for it)
2015-05-12 15:29:27 -04:00
Edward Lee
46030642fa bytes->jsexpr: toss exn:fail:contract? when given invalid UTF-8 2015-05-12 12:45:10 -06:00
Edward Lee
ec6060b9da json: Remove regexp-try-match used to parse strings, replace with less-memory intensive functions. 2015-05-12 12:45:10 -06:00
Matthew Flatt
7ef9bd618d fix cut-and-paste error in comment 2015-05-12 10:03:46 -06:00
Matthew Flatt
64c9d8382f complete-path repair for raco make
Fix problem with 4e3a7c4 as exposed by the "make.rkt" test in
the "compiler-test" package.
2015-05-12 09:42:30 -06:00
Robby Findler
24b91852da "broke its contract" => "broke its own contract" 2015-05-12 06:45:52 -05:00
Robby Findler
8d1e16f09c add a benchmark that attempts to mimic DrRacket redrawing the window 2015-05-11 08:11:57 -05:00
Matthew Flatt
6f984d868c fix expander problem with set! 2015-05-09 18:35:25 -06:00
Robby Findler
7fb67ad644 improve error messages from contract system
closes PR 15057
2015-05-09 11:59:53 -05:00
Robby Findler
bd5723c51c add support for random generation and contract stronger to char-in 2015-05-08 16:55:27 -05:00
Alexis King
aa4c57bf9a Add a char-in flat contract 2015-05-08 16:36:33 -05:00
Stephen Chang
7d434d266e add free-id sets
merges github pull-request #815
2015-05-04 19:05:07 -04:00
Matthew Flatt
0304fedf92 Makefile: make SRC_CATALOG work for in-place and unix-style
Configure an in-place or unix-style build to use the given
SRC_CATALOG before the default catalogs.
2015-05-03 21:41:46 -07:00
Matthew Flatt
ec0350e6d9 raco pkg config: treat empty-string catalog as default paths
An empty string provided to `raco pkg config --set catalogs` would
trigger an error previously. Instead, turn it into a `#f` in the
configuration file, which is replaced by the default search sequence.
2015-05-03 21:38:49 -07:00
Matthew Flatt
78e473f017 always adjust catalogs configuration elements
Pathnames in the list need to be made absolute
"file://" URLs, even if the list has no #f element
to splice the default catalog.
2015-05-03 21:38:49 -07:00
Gustavo Massaccesi
4c10a9efac Check the type of the arguments of more procedures
The optimizer checks the type of the argument of some unary procedures and
uses the gathered information to replace them by the unsafe version, reduce
predicates and detect type errors. This extends the checks to more procedures
that have no unsafe version and procedures that have more than one argument.
2015-05-03 15:15:24 -03:00
Mark Lee
c44cffe5a8 Add example of struct subtype inheritance of supertype. Clarify struct subtype inherits the prefix of the struct supertype. 2015-05-03 10:20:26 -06:00
Matthias Felleisen
ed0e98b305 Robby's improvement for Jay's things 2015-05-03 09:25:50 -04:00
Matthias Felleisen
ab145d4c7d touching up Jay's patch 2015-05-02 12:11:14 -04:00
Matthias Felleisen
a691372419 Jay's patch for style guide 2015-05-02 12:11:14 -04:00
Stephen Chang
6e8fb5776b hash set default err msg: clarify disallowed operations 2015-05-01 19:38:44 -04:00
Stephen Chang
9e8971ba95 update gen:set defaults and docs
- set-copy-clear has no fallback - update docs to match impl
- set-copy fallback should use set-copy-clear not set-clear
2015-05-01 19:38:44 -04:00
AlexKnauth
a2d06c2cd5 at-exp: make language-info compose with other languages 2015-05-01 16:07:02 -06:00
Greg Hendershott
2c76954108 Note exn:break-continuation not usable with with-handlers. 2015-05-01 16:07:02 -06:00
Eric Dobson
4e3a7c420a Make parallel-build send the whole filename to the worker.
Closes PR 15000.
2015-05-01 16:07:02 -06:00
Eric Dobson
06634b74d5 Make file-list-queue% use new error format.
Closes PR 15013.
2015-05-01 16:07:02 -06:00
Stephen Chang
aef101fd84 hashset unavailable method err msg: don't say unimplemented 2015-05-01 16:43:18 -04:00
Stephen Chang
606a946212 improve hash set unimplemented method error msgs 2015-05-01 14:04:23 -04:00
Gustavo Massaccesi
e8ad90a14d Remove duplicate code in scheme_omittable_expr 2015-05-01 10:01:24 -03:00
Stephen Chang
dcf73f6bca compute generic method default error msg in define-generic-method
- fixes generic test failures due to computing this info
2015-04-30 16:45:35 -04:00
Stephen Chang
56cf724d12 improve generic method default error msg:
- report position of bad self arg
- report and label other args, including kw, optional, rest, if present

merge of github pull-request #821
2015-04-30 12:37:09 -04:00
Spencer Florence
6211f43b29 Fix display missing errors on travis 2015-04-29 08:57:58 -04:00
Matthew Flatt
e88c746c3c raco decompile: expose syntax info saved for REPL 2015-04-28 15:37:10 -06:00
Matthew Flatt
d6b587288a Adjust "6.2.0.2" history notes to just "6.2"
Due to our release process, these changes will be included in v6.2
after all.

Merge to v6.2
2015-04-28 15:36:04 -06:00
Matthew Flatt
5affb68478 raco exe: fix handling of unwritable source executable
Make the executable writable while it's patched for new content.

Closes PR 15008

Merge to v6.2
2015-04-28 15:32:52 -06:00
Matthew Flatt
423aa06426 add Gustavo to acks
Merge to v6.2
2015-04-28 15:32:43 -06:00
Matthew Flatt
f43d38914b use log-error to report missing ico conversions
Merge to v6.2
2015-04-28 15:32:33 -06:00
Ryan Culpepper
d48840f23b Post-release version for the v6.2 release 2015-04-27 09:36:47 -04:00