Commit Graph

34602 Commits

Author SHA1 Message Date
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
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
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
Matthew Flatt
f0e710179c filesystem-change-evt: report inotify_init() error correctly 2014-07-24 14:12:17 +01:00
Matthew Flatt
c570a86201 streamline some paths for equality and hashing
Cuts about 1/3 of the time for a string-hashing microbenchmark
provided by Pedro Ramos:

 #lang racket
 (define alphabet "abcdefghijklmnopqrstuvwxyz")
 (define (random-word n)
   (build-string n (lambda (x) (string-ref alphabet (random 26)))))
 (define words (for/list ([k 1000000])
                 (random-word 3)))
 (define d (make-hash))
 (time (for ([w (in-list words)])
         (if (hash-has-key? d w)
             (hash-set! d w (add1 (hash-ref d w)))
             (hash-set! d w 1))))
2014-07-24 13:33:11 +01:00
Matthew Butterick
0b7d96b854 fix doc typo 2014-07-24 07:31:59 +01:00
Matthew Flatt
aedeccb8cd move udp tests out of weird nesting within file tests 2014-07-24 07:26:53 +01:00
Matthew Flatt
6e35660583 filesystem-change-evt tests: let error through when success is required 2014-07-24 07:26:53 +01:00
Asumu Takikawa
ad677478ab Test for begin at label phase 2014-07-23 12:20:50 -04:00
Matthew Flatt
a95e279219 fix submodule export of enclosing module's binding
When `x` and `x`-with-a-mark are both defined, then the order of
definitions affected the binding that `(provide x)` would export
in a submodule that uses `#f` as its language. The problem was
in the implementation of the implicit `require`, which needs to
look up a variable's symbolic name in two different environments
to set up the right mapping.
2014-07-23 16:46:51 +01:00
Matthew Flatt
bf748a03c9 raco decompile: show provides 2014-07-23 16:46:51 +01:00
Matthias Felleisen
68de6454d9 documented addition of check-random; please include in 6.1 2014-07-23 11:44:05 -04:00
Matthias Felleisen
25f1137f66 Rackety, deleted some unnecessary comments 2014-07-23 11:44:05 -04:00
Matthias Felleisen
d321c4e117 Racket-y, 102 2014-07-23 11:44:04 -04:00
Neil Toronto
3849643e4b Move margin-note* in math docs to work around issue with Firefox
Please merge to v6.1
2014-07-23 11:21:19 -04:00