suzanne.soy/racket
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
26,747 Commits 17 Branches 54 Tags 278 MiB
bffe336220
Commit Graph

26747 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
Matthew Flatt
e698be778b remove a level of indirection in struct selectors/mutators 2012-10-27 06:53:21 -06:00
Matthew Flatt
736e6efc2d recognize `struct' bindings as constant 
The JIT takes advantage of known-constant bindings to avoid the
check that a variable is still bound to a structure predicate,
selector, or mutator; that makes the code short enough to really
inline. The inlined version takes about half the time of the
indirect version.

The compiler does not yet track bindings precisely enough to
recognize constants for sub-type declarations.
 2012-10-27 06:53:21 -06:00
Robby Findler
8bc3b70a3c clean up rectangle computations, fixing some bugs along the way 2012-10-26 21:49:45 -05:00
Robby Findler
c6caf11323 Adjust online check syntax's trace replay code so that it: 
- lets other events be handled based on how long it has been
  replaying the current trace (instead of based on the number of
  pieces in the trace that have been seen)

- breaks up the syncheck:add-rename-menu pieces of the trace to
  be more granular (to make the previous point work better)

This should make DrRacket more responsive when the trace is being
replayed
 2012-10-26 21:49:45 -05:00
Robby Findler
e89a121ae5 add some first-cut logging information to drracket 
to track how long events take to be handled
 2012-10-26 21:49:44 -05:00
Robby Findler
7e8ac872fe add logging to mred's event callback mechanism to record 
how long event processing takes
 2012-10-26 21:49:44 -05:00
Jay McCarthy
f16e76ca32 second attempt at removing reliance on tcp. available has been greatly simplified because it relied on the behavior the thread.rktl test is actually testing 2012-10-26 15:26:39 -06:00
Jay McCarthy
7f23a85e15 fixing PR13210 2012-10-26 14:46:43 -06:00
Sam Tobin-Hochstadt
fa5846cb0c Flvectors and Fxvectors are higher-order if we give them restricted float types. 2012-10-26 11:09:03 -07:00
Sam Tobin-Hochstadt
c6dc1e6ece Improve contract generation in Typed Racket. 
This fixes several issues:
 - `Parameter` generates impersonator contracts correctly
 - `Any` handling now copies immutable data when possible
 - `Any` now recognizes more atomic base types

Merge to 5.3.1.
 2012-10-25 23:31:02 -07:00
Robby Findler
cb566b1ba4 fix font resizing performance bug in the traces window 2012-10-24 23:56:31 -05:00
Robby Findler
9d4a3a6e07 improve the performance for dragging around items in mrlib/graph 
(used by Redex's traces window and the module browser)
 2012-10-24 23:56:30 -05:00
Stevie Strickland
717cf332b6 Don't copy chaperoned immutable vectors. 2012-10-24 19:11:03 -07:00
Matthew Flatt
b239a29544 doc repair 
Looks like it was an accidental incorrect update

Merge to v5.3.1
 2012-10-24 17:03:35 -07:00
Matthew Flatt
f43172128b fix syntax checking for `case' 
Merge to v5.3.1
 2012-10-24 13:18:53 -07:00
Matthew Flatt
1bf5fda869 fix `chaperone-prompt-tag' 2012-10-24 13:18:53 -07:00
Jay McCarthy
7b149b7f5a Revert "Change thread test to use fake tcp with same structure" 
This reverts commit d39780a130.

Matthew says this test is really about TCP, so it should not be
changed. Although perhaps we can use a more basic TCP test to check if
this should be done.
 2012-10-24 13:25:49 -06:00
Robby Findler
06e5239441 add rule names to the derivation struct 
change the intermediate data structures built up
while building the derivation to use their own
structs (instead of vectors)
 2012-10-24 12:30:40 -05:00
Asumu Takikawa
65338f15ec Examples for basic pict constructors & combiners 2012-10-24 09:08:40 -04:00
Matthew Flatt
a2c4f6064d fix GC alignment bug 
Merge to v5.3.1
 2012-10-24 05:47:46 -07:00
Robby Findler
661f702497 attempted to clean up the derivation support 
so that no derivation data structure creation
happens during just a normal judgment-holds,
but this was not entirely successful, so there
still is some....

Also, improved the test-util to show stacktraces
for errors (when they exist)
 2012-10-23 18:31:06 -05:00
Matthew Flatt
1b589c1529 fix a JIT problem with inline stuct allocation 2012-10-23 11:39:23 -07:00
Jay McCarthy
d39780a130 Change thread test to use fake tcp with same structure 2012-10-23 11:28:27 -06:00
Jay McCarthy
552fe0f755 Test localhost tcp before running echo server test 2012-10-23 11:28:27 -06:00
Ryan Culpepper
1137b444ad macro-stepper: show errors in provide expansion 
closes PR 13018
 2012-10-22 18:00:45 -04:00
Ryan Culpepper
5f15401561 macro stepper: fix bug re taking over run button 
Closes PR 13019
 2012-10-22 18:00:45 -04:00
John Clements
f60d57a27f updated manual tests 2012-10-22 14:57:38 -07:00
John Clements
54c5538fd6 updated HISTORY 
Include in 5.3.1 release.
 2012-10-22 14:57:37 -07:00
Ryan Culpepper
b382e79210 update props for removed file 2012-10-22 16:54:48 -04:00
Ryan Culpepper
8226899df3 db: fix finalization bug 2012-10-22 13:27:59 -04:00
Robby Findler
b61f1789c7 fix bug in detecting the name of the language 
(encoding problems)

Also, Rackety
 2012-10-22 11:49:14 -05: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
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
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