Commit Graph

28392 Commits

Author SHA1 Message Date
Matthew Flatt
ee0da81dc0 ffi/unsafe: defend against some finalization bugs
Turn use of a finalized ffi callout into a reported error,
instead of a crash. Clarify the existence of the finalizer
in the docs. Fix error logging of the finalizer thread.

Merge to v5.3.1
(cherry picked from commit 9708a01a0a)
2012-10-22 11:52:40 -04:00
Stephen Bloch
d16bc25821 Changed "right" error messages to match new actual error messages.
(cherry picked from commit 71a59cf653)
2012-10-22 11:52:36 -04:00
Matthew Flatt
76cad3cedd fix mismanagement of temporary print buffer
Closes PR 13199

Merge to v5.3.1
(cherry picked from commit 70fee17ef9)
2012-10-22 11:52:32 -04:00
Robby Findler
7355c59fb1 added the ability to extract a derivation
from a judgment-form via build-derivation
(returns derivation structs)
2012-10-21 23:19:54 -05:00
Robby Findler
67d52138f9 provide language, reduction relation, and typing judgment from stlc.rkt 2012-10-21 19:55:53 -05:00
Robby Findler
9baefbe725 remove bogus case in stlc typing judgment form 2012-10-21 19:55:52 -05:00
Robby Findler
9696bd7337 adjust judgment-holds so it generates less code 2012-10-21 19:55:52 -05:00
Matthew Flatt
9708a01a0a ffi/unsafe: defend against some finalization bugs
Turn use of a finalized ffi callout into a reported error,
instead of a crash. Clarify the existence of the finalizer
in the docs. Fix error logging of the finalizer thread.

Merge to v5.3.1
2012-10-21 08:11:45 -06:00
Jay McCarthy
d77803b687 Adding in id-cookie library after 19th use in a Web app 2012-10-20 19:41:33 -06:00
Ryan Culpepper
6283ce733d add test for unsolved db crash 2012-10-20 18:28:20 -04:00
Stephen Bloch
71a59cf653 Changed "right" error messages to match new actual error messages. 2012-10-20 13:31:00 -04:00
Matthew Flatt
70fee17ef9 fix mismanagement of temporary print buffer
Closes PR 13199

Merge to v5.3.1
2012-10-20 09:37:16 -06:00
Matthew Flatt
3407b2e73f more clean-up for even?'/odd?' change
Along the same lines as 44078a1f01.
2012-10-20 09:36:23 -06:00
Mike Sperber
c39ad69447 Synch German string constants with latest. 2012-10-20 15:17:01 +02:00
Eli Barzilay
ad4af39146 New Racket version 5.3.1.2. 2012-10-20 03:30:16 -04:00
James Swaine
196dc3de11 FV: fix layout bug with timelines containing GC's, add GC
node to summary hierlist
2012-10-20 01:36:20 -05:00
James Swaine
797979f0ae FV: blocks/syncs on worker threads now show primitive name, etc.,
and connecting lines use different colors to show
connections between blocks on worker threads and corresponding ones
on runtime thread
2012-10-20 01:36:20 -05:00
James Swaine
44078a1f01 Eliminate code duplication for futures/non-futures mode 2012-10-20 01:36:14 -05:00
Eli Barzilay
47ca55e68a One more name.
(cherry picked from commit 6b1f423c98)
2012-10-19 18:29:46 -04:00
Eli Barzilay
6c0f0dfeb2 Change checksums for -h changes.
Also add completion for the new -R option.
(cherry picked from commit bc29e6ed2a)
2012-10-19 18:29:42 -04:00
Eli Barzilay
e6dffa7a38 No more "planet" executable.
(cherry picked from commit a03b636936)
2012-10-19 18:29:38 -04:00
Eli Barzilay
68444d5ce9 Name cleanup in mailmap.
(cherry picked from commit 61fe1ed5ee)
2012-10-19 18:29:35 -04:00
Robby Findler
5f6e5924a5 adjust the teaching languages interactions with
drracket so they put the 'source' field into the
syntax objects that they create (at the very top)

this allows the debugger to connect the syntax objects
to the file that's open in drracket (the way this worked
changed a while back, but I didn't check the teaching
languages to see if the debugger was supposed to work there)

closes PR 13159

