Commit Graph

38639 Commits

Author SHA1 Message Date
Eric Dobson
1dc33167c2 Add with-lexical-env/extend-props. 2014-05-26 18:59:03 -07:00
Eric Dobson
06f08b9e30 Make implied-atomic work on AndFilters as well. 2014-05-26 18:59:03 -07:00
Eric Dobson
309a3d706b Cleanup combine-props. 2014-05-26 18:13:52 -07:00
Eric Dobson
77255ba6d5 Cleanup env+. 2014-05-26 18:13:52 -07:00
Eric Dobson
0d85aa79a3 Make update do actual structural recursion over the path. 2014-05-26 18:13:52 -07:00
Eric Dobson
3f5f4c9a54 Delete case in tc-expr which is not needed. 2014-05-26 18:13:52 -07:00
Eric Dobson
684bde6c6e Fix name escape in tc/rec-lambda/check. 2014-05-26 18:13:52 -07:00
Eric Dobson
ebd7f8dc92 Cleanup function type creation in tc/rec-lambda/check; 2014-05-26 18:13:52 -07:00
Robby Findler
91e887300f use drracket:default-filters and drracket:default-extension in datalog 2014-05-26 19:38:33 -05:00
Robby Findler
e8bfd42d36 add drracket:default-filters and drracket:default-extension support 2014-05-26 19:38:33 -05:00
Eric Dobson
70a70166d1 Move replace-names from tc-metafunctions to tc-subst. 2014-05-26 17:18:34 -07:00
Eric Dobson
bdbdac3b67 Make a subst-tc-results. 2014-05-26 17:18:34 -07:00
Eric Dobson
7696b8ca71 Make tc-literal tests actually include all of the tests. 2014-05-26 17:06:27 -07:00
Eric Dobson
755f4835be Minor cleanup on app of list. 2014-05-26 17:06:27 -07:00
Eric Dobson
c60b3d8b03 Fix typechecking of andmap/ormap on dotted lists. 2014-05-26 17:06:27 -07:00
Ryan Culpepper
0821ca8717 fix undefined field in odbc connection
closes PR 14490
2014-05-26 17:15:34 -04:00
Ryan Culpepper
c3893a6c73 add client SNI tests 2014-05-26 17:15:34 -04:00
Jay Kominek
57753a7b6c define and use TLSEXT_NAMETYPE_host_name 2014-05-26 16:49:46 -04:00
Jay Kominek
52159fea13 add SSL Server Name Indication support 2014-05-26 16:49:45 -04:00
Robby Findler
8ff984a934 make c:x;c:f keybinding use file-menu:open-callback (when it can) 2014-05-26 14:53:55 -05:00
Robby Findler
5631732e9d improve ->i syntax error message when dependencies are cyclic 2014-05-26 14:53:31 -05:00
Eric Dobson
817ec2238a Fix printing of AnyValues with filters. 2014-05-26 12:01:33 -07:00
Eric Dobson
62c4f5d1fb Add support for tc-any-results having a filter. 2014-05-26 11:43:48 -07:00
Eric Dobson
fac2f05a6d Add filter to AnyValues. 2014-05-26 11:43:48 -07:00
Eric Dobson
0c5c6f50c1 Specialize ignore-some in expression position.
We now do not return -Bottom from ignore-some, because it has
issues with improved handling of filters in check-below.
2014-05-26 11:43:48 -07:00
Matthew Flatt
03a0dbd9fd raco make: improve parallelism
The `require` macro now logs "prefetch" messages when it sees a `require`
with multiple module paths. The prefix information is approximate, since
parsing a `require` subform might depend on imports from a previous subform,
but in the common case, there are many obvious module paths to prefetch.

The parallel mode of `raco make` watches for prefetch messages and
records the suggested "prefetch" paths so they can be compiled by other
processes.

original commit: 9e3b984463
2014-05-26 18:56:50 +01:00
Matthew Flatt
9e3b984463 raco make: improve parallelism
The `require` macro now logs "prefetch" messages when it sees a `require`
with multiple module paths. The prefix information is approximate, since
parsing a `require` subform might depend on imports from a previous subform,
but in the common case, there are many obvious module paths to prefetch.

