Commit Graph

35065 Commits

Author SHA1 Message Date
Matthew Flatt
26e1dd050d xform: fix character parsing
Allow L'\x7f`, for example.
2015-06-06 09:41:39 -06:00
Matthew Flatt
4deacddde8 attempt to fix xform problem
Mark some pointer arithmetic as ok.
2015-06-06 09:21:23 -06:00
Matthew Flatt
cf8c3c9cfe adjust auto-configuration of CPPFLAGS vs. CFLAGS
When AC_PROG_CC picks GCC, move its selection of CFLAGS
into CPPFLAGS, so that preprocessing will have the same
optimization and debugging flags as compilation.

Arguably, AC_PROG_CC plus AC_PROG_CPP should do that
soemhow, but it's understandable that the autoconf
implementers didn't cover the possibility of
preprocessing that changes with the optimization level.

Closes #945
2015-06-06 07:55:14 -06:00
Sam Tobin-Hochstadt
fc6ead4ac2 Improve match compilation of ? and fix bugs.
- Coalesce repeated use of the same predicate.
- Fix scoring of Exact patterns, and scoring generally.
- Use `OrderedAnd` where needed.
- Guarantee that `and` patterns match in order.
- Thread bound variable information properly in GSeq compilation.
- Warn when variables are used non-linearly with `...`
  (making this behave properly was not backwards compatible).

Closes #952, which now runs in <1ms and make it a test case.

Also add margin note about `?` patterns and multiple calls.
2015-06-05 18:08:33 -04:00
Matthew Flatt
e1e89adf62 adjust Active-X example to work with newer IE 2015-06-05 09:15:25 -06:00
Alexis King
35c3554343 Make pair accessor shorthand examples properly link to id docs 2015-06-04 06:48:18 -06:00
Matthew Flatt
4ba3adf11b document raco read 2015-06-04 06:48:18 -06:00
Alexis King
495784ed49 Fix contract error in in-vector documentation example 2015-06-04 07:38:57 -05:00
Alexis King
391a672bf6 Fix the first order check on async-channel/c 2015-06-03 12:19:28 -05:00
Matthew Flatt
0bed8e8928 fix command-line docs for flags that start "--"
Closes PR 15080
2015-05-31 06:06:22 -06:00
Sam Tobin-Hochstadt
b4c52698c0 Increase timeout more. 2015-05-27 12:56:52 -07:00
Sam Tobin-Hochstadt
c8ff0c8b18 Fix timeout for core tests. 2015-05-27 13:51:09 -04:00
Robby Findler
53f03d73f4 add more accurate timeouts 2015-05-27 09:35:05 -05:00
AlexKnauth
2b0ba444c0 and/c: use projections more on flat-contract arguments 2015-05-26 20:39:41 -05:00
Robby Findler
78ecccc2b1 fewer quotes 2015-05-19 11:17:17 -05:00
Alex Knauth
d30b90cba3 contract docs: explain positive and negative as server and client 2015-05-19 11:14:13 -05:00
Robby Findler
a9ac3be43c add missing default value 2015-05-18 20:35:36 -05:00
Matthew Flatt
235bd4de8f raco setup: fix shared-file cleanup on uninstall
The tidying step of `raco setup` looked for the "shares.rktd"
receipt file in the wrong directory.
2015-05-18 18:55:18 -06:00
Matthew Flatt
7067559ac7 raco setup: fix reporting of stderr output
Handle was mangled in commit 17275b946a.
2015-05-18 18:08:44 -06:00
Gustavo Massaccesi
542b960d12 Tests for 16ce8fd90d 2015-05-16 22:32:05 -03:00
Matthew Flatt
aaa289c7b6 tests and repairs for early checks
Also, avoid "early" checks when recurring, just in case.
2015-05-16 17:15:22 -06:00
Matthew Flatt
5aa7ba6f30 raco pkg install: check for installed before catalog, etc.
Add an early check for whether a package is installed before
doing more time-consuming work, such as consulting a catalog.
2015-05-16 16:44:46 -06:00
Matthew Flatt
07b8007edb raco pkg: better error message for bad Git URL 2015-05-16 16:26:55 -06:00
Matthew Flatt
9272781d6d git-checkout: add #:initial-error argument 2015-05-16 16:23:16 -06:00
Matthew Flatt
c4401313d4 when a directory URL fails, suggest a ".git" extension 2015-05-16 16:23:16 -06:00
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
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