Commit Graph

38639 Commits

Author SHA1 Message Date
Ryan Culpepper
95d1bacf15 template: pre-allocate local env vectors for nested ellipses 2014-05-14 15:51:37 -04:00
Ryan Culpepper
217dc89f5c template: fix checking of ellipsis-driving variables
closes PR 14497
2014-05-14 15:51:37 -04:00
Asumu Takikawa
5fff7ce07e Fix GUI types and add missing types
Closes PR 14503
Closes PR 14507
2014-05-14 15:22:58 -04:00
Sam Tobin-Hochstadt
76fe6b6e97 Enable OS X testing on Travis. 2014-05-14 11:00:24 -04:00
Matthew Flatt
81d7d0df4a scribble docs: fix example for literal 2014-05-14 06:10:50 -06:00
Matthew Flatt
c9f13248e3 scribble/base: add #:style argument to image 2014-05-14 06:10:50 -06:00
Matthew Flatt
a7ad0e3a01 default module name resolver: fix cache
The cache was keyed on `current-library-collection-paths`, but
not other parameters such as `current-library-collection-links`,
so it was too "sticky" in the case that some parameters changed.
Adjust the cache to be specific to loaded module in a namespace's
module registry.
2014-05-14 06:10:50 -06:00
Eric Dobson
62ff915a56 Make inst fail on results that are not single valued. 2014-05-13 22:59:36 -07:00
Eric Dobson
2533effb2f Make valuesdots subtyping not cause contract violations. 2014-05-13 22:59:35 -07:00
Eric Dobson
f3fa035751 Abstract over dotted type in values. 2014-05-13 22:59:35 -07:00
Eric Dobson
a687415d6b Make tc-lambda not internal error in poly dotted expected contexts. 2014-05-13 22:59:35 -07:00
Asumu Takikawa
9435a8f447 Fix type printing for simple latent filters
Don't print a simple filter for a function with more than
one argument or with a filter object that refers to an outer
variable.

This matches up with type parsing.

Closes PR 14510
2014-05-14 01:35:16 -04:00
Robby Findler
5ed9b65ae5 add a random generator for struct/c
This is actually done by adding a generator for struct/dc in the case
that there are no dependencies, so it'll also work for such contracts.
2014-05-13 22:49:02 -05:00
Robby Findler
c64d70abc6 contract improvements
- add a generator for cons/c
- make flat-rec-contract not just build the predicate, meaning:
  - it has a better name
  - it can do random generation
- make the procedures that come from any/c random generation indicate that from their names
- make or/c with one argument just (check and) return that argument, so
  (or/c (or/c number?)) has the name 'number?'
2014-05-13 22:49:02 -05:00
Robby Findler
cfd1f46fa2 fix bug in flat struct/dc predicate implementation 2014-05-13 22:49:01 -05:00
Robby Findler
efefe300f5 fix doc header 2014-05-13 18:06:48 -05:00
Matthew Flatt
62f42339c1 ffi/unsafe: correct and improve docs on _cpointer 2014-05-13 16:27:11 -06:00
Matthew Flatt
d96bfb6e29 setup/dirs et al.: thread-safe promises
Use `delay/sync` instead of `delay`.
2014-05-13 16:27:11 -06:00
Hasnain Lakhani
7ac92703dc Fix typo in symbols.scrbl 2014-05-13 17:21:58 -04:00
Robby Findler
6eba1ec9a6 remove printf 2014-05-13 15:29:02 -05:00
Robby Findler
951a6f051b Rackety (102 columns) 2014-05-13 15:22:11 -05:00
Robby Findler
0358d7079b adjust angle->proper-range based on Neil's advice 2014-05-13 15:21:42 -05:00
Robby Findler
1b5dbcbca8 fix mailing list link
closes PR 14491
2014-05-13 15:18:31 -05:00
Eric Dobson
46701b6983 Fix return tc-results when typechecking kw lambda. 2014-05-13 09:22:46 -07:00
Robby Findler
83abd94dd0 fix angle conversion problem 2014-05-12 21:37:40 -05:00
Matthew Flatt
3f3e6e4cb4 scribble: fix HTML scaling of GIFs
Even without scaling, declare the size of a PNG or GIF in HTML
output.
2014-05-12 20:13:20 -06:00
Eric Dobson
79df0996fd Actually fix all of the contract errors in substitute.rkt 2014-05-12 08:09:26 -07:00
Robby Findler
8b0e23d15a fix struct/dc's flat-contract mode predicate 2014-05-12 10:05:54 -05:00
Robby Findler
a1fd690201 add random generation for polymorphic contracts 2014-05-12 09:49:15 -05:00
Robby Findler
318130b716 fix positive integer generator to not generate zero 2014-05-12 09:49:15 -05:00
Matthew Flatt
be04593a31 fix bug in insertion of guards to prevent use before definition 2014-05-12 08:09:23 -06:00
Matthew Flatt
1d87c95bf0 reduce calls to current-process-milliseconds on thread swap
Call `current-process-milliseconds` once per swap, instead of twice.
2014-05-12 04:57:44 -06:00
Matthew Flatt
98b91a11e4 faster path for TCP input
Avoid polling a file descriptor to determine whether it has bytes;
just try to read, and then go to epoll/kevent mode when available,
skipping a poll/select.
2014-05-12 04:57:44 -06:00
Matthew Flatt
97da48ab67 remove/adjust obsolete C preprocessor cases
Mac OS Classic and Palm ae long since unsupported.

TCP support implies sockets (since old Mac TCP is gone).

For what it's worth, make the build work without TCP support, although
no one ever builds that way.
2014-05-12 04:57:44 -06:00
Matthew Flatt
58e8ed7d7d games/cards: add @2x card images
For both original and @2x, adjust images to use alphas for the corner,
instead of drawing with clipping, which avoids alignment problems on
an @2x display.
2014-05-12 04:57:44 -06:00
Matthew Flatt
54e42664df racket/draw: faster (on some platforms) path for drawing a bitmap
The faster path applies in the common case of drawing a whole
bitmap, as opposed to a section of the bitmap.

Thanks to Laurent Orseau for tracking down this performance issue.
2014-05-12 04:57:44 -06:00
Eric Dobson
3f5bddfcbd Fix subst-all contract. 2014-05-11 21:02:03 -07:00
Robby Findler
75de9243e4 add pict->argb-pixels and argb-pixels->pict 2014-05-11 22:30:14 -05:00
Robby Findler
6df33ab08c make new-∀/c and new-∃/c figure our their own names and have a better printing 2014-05-11 22:30:14 -05:00
Eric Dobson
4f7a119a08 Correctly handle moving dotted vars to the dmap. 2014-05-11 17:43:34 -07:00
Eric Dobson
d7ed73d5ac Add support for 1 sided contracts on Top types. 2014-05-11 17:17:09 -07:00
Matthew Flatt
1e1d92d311 net/sendurl: improve docs on encoding in send-url and other functions
original commit: 6d572864d2
2014-05-11 08:35:43 -06:00
Matthew Flatt
6d572864d2 net/sendurl: improve docs on encoding in send-url and other functions 2014-05-11 08:35:43 -06:00
Matthew Flatt
d1525edf62 Scribble search, etc.: fix URL decoding
Use Javascript's decodeURIComponent() instead of unescape().

This repair makes searching for Unicode characters work from DrRacket
(e.g., via F1).
2014-05-11 08:34:58 -06:00
Matthew Flatt
b15aea28c2 fix accidental disabling of thread-specific process-milliseconds 2014-05-10 19:29:54 -06:00
Tony Garnock-Jones
d512a4a9c1 Index atexit in the documentation, to make it easier to find for people coming from C 2014-05-10 19:27:52 -06:00
Robby Findler
95cdd6e619 fix a performance bug in drracket's REPL IO.
This one of those classic n^2-loop-that-should-be-linear bug. The fix
speeds up this program (when run in DrRacket) by about 1.75x:

  (for ([x (in-range 10000)])
    (display "abcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyz\n"))

The bug is fairly old too: I introduced this bug on March 6th,
2004. (Thanks, Sam, for making that old history accessible!)
2014-05-10 20:02:03 -05:00
Robby Findler
633ec1faf5 fix raco test -c
closes PR 14494

original commit: fa68b57de3
2014-05-10 11:12:22 -05:00
Robby Findler
fa68b57de3 fix raco test -c
closes PR 14494
2014-05-10 11:12:22 -05:00
Robby Findler
9d87fe5079 cleanups to old, broken test suite and some bug fixes it uncovered
also, fix any/c generator
2014-05-10 10:01:29 -05:00