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

18348 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
Stevie Strickland
1a9dffe78d Fix tail call behavior for ->, ->* contracts. 2010-10-21 15:03:42 -07:00
Stevie Strickland
8835f2f470 Optimizing the generated syntax. 
* Avoiding `apply' when unnecessary
 * Avoiding `values' when unnecessary
 * Replacing apply+list/null with let+cons/no cons.
 2010-10-21 15:03:42 -07:00
Stevie Strickland
84f3cb115b Add proxies for -> and ->*. 
Attempt to do a recently intelligent job by using more specific lambdas
when possible (i.e., when the arity of the function matches the arity
specified by the contract).

Also, change testcases that test creation of proxy contracts to stop
depending on the proxy-ness of -> contracts.  This also uncovered a bug
in the testcase that checks that proxy contracts aren't allowed for
the domain in hash/c.
 2010-10-21 15:03:42 -07:00
Stevie Strickland
dc415b21cc Remove dead code in an attempt to make it clear what needs to change here. 2010-10-21 15:03:42 -07:00
John Clements
e717cbc84a added drdr:command-line prop on universe-test.rkt 2010-10-21 13:13:57 -07:00
John Clements
b37187da59 added universe-test 2010-10-21 07:19:10 -07:00
Casey Klein
4577de0790 Fixes PR 11336. 2010-10-20 15:56:57 -07:00
Casey Klein
42687d26d1 Reverts most of push #21257. 
That push recompiles a clause of an extended metafunction by
replacing the LHS with a recompiled form of the `lhs-pat' field of the
`metafunc-case' struct. But that field (used by the test generator)
also incorporates the clause's `where' and `side-condition' clauses,
causing them to executed twice when applying the recompiled clause (once
while matching its LHS, and once while evaluating its RHS).
 2010-10-20 15:56:57 -07:00
John Clements
d18f43a488 cosmetic changes only 2010-10-20 12:05:06 -07:00
John Clements
34fbc9a06f frightening bug, #%if was capturing everything 2010-10-20 12:05:06 -07:00
John Clements
dfe6f78d80 back to old style, not sure why 2010-10-20 12:05:06 -07:00
Vincent St-Amour
a15236ea4f Fix opt-lambda:. Merge to 5.0.2. 2010-10-20 14:32:37 -04:00
Robby Findler
c5c6c1c9e6 explained #:domain 2010-10-20 12:34:14 -05:00
Robby Findler
b91a0da469 fixed and ->i bug that could cause expressions to be evaluated twice 2010-10-20 08:37:26 -05:00
Mike Sperber
594c72167e use #%plain-app to avoid possible problems with code injected into the teaching languages 
Follow ae37e186e7 for DMdA.
 2010-10-20 12:37:05 +02:00
John Clements
70898379c5 copied 'mzlib/convert-prop attachment from outer layer to inner layer. 2010-10-19 23:28:45 -07:00
Robby Findler
a7e72a6bae fix stupidity.... 2010-10-19 23:49:18 -05:00
Eli Barzilay
1e2d4b8169 Fix rendering in local build mode -- make it create file:// urls when 
insisting on an absolute url (currently happens only in the tr pages).
 2010-10-19 21:06:32 -04:00
Sam Tobin-Hochstadt
9cc35d59fe Fix fuzz tester prop. 2010-10-19 17:58:29 -07:00
John Clements
60dabc8ad7 may have fixed cond in stepper tests 2010-10-19 17:50:35 -07:00
John Clements
027450d128 increase timeout on stepper automatic tests 2010-10-19 17:50:35 -07:00
John Clements
0536d52efd looks like a fix for cond 2010-10-19 17:50:35 -07:00
Robby Findler
20b596b8f2 fix pretty big for check syntax 2010-10-19 18:41:20 -05:00
Robby Findler
ea985a81d6 added some more information to the error messages when a syncheck test case fails 2010-10-19 18:41:20 -05:00
Robby Findler
5c94ca5b7c idle attempts to reduce allocation in the matcher 2010-10-19 18:41:19 -05:00
Sam Tobin-Hochstadt
50bf3dc1be Add zo-read/parse/run fuzz tester. 2010-10-19 14:51:13 -07:00
John Clements
2083181d2e got testing harness working again. 2010-10-19 14:37:44 -07:00
Jay McCarthy
afd3a90607 Adding preamble to make-xexpr-response 2010-10-19 11:29:49 -07:00
Robby Findler
920800531c adjust drracket so that, during check syntax, there is less sharing between drracket and the user program. specifically, the gui libs are not shared 2010-10-19 07:07:09 -05:00
Robby Findler
ae37e186e7 use #%plain-app to avoid possible problems with code injected into the teaching languages 2010-10-19 07:07:08 -05:00
Robby Findler
499fe40f8a minimize dependencies 2010-10-19 07:07:08 -05:00
Mike Sperber
fd5e9d4d63 Unbreak the stepper on `check-expect'. 
All kinds of things expand into (let () ...), so all kinds of things
break.
 2010-10-19 11:56:24 +02:00
Matthew Flatt
ddca8cd29b fix non-inlined `in-vector' sequence on proxied vectors 
Merge to 5.0.2
 Closes PR 11225
 2010-10-18 13:48:22 -07:00
Mike Sperber
17c4cb9254 Two more (hopefully last) renamings "Vertrag" -> "Signatur" 
(i.e. "contract" -> "signature" in German)
 2010-10-18 13:30:34 +02:00
Mike Sperber
43d097cc05 Don't annoy the user with test-engine summaries. 
Make sure the test-engine summary is only printed when there's
something new to say.
 2010-10-18 10:10:27 +02:00
Mike Sperber
0821f694af Made sperber responsible for `test-engine-tests.rkt'. 2010-10-18 10:00:49 +02:00
Mike Sperber
32455894bc Unbreak the test-engine-test.rkt test suite. 
- signatures are only in ASL now
- the error messages for the DMdA languages are different
 2010-10-18 09:37:48 +02:00
Mike Sperber
2a418b9cf0 For DMdA, follow Robby's fix for htpd-langs.ss. 
Namely, don't set an uncaught-exception-handler.
 2010-10-18 09:36:17 +02:00
John Clements
bb160fbc04 r/exact-integer?/fixnum/ 2010-10-17 21:17:23 -07:00
John Clements
9f7eeee570 exr -> expr 2010-10-17 21:17:22 -07:00
Matthew Flatt
9f959f247e fix quotability annotation on HtDP-language structs 
Merge to 5.0.2
 2010-10-17 19:32:17 -07:00
Matthew Flatt
bb799ee9ee fix problem with recursive prints in custom printers 
Merge to 5.0.2
 2010-10-17 19:32:17 -07:00
Robby Findler
0614da5992 adjusted the recently opened menu items code so that it does not create all of the menu items as often 2010-10-17 10:25:08 -05:00
Matthew Flatt
68079d738d fix 3m problem with --disable-jit and --disable-futures 
Merge to 5.0.2
 2010-10-17 08:53:44 -06:00
Matthew Flatt
aaeb21e0cc fix --disable-jit plus --disable-futures 
Merge to 5.0.2
 2010-10-17 08:51:32 -06:00
Matthew Flatt
51f20afd0b initialize `make-flvector' result with default 0.0s 
Merge to 5.0.2
 2010-10-17 06:35:09 -06:00
Eli Barzilay
f1982b6683 New Racket version 5.0.2.1. 2010-10-17 03:50:14 -04:00
Robby Findler
93260c7dd0 fixed mangled test case 2010-10-16 22:24:16 -05:00
Matthew Flatt
caa747e5c6 fix an interaction of `dynamic-wind' pre thunks and composable continuations 
Merge to 5.0.2
 2010-10-16 19:44:33 -06:00
Ryan Culpepper
23d1721ad3 Post-release version for the v5.0.2 release 2010-10-16 18:49:12 -06:00