please merge to the release branch
(cherry picked from commit 3ba54a2a3e)
2012-10-19 18:29:31 -04:00
Matthew Flatt
dbe955b30e accomodate OpenBSD linking of libssl
Merge to v5.3.1
(cherry picked from commit be538b4f69)
2012-10-19 18:29:25 -04:00
Matthew Flatt
fa6fb56192 fix check for constructor of struct setter of immutable field
Merge to v5.3.1
(cherry picked from commit b912d0f059)
2012-10-19 18:29:21 -04:00
Matthew Flatt
2905090f58 racket/draw: fix problems with monochrome PNGs
Merge to v5.3.1
(cherry picked from commit 274d004546)
2012-10-19 18:29:16 -04:00
Robby Findler
6167b016e4 redex history release notes
merge to release please
(cherry picked from commit 8827f4b6b5)
2012-10-19 18:29:11 -04:00
Robby Findler
a13aedacc6 drracket history updates
please include in release
(cherry picked from commit 0660227d8a)
2012-10-19 18:29:08 -04:00
Robby Findler
622641353c fix group-test
merge to release branch, please
(cherry picked from commit 975426f00c)
2012-10-19 18:29:04 -04:00
Matthias Felleisen
959fb114a0 fix string-ith's error message; Closes PR 13197
(cherry picked from commit f733f149f5)
2012-10-19 18:29:00 -04:00
Matthias Felleisen
2db4378e4e fixed Adam Shaw's typo, eliminated the word match
(cherry picked from commit b48d122dd7)
2012-10-19 18:28:57 -04:00
Matthew Flatt
3f8d12e55d update HISTORY for `{chaperone,impersonate}-prompt-tag' changes
(cherry picked from commit 31d56e10af)
2012-10-19 18:28:53 -04:00
Matthew Flatt
ccf3f9c1c5 update change history for v5.3.1
Merge to v5.3.1
(cherry picked from commit 1d28b6c0f6)
2012-10-19 18:28:49 -04:00
Matthew Flatt
6325cd0945 fix raco exe' for module+' submodules
Closes PR 13116

Merge to v5.3.1
(cherry picked from commit e1a6d2b07d)
2012-10-19 18:28:45 -04:00
Matthew Flatt
d76bdd5919 fix planet `raco exe' tests
Merge ot v5.3.1
(cherry picked from commit bd146e2d8d)
2012-10-19 18:28:42 -04:00
Ryan Culpepper
6c5714c0dd fix define-for-syntax within splicing-syntax-parameterize
(cherry picked from commit 67d901ccc4)
2012-10-19 18:28:37 -04:00
Jay McCarthy
09dd60789a changing tests for environments where listen fails 2012-10-19 15:24:20 -06:00
Jay McCarthy
23816b496d Fixing typo re: pull request 156 2012-10-19 14:25:22 -06:00
Asumu Takikawa
43f99839c2 unstable: add cross-out and backdrop pict functions 2012-10-19 15:34:35 -04:00
Asumu Takikawa
862fd346c7 Doc typo 2012-10-19 15:06:46 -04:00
James Swaine
9a0f19da59 Fix futures-disabled build errors introduced by changes to even? and odd? 2012-10-19 13:49:05 -05:00
Matthew Flatt
e59066debe bytecode validator: check "constant" annotations on variable references
Bytecode changes in two small ways to help the validator:
 * a cross-module variable reference preserves the compiler's
   annotation on whether the reference is constant, fixed, or other
 * lifted procedures now appear in the module body just before the
   definitions that use them, instead of at the beginning of the
   module body
2012-10-19 11:27:52 -06:00
Ryan Culpepper
839408e6f7 ppict: allow #:next w/o placer 2012-10-19 11:35:49 -04:00
Robby Findler
2b246e2ad2 added note about Burke's recent push 2012-10-19 09:35:12 -05:00
Eli Barzilay
cbfb1fdb37 A whole bunch of missing newlines at EOFs (and a few other spaceages). 2012-10-19 06:47:24 -04:00
Eli Barzilay
6b1f423c98 One more name. 2012-10-19 06:30:11 -04:00
Eli Barzilay
bc29e6ed2a Change checksums for -h changes.
Also add completion for the new -R option.
2012-10-19 05:17:56 -04:00
Eli Barzilay
a03b636936 No more "planet" executable. 2012-10-19 05:17:56 -04:00
Eli Barzilay
61fe1ed5ee Name cleanup in mailmap. 2012-10-19 05:17:56 -04:00
Robby Findler
3ba54a2a3e adjust the teaching languages interactions with
drracket so they put the 'source' field into the
syntax objects that they create (at the very top)

this allows the debugger to connect the syntax objects
to the file that's open in drracket (the way this worked
changed a while back, but I didn't check the teaching
languages to see if the debugger was supposed to work there)

closes PR 13159

please merge to the release branch
2012-10-18 22:07:11 -05:00