Eli Barzilay
583abebb1a
Better sources (use unicode and `p*').
2010-07-14 12:34:16 -04:00
Matthew Flatt
43c2d351df
fix two more validator functions after prototype change
2010-07-14 10:06:56 -06:00
Matthew Flatt
32552fc4c2
revert cm refactoring
...
Reverts commit fe60da72c8
.
Something about the recfatoring was broken. For example, modify
"racket/contract.rkt" and then run `raco setup -D -j 1 racket'.
Another `raco setup -D -j 1 racket' re-builds a file in
"mred", but a second run shouldn't have built anything. (Using
`-j 1' demonstrates that it's not related to parallel builds.)
Reverting the refactoring fixes the problem.
I don't know what the bug was, but Kevin says that the refactoring
wasn't needed after all.
2010-07-14 10:05:51 -06:00
Casey Klein
f62b827fa9
Propagates bytecode verifier's result_ignored flag into boxenv bodies
2010-07-14 09:52:50 -05:00
Casey Klein
2025c27475
Fixes bug with "noclear" rewind.
2010-07-14 09:52:50 -05:00
Casey Klein
f786f24ac5
Makes let-rec verification match the implementation
2010-07-14 09:52:50 -05:00
Casey Klein
bc511912a4
Makes `let-one' verification match VM
2010-07-14 09:52:50 -05:00
Casey Klein
514f4e2e4b
Restricts bytecode cycles to begin with proc-consts, as in the real machine.
2010-07-14 09:52:50 -05:00
Matthew Flatt
15aeee98e9
fix some file exe permissions
2010-07-14 08:04:20 -06:00
Matthew Flatt
a530109d17
adjust libffi hacks that avoid warnings
2010-07-14 06:24:49 -06:00
Mike Sperber
de94854243
Unbreak stepper tests.
...
... via a spectacularly ugly hack.
2010-07-14 14:07:13 +02:00
Matthew Flatt
90b586365f
upgrade to latest libffi from git repo (between v3.0.9 and v3.0.10)
2010-07-13 21:12:59 -06:00
Matthew Flatt
a306a646e6
fix build for disabled FFI
2010-07-13 16:07:03 -06:00
Matthew Flatt
94799247ee
add file/sha1 and use it in openssl/sha1 when OpenSSL fails to load
2010-07-13 16:07:03 -06:00
Matthew Flatt
9743fd9381
fix mips preprocessor-decision mismatch
2010-07-13 16:07:03 -06:00
Matthew Flatt
95dd131e93
use msg-send table atomically
2010-07-13 16:07:02 -06:00
Ryan Culpepper
87b1ec35f3
syntax/parse: work around hiding issue in macro stepper
2010-07-13 15:34:34 -06:00
Ryan Culpepper
79a06deb79
Added uses of internal-definition-context-apply from unstable/syntax
2010-07-13 12:07:48 -06:00
Ryan Culpepper
07f57aac9b
Added uses of unstable/struct
2010-07-13 12:07:47 -06:00
Ryan Culpepper
df4e37fe08
macro-stepper: small doc update
2010-07-13 09:49:46 -06:00
Ryan Culpepper
4693abf074
macro-stepper: re-enabled block test
2010-07-13 09:38:52 -06:00
Ryan Culpepper
e36c964a9a
macro-stepper: updated tests
2010-07-13 09:22:52 -06:00
Ryan Culpepper
b8bf5c571a
macro-stepper: add support for #%stratified-body
2010-07-13 09:22:51 -06:00
Ryan Culpepper
9b03e38409
macro-stepper: switched to racket in hiding policy, labels
2010-07-13 09:22:51 -06:00
Ryan Culpepper
cf195b633b
macro-stepper: correctly render new letrec transformation
2010-07-13 09:22:51 -06:00
Mike Sperber
9abdc72dad
Unbreak doc build of image.scrbl.
2010-07-13 17:16:13 +02:00
Mike Sperber
450109f061
Merge changes to scheme-tests.rkt into racket-tests.rkt.
2010-07-13 17:15:50 +02:00
Mike Sperber
5f25c239f2
Merge remote branch 'local-plt/master'
...
Conflicts:
collects/deinprogramm/define-record-procedures.scm
collects/test-engine/scheme-tests.rkt
collects/test-engine/test-display.scm
2010-07-13 17:13:30 +02:00
Eli Barzilay
51d2417cf5
Intro text done, hopefully.
2010-07-12 21:41:34 -04:00
Eli Barzilay
fb968d1d34
Added a page for drracket.org.
2010-07-12 21:41:34 -04:00
Eli Barzilay
6158e24d84
Add a convenient macro for sections, and some sequence functions
2010-07-12 21:41:33 -04:00
Eli Barzilay
e54d7c0806
Add some newlines to make htmls more readable (and debuggable)
2010-07-12 21:41:33 -04:00
Eli Barzilay
fa8129b44d
fix references to pre
2010-07-12 21:41:33 -04:00
Eli Barzilay
5b6b3f3bac
Delay the generation of the button script, so it gets the right download url.
2010-07-12 21:38:53 -04:00
Eli Barzilay
bb6a109e98
guide typo
2010-07-12 21:38:52 -04:00
Eli Barzilay
14d181ddef
minor typo fix
2010-07-12 21:38:52 -04:00
Eli Barzilay
0b9409d3b6
Reformat the code to be more readable.
2010-07-12 21:38:01 -04:00
Matthew Flatt
818ac8f712
fix bug in new int-def parsing
2010-07-12 18:58:38 -06:00
Matthew Flatt
a0b2442195
catch up release notes
2010-07-12 18:58:20 -06:00
Matthew Flatt
768a3721f9
add async-apply support to FFI
2010-07-11 14:59:40 -06:00
Robby Findler
41cfcbe862
rewrote an ->d contract so that it would work with a let*-style scoping
2010-07-10 10:01:25 -05:00
Robby Findler
476dd36eec
modified the draw-button-label contract so that it would work with a let*-style scoping for ->d
2010-07-10 10:01:25 -05:00
Robby Findler
f5c18d3300
removed more unnecessary ->d's
2010-07-10 10:01:24 -05:00
Robby Findler
f5310b2908
removed unnecessary ->d contracts (they were actually just -> contracts), plus a little Racketying that I missed in the last commit.
2010-07-10 10:01:24 -05:00
Robby Findler
1f89bea08d
Rackety
2010-07-10 10:01:24 -05:00
Matthew Flatt
49ad309630
allow full continuations to escape past a continuation barrier
2010-07-10 07:31:58 -06:00
Robby Findler
84f9eb3f4c
.
2010-07-10 04:51:24 -05:00
Matthew Flatt
52d04449a1
improve racket/serialize to handle cycles with mutable prefabs
2010-07-09 14:19:59 -06:00
Robby Findler
0a7c65d066
improved the code that determines if an identifier is a known predicate or if it is some unknown thing
2010-07-09 15:11:02 -05:00
Robby Findler
99c563ac50
fixed a bug in the way the gui was reset when editing the definitions window
2010-07-09 15:03:41 -05:00