The parallel mode of `raco make` watches for prefetch messages and
records the suggested "prefetch" paths so they can be compiled by other
processes.
2014-05-26 18:56:50 +01:00
Matthew Flatt
5c38034300 compiler/cm: doc repair 2014-05-26 18:56:50 +01:00
Matthew Flatt
e29418f204 compiler/cm: fix propagation of log messages 2014-05-26 18:56:50 +01:00
Matthew Flatt
e16b6fd06e logger: fix problems with level checking, add option to log-message
Logged messages could get dropped if a log receiver is specialized
to a name that is provided as an argument to `log-message` instead
of used from the target logger.

Add an option to `log-message` to avoid adding the name to the
start of the message string, which is needed to propagate messages
from one logger to another.
2014-05-26 18:56:50 +01:00
Eric Dobson
da654f09bc Fix contract breakage in TR. 2014-05-26 09:57:05 -07:00
Eric Dobson
ff8ed078d5 Make ... <: * case more correct. 2014-05-26 08:22:35 -07:00
Eric Dobson
6b771a8c25 Simplify the * <: ... and ... <: * cases in cgen/seq.
This allows move-vars+rest-to-dmap to be saner, and thus clean up mover.
2014-05-26 08:22:35 -07:00
Eric Dobson
f321098cce Inline some local variables in cgen/seq. 2014-05-26 08:22:34 -07:00
Eric Dobson
f6588df220 Remove top-arr. 2014-05-26 08:22:12 -07:00
Eric Dobson
01b2b8376e Add performance hint to var-promote. 2014-05-26 08:13:17 -07:00
Eric Dobson
9efa4af051 Make initial version of structural type recursion, and use it. 2014-05-26 08:13:16 -07:00
Eric Dobson
cadc2dcb8f Merge var-promote and var-demote. 2014-05-26 08:13:16 -07:00
Eric Dobson
ee4e07f5eb Add tests for promote/demote.
Also fix promotion/demotion in hashtables and kw arguments.
2014-05-26 08:13:16 -07:00
Eric Dobson
5e4eecc8c6 Make promote-demote no longer a unit. 2014-05-26 08:13:16 -07:00
Matthew Flatt
7137c8d6a6 racket/unit: fix signature handling of define-values/invoke-unit/infer
Closes PR 14453
2014-05-26 08:43:34 +01:00
Jordan Johnson
cd9e46edc2 Re-exported types from openssl. 2014-05-25 22:51:43 -04:00
Jordan Johnson
44460d383d Lifted types & main openssl lib to separate files.
Noticed that typed wrappers for some other libs (e.g., db) would use
the types but not necessarily the functions, so it seems logical to
separate the types.

Also, after I built Racket on my Mac, it failed to find
openssl/main.rkt named as it was — signaled an error that indicated it
was looking in <my git repo>/pkgs/htdp-pkgs/htdp-lib/typed/openssl.rkt
— so I lifted openssl/main.rkt out to openssl.rkt
2014-05-25 22:51:43 -04:00
Jordan Johnson
a651845605 Added openssl, openssl/sha1, and openssl/md5.
Also, listed new libs in TR scribble docs.
2014-05-25 22:51:43 -04:00
Matthew Flatt
0e9f468d3f repair JIT bug
The bug incorrectly tracks the value that is available in virtual
register R0 --- only in the case that some value was known to be ready
in R0, and some other value was known to be ready in R1, and a value
is moved from R1 to R0.

Closes PR 14523
2014-05-25 21:45:20 +01:00
Robby Findler
5c2c3c65ff remove the "variable not a prefix" side-condition from the r6rs model 2014-05-25 03:39:47 -05:00
Robby Findler
747b5cd46e remove unique? side-conditions from the r6rs language due to the _!_ semantics change 2014-05-25 03:39:46 -05:00
Robby Findler
f26a5b60d7 fix bug in recent _!_ semantics change 2014-05-24 11:58:25 -05:00
Robby Findler
69c96c628d Change the semantics for _!_ variables when they are under ellipses
In particular, make the semantics less insane. There is now a
much simpler description of how these two interact (see docs)

Altho this is a backwards incompatible change, it seems relatively
unlikely to affect anyone negatively and it makes the R6RS semantics
better and makes it possible to think about enumerating expressions
from that grammar
2014-05-23 21:57:50 -05:00
Robby Findler
ec01c7689c bring down below 102 lines 2014-05-23 21:57:49 -05:00