Matthew Flatt
052c7e4c06
pick better names for new module-expansion properties
...
In retrospect, 'module-body-outside-context wasn't a good
name for a property that turned out to hold only an
inside-edge scope.
2016-01-13 07:53:50 -07:00
Matthew Flatt
6ea9e963c4
add context properties to a module
expansion
...
Add 'module-body-inside-context, 'module-body-outside-context, and
'module-body-context-simple? properties to the expansion of a
`module` form. These properties expose scopes that are used by
`module->namespace` and taht appear in marshaled bytecode.
2016-01-13 07:44:31 -07:00
Asumu Takikawa
34f52deeb1
Fix struct error for bad #:constructor-name
2016-01-12 11:21:31 -05:00
Sam Tobin-Hochstadt
6261cc5f18
Correctly use installation scope everywhere.
2016-01-11 15:39:33 -05:00
Spencer Florence
0fbf0343b9
fixed more cover flags
2016-01-10 10:16:22 -06:00
Spencer Florence
220ee74abe
added correct deps for cover
2016-01-10 10:06:15 -06:00
Spencer Florence
0435a3639d
fixed call to cover in travis build
2016-01-10 09:58:31 -06:00
Spencer Florence
db250c4cf9
fixed -c error
...
Closes #1 .
2016-01-10 10:16:03 -05:00
Sam Tobin-Hochstadt
12927d0e8b
Avoid writing to the current directory in this test.
2016-01-09 22:52:18 -05:00
Matthew Flatt
417d9b0e73
define-runtime-path: add a #:runtime?-id
option
...
The expression in a `define-runtime-path` form is used in
both a run-time context and a compile-time context. The
latter is used for `raco exe`. In a cross-build context,
you might need to load OpenSSL support for Linux (say)
at build time while generating executables that refer to
Windows (say) OpenSSL support. In that case, `#:runtime?-id`
lets you choose between `(cross-system-type)` and
`(system-type)`.
Merge to v6.4
2016-01-09 09:44:47 -07:00
Matthew Flatt
0d3066d8db
adjust doc example to avoid a dependence on "algol60"
...
Merge to v6.4
2016-01-09 09:44:37 -07:00
Ryan Culpepper
c2e99efefc
Post-release version for the v6.4 release
2016-01-09 11:31:31 -05:00
Matthew Flatt
01e889570a
net/win32-ssl: enable TLS 1.1 and 1.2
2016-01-09 08:28:20 -07:00
Matthew Flatt
034d2e9531
declare NSSupportsAutomaticGraphicsSwitching
...
Related to #1193
2016-01-09 06:12:46 -07:00
Matthew Flatt
3e5c889b7d
adjust non-JIT application of chaperone with only properties
...
Don't push elements to the runstack that aren't popped back off. I
can't construct an example that demonstrates a problem, but fix it
just in case.
2016-01-09 06:09:36 -07:00
Matthew Flatt
dafb6d722e
Makefile: move SRC_CATALOG
definition to ealier
...
Accommodate nmake.exe, which needs the definition before
the use in `win32-in-place`.
2016-01-08 19:31:46 -07:00
Matthew Flatt
7b4c91ea21
setup/cross-system: configure reader properly
2016-01-08 18:29:10 -07:00
Matthew Flatt
8e162082e1
fix foreign library references for cross-build
2016-01-08 16:40:58 -07:00
Matthew Flatt
30005d41ac
repair for cross-build of OS X executables
2016-01-08 16:22:44 -07:00
Matthew Flatt
d4f3dfb3d0
make SRC_CATALOG
work with win32-in-place
2016-01-08 10:01:22 -07:00
Matthew Flatt
7bae604711
fix default source catalog for make
2016-01-08 09:53:44 -07:00
Jay McCarthy
b078cbc0ef
Add define-rename-transformer-parameter and friends
2016-01-08 11:03:33 -05:00
Ben Greenman
3c496777ef
add 'combinations' and 'in-combinations'
2016-01-07 23:44:53 -05:00
Robby Findler
32a79a22ec
Revert "improve the way plus-one arity functions fall back when they can't see the application site"
...
This reverts commit c24ddb4a7c
.
This optimization was bogus, as shown by the test case in 393d72f153
(Thanks to Sam again for the test case.)
2016-01-07 22:14:15 -06:00
Robby Findler
393d72f153
add test case that makes sure we preserve chaperone-of for contract-out functions
2016-01-07 22:14:05 -06:00
Matthew Flatt
666c5f1557
Windows code-signing and ".tgz" options for distro-build
2016-01-07 17:25:26 -07:00
Robby Findler
3e53a3ea42
make impersonator vector contracts use impersonate-vector, not chaperone-vector
...
closes #1198
2016-01-07 12:59:21 -06:00
Robby Findler
c24ddb4a7c
improve the way plus-one arity functions fall back when they can't see the application site
...
In particular, instead of going directly back to the chaperone, handle
the case where the function doesn't accept keyword arguments with a
less expensive fallback.
The less expensive fallback uses a case-lambda wrapper (wrapped inside
a make-keyword-procedure) to close over the neg-party and avoid the
chaperone creation. With this commit, the program below gets about 3x
faster, and is only about 20% slower than the version that replaces
the "(let ([f f]) ...)" with its body
#lang racket/base
(module m racket/base
(require racket/contract/base)
(provide (contract-out [f (-> integer? integer?)]))
(define (f x) x))
(require 'm)
(collect-garbage)
(time (for ([x (in-range 5000000)]) (let ([f f]) (f 1))))
Thanks, @samth!
2016-01-07 12:59:21 -06:00
Robby Findler
578b42fc2b
add docs for contract-late-neg-projection and contract-val-first-projection
2016-01-07 12:59:20 -06:00
Robby Findler
8b4f8541c3
remove extraneous ?
2016-01-07 12:59:20 -06:00
Robby Findler
d04dfb67df
remove stray printf
2016-01-07 12:59:20 -06:00
Matthew Flatt
7db904e984
net/osx-ssl: fix error handling
2016-01-07 10:49:53 -07:00
Gustavo Massaccesi
9a6726b10d
sequence-length: more O(1) special cases
2016-01-07 13:48:42 -03:00
Matthew Flatt
bfe9b4aefd
fix CFNetwork reference for old OS X
2016-01-07 06:11:28 -07:00
Matthew Flatt
c9348f7cd7
fix Mac OS X pre-built libssl install
2016-01-07 06:11:27 -07:00
Leif Andersen
7eee46c4d3
=> should not be hyperlinked to cond arrow.
2016-01-06 21:27:56 -05:00
Juan Francisco Cantero Hurtado
961ab31776
Typo: clonse -> clones.
2016-01-06 19:52:31 -06:00
Jay McCarthy
d3c09ead19
Fix cpointer tags
2016-01-06 19:07:33 -05:00
Jay McCarthy
ccc50ca68f
Forgot to update racket, just base
2016-01-06 17:42:56 -05:00
Jay McCarthy
18208f76f5
Improve define-cstruct inline-ability and add #:define-unsafe
2016-01-06 16:53:36 -05:00
Benjamin Greenman
69b01c637f
typo: curent
-> current
2016-01-06 15:42:58 -05:00
Matthew Flatt
fe1ffbe36f
fix a test for the default package catalog
2016-01-06 13:17:44 -07:00
Matthew Flatt
fe8a2fd801
docs: suggest 'pure for current-https-protocol
2016-01-06 12:27:42 -07:00
Matthew Flatt
711ab4d984
raco pkg: add PLT_PKG_SSL_NO_VERIFY
environment variable
...
Just in case someone needs to work around an HTTPS server
without a valid certifcate.
2016-01-06 11:55:43 -07:00
Matthew Flatt
8dfce37977
net/win32-ssl: enable 'secure mode
...
Validate server certificate in 'secure mode.
2016-01-06 11:55:43 -07:00
Matthew Flatt
c706ee2c05
switch default catalogs to HTTPS
2016-01-06 11:55:43 -07:00
Matthew Flatt
273bc4ea49
use OS X native SSL when libssl is too old
...
OS X's libssl is deprecated, and it doesn't work with SSL connections
that need SNI. We'll distribute out own libssl builds for OS X via a
package, but we need a native implementation that works well enough to
get that package.
2016-01-06 11:55:43 -07:00
Matthew Flatt
d160cb81a8
raco pkg: use 'secure for an HTTPS catalog
2016-01-06 11:55:43 -07:00
Matthew Flatt
92f1bfa4d2
openssl: add 'secure protocol shortcut
...
The 'secure protocol symbol is just a shorthand for
`(ssl-secure-client-context)`, but it helps highlight
that the default 'auto isn't secure, and having a plain
symbol smooths the connection to native Win32 and OS X
implementations of SSL.
2016-01-06 11:55:43 -07:00
Matthew Flatt
fce78e65b3
add net/osx-ssl
docs
2016-01-06 11:17:33 -07:00