Commit Graph

37761 Commits

Author SHA1 Message Date
Matthias Felleisen
753fb13d33 catching up with Robby's fix and making drdr happy -- clearly this export should not come from a teachpack, so something will have to change 2014-07-29 13:02:10 -04:00
Robby Findler
7472058fd9 fix contract random generation for -> when the range is 'any' 2014-07-29 09:38:09 -05:00
Robby Findler
a3c7c557ea fix some bugs found by the contract library's random testing
the procedure common-get-file-list was apparently never implemented,
so just remove it
2014-07-29 09:38:09 -05:00
Robby Findler
10ae6fbb90 fix contracts for racket:get-color-prefs-table and
racket:get-white-on-black-color-prefs-table

Apparently these contracts have always been wrong;
5.2.1 had these exports with the wrong contracts and
5.2 didn't have them

closes PR 14664
2014-07-29 09:38:09 -05:00
Matthew Flatt
01a285f2de meta/pkg-build/main: fix salvage in case of different versions 2014-07-29 14:52:24 +01:00
Leif Andersen
027fb52c66 mz-gdbinit script gives type when using pso
The mz-gdbinit script (generated by mk-gdbinit.rkt) gives the type when using
pso, even when the default template did not include the type.

It defaults to printing out only the name of the type without additional
information.
2014-07-29 14:22:07 +01:00
Jan Dvořák
8bd5aa38b1 allow mixing exceptions with ffi/unsafe/alloc
Use call-as-atomic that can handle exceptions instead of dynamic-winding
start-atomic and end-atomic. Exceptions can be found in the functions's
result wrapper such as:

    (define-lib find-some-object
                (_fun (name : _string/utf-8)
                      (object : (_ptr o _some-object-pointer))
                      --> (result : _int)
                      --> (begin
                            (when (negative? result)
                              (error 'find-some-object "unknown name"))
                            object))
                #:wrap (allocator free-some-object))

Signed-off-by: Jan Dvořák <mordae@anilinux.org>
2014-07-29 14:16:26 +01:00
Matthew Flatt
a32160c6f4 ffi/unsafe/atomic: improve docs 2014-07-29 14:11:06 +01:00
Matthew Flatt
3342d54c82 remove obsolete distribution specs
Replaced by the package system.
2014-07-29 12:29:53 +01:00
Matthew Flatt
e4e268f7d5 remove old web-page sources
The current web pages are in "new-web" (which should probably
change to just "web", eventually).
2014-07-29 12:29:53 +01:00
Matthew Flatt
6621e48b86 remove obsolte build support
Much of the old build support turned into "distro-build" for
package-based builds, and the "build" directory hasn't been
used for a year or so.
2014-07-29 12:29:52 +01:00
Matthew Flatt
0d25969ff0 add meta/test/unix-installer
Drive a virtual machine to test the Unix installer in various
configurations.
2014-07-29 12:29:52 +01:00
Matthew Flatt
807537e219 remote-shell: new package for ssh and VirtualBox utilities
Extracted from "meta/pkg-build" and "distro-build".
2014-07-29 12:29:52 +01:00
Matthew Flatt
41e7d346d1 adjust link-all to avoid conflicts 2014-07-29 10:48:33 +01:00
Matthew Flatt
04c36e2c09 adjust pack-all script to flush status messages 2014-07-29 10:48:32 +01:00
Robby Findler
60516049ed fix real-in naming test cases 2014-07-28 18:32:30 -05:00
Asumu Takikawa
8f08418699 Fix Values in type annotations
Closes PR 14218
2014-07-28 12:10:04 -04:00
Matthew Flatt
d2a8bfcfe6 raco pkg update: don't claim conflict with package being updated
Merge to v6.1
2014-07-28 16:29:43 +01:00
Matthew Flatt
b5e7fa3434 meta/pkg-push: improve status and error reporting 2014-07-28 15:22:22 +01:00
Robby Findler
e082f9b183 adjust real-in implementation so that it prints as (real-in ...) instead
of (between/c ...)
2014-07-28 08:37:19 -05:00
Robby Findler
71e5d2276e export snip-class because the matrix snips need that to work properly 2014-07-28 08:37:19 -05:00
Robby Findler
0c68ded12d fix language extension bug in reduction-relation
closes PR 14660
2014-07-26 00:43:48 -05:00
Robby Findler
312d8d5d05 fix test 2014-07-25 23:54:01 -05:00
Robby Findler
804b558e05 fix contracts 2014-07-25 20:35:16 -05:00
Robby Findler
7fca5f8064 add some contracts to pict/code 2014-07-25 18:56:40 -05:00
Robby Findler
0416b8403d improve judgment form performance in some situations when
ambiguous judgment forms lead to exponential blowup
2014-07-25 18:38:37 -05:00
Asumu Takikawa
41175d74be Check with-handlers better in TR
Now checks that a predicate and handler in the same clause
are consistent (using the filter on the predicate).

Closes PR 13950
Closes PR 14641
2014-07-25 18:31:10 -04:00
Sam Tobin-Hochstadt
8f2fa4cb7e Send fewer emails from Travis. 2014-07-25 17:30:09 -04:00
Asumu Takikawa
44b83a6409 Refactor and organize imports 2014-07-25 16:47:02 -04:00
Asumu Takikawa
4ead2124c7 Fix cast/make-predicate contracts in with-type 2014-07-25 16:47:02 -04:00
Asumu Takikawa
0e8e71f48f Support lifts in TR with-types
Closes PR 14650
2014-07-25 16:47:02 -04:00
Asumu Takikawa
4cabad1714 Move syntax lifting helper to a new file in TR 2014-07-25 16:47:02 -04:00
Matthew Flatt
135ccf094e Windows: use native Win32 API for dates
Allows conversion of negative "seconds" to reach dates before
1970, and fixes year-varying DST tracking for versions of
Windows that know about those details.

As far as I can tell, we have to compute ourselves whether a
date is in daylight-saving time based on specifications of
when daylight and standard times start. That part seems tricky
and could use extra review.
2014-07-25 15:37:35 +01:00
Matthew Flatt
816d09bb24 macro expander: fix #%top via local-expand
Fix bug in b25a2b83ba that breaks the teaching languages.
2014-07-25 11:21:20 +01:00
Matthew Flatt
8f8e3b7c65 close hole in chaperone implementation
Problem, example, and solution from Sam; see the dev mailing-list post
on 24-JUL-2014.

When a chaperoned accessor, mutator, or property accessor is used to
chaperone a struct, the chaproning procedure must not be able to
see things that the chaproned accessor, mutator, or property accessor
would not allow.
2014-07-25 11:02:08 +01:00
Matthew Flatt
70afd4b6b1 scribble: fix spacing after a 'compact enumeration 2014-07-25 11:02:07 +01:00
Matthew Flatt
b25a2b83ba The implementation of #%top within a module has, for a while,
required that the identifier wrapped by `#%top` not have a local
binding. Change the documentation to match the implementation in that
way. (Since local binding in an identifier's lexical information
contributes to its identity as a top-level binding, that specification
of `#%top` would make sense everywhere, but I've left the top level
alone for backward compatibility.)

Also, change `local-expand` to never introduct `#%top`
wrappers. That's a little more consistent with what `#%top` has
evolved to mean, and it specifically works better with
`local-expand/capture-lifts`.

Closes PR 14635 and PR 14654
2014-07-25 09:07:46 +01:00
Matthew Flatt
ccda0e4abb macro expander: fix identifier-binding on fully expanded module
Fix the case of an identifier that is used as a binding in a module
but originated from a different module.
2014-07-25 07:21:06 +01:00
Asumu Takikawa
bd60509bf6 Fix inherit in methods without type annotations
Uses of inherited method names inside other methods that
didn't have type annotations didn't work properly.
2014-07-24 20:54:19 -04:00
Asumu Takikawa
1bf54b06ee Revert label phase check, do correct thing
Thanks to Matthew for advice
2014-07-24 13:46:42 -04:00
Stephen Chang
b1557982e3 doc typos 2014-07-24 13:41:26 -04:00
Matthew Butterick
858ff7c67a update “Installing a Language” section to refer to package manager 2014-07-24 18:16:30 +01:00
Carl Winbäck
26cb89785b fix doc typo 2014-07-24 16:41:36 +01:00
Matthew Flatt
02f968085e net/http-client: don't send a 0-sized chunk that isn't a terminator
original commit: 682c92554f
2014-07-24 16:40:34 +01:00
Matthew Flatt
682c92554f net/http-client: don't send a 0-sized chunk that isn't a terminator 2014-07-24 16:40:34 +01:00
Scott Bell
33cbe67156 Send a final, empty chunk as required by RFC 2616 in http-conn-send!
original commit: 29922c8a77
2014-07-24 16:39:41 +01:00
Scott Bell
29922c8a77 Send a final, empty chunk as required by RFC 2616 in http-conn-send! 2014-07-24 16:39:41 +01:00
Matthew Flatt
1809df456a regexp-match: tune chunking of UTF-8 decoding
A `string-split` on a big string with lots of small matches sends the
regexp matcher a big string many times. Decoding 1024 bytes each time
is too much. Decoding 32 bytes is be a better trade-off between
chunking for large matches and being lazy for small matches.

For example, on a 60MB string with a space every 15 characters or so,
splitting on a space is about 3 times as fast with this adjustment.

I tried a few chunk sizes, and 32 worked the best in my experiments.
Naturally, as more bytes are read, the chunk size ramps up, so it's
a question of initial size; larger matches are relatively insensitive to
the initial size (so, again, it makes little sense to cater to large
matches with a large initial decoding size of 1024 bytes).
2014-07-24 16:07:01 +01:00
Matthew Flatt
53edc9f258 improve docs for identifier-binding-symbol
Closes PR 14659
2014-07-24 15:01:02 +01:00
Matthew Flatt
fffcf9f921 equal?: remove redundant eqv? test 2014-07-24 14:39:51 +01:00