Blake Johnson
b2b5875e3e
replacing self modidx refs and tests
2010-10-29 19:50:12 -06:00
Blake Johnson
0688c18593
fixing logging and running code in zo-exs
2010-10-29 19:50:11 -06:00
Blake Johnson
77c46d07ee
debugging
2010-10-29 19:50:11 -06:00
Jay McCarthy
ac4fb05f0c
Correct error in mutator quote
2010-10-28 11:18:28 -06:00
Jay McCarthy
05832af083
Correct handling of procedure env roots in mutator
2010-10-28 11:18:27 -06:00
Sam Tobin-Hochstadt
561fdc8db5
Avoid dumb parsing bugs in require/typed.
2010-10-26 18:09:45 -04:00
Matthew Flatt
5d8e000d6d
swap vector*-ref' and vector-ref', etc.
...
Merge to 5.0.2
2010-10-25 11:22:35 -06:00
Matthew Flatt
c512dbd6d3
fix bogus reordering of floating-point args in unboxing mode
...
Merge to 5.0.2
Closes PR 11272
2010-10-22 21:19:18 -06:00
Stevie Strickland
2847ac86bd
Rearrange ->d appropriately to use proxies/chaperones.
...
Also remove the old tests for tail-call behavior with ->d.
I think it was a faulty way of doing the optimization, and we can't even
do it in the same way now, since we can't get the original "raw" arguments
to the right place via continuation marks.
->i has a much better chance of having this optimization where possible,
and when I start converting ->i, I'll make sure to add appropriate tests.
2010-10-22 16:06:56 -07:00
Robby Findler
31f4a120f1
added two stress tests for ->i performance
2010-10-22 14:07:30 -05:00
Jon Rafkind
4ee161b296
dont require core files
2010-10-22 10:48:09 -06:00
Jon Rafkind
a3fefc1c35
add struct example
2010-10-22 10:48:07 -06:00
Jon Rafkind
a998a57000
add function tests
2010-10-22 10:48:06 -06:00
Sam Tobin-Hochstadt
dcd3f9a9aa
Flush output in fuzz testing.
2010-10-21 23:40:12 -07:00
Jay McCarthy
c2f8e4c0fe
Adding attributes to select-input
2010-10-21 22:29:28 -07:00
Eli Barzilay
aebf9e77ef
Fix require in test suite
2010-10-21 20:25:37 -04:00
Eli Barzilay
2f5265854a
Rename seqn-*' to stream-*'.
...
Later this will grow, to include a few kinds of streams in a unified
way, and possibly change the sequence protocol to a point where these
functions are not causing such big runtime penalties.
2010-10-21 19:49:39 -04:00
Stevie Strickland
b272c02548
Have unconstrained-domain-> do tail checks as well.
2010-10-21 16:22:51 -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
John Clements
b37187da59
added universe-test
2010-10-21 07:19:10 -07:00
John Clements
d18f43a488
cosmetic changes only
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
b91a0da469
fixed and ->i bug that could cause expressions to be evaluated twice
2010-10-20 08:37:26 -05:00
John Clements
70898379c5
copied 'mzlib/convert-prop attachment from outer layer to inner layer.
2010-10-19 23:28:45 -07:00
Sam Tobin-Hochstadt
9cc35d59fe
Fix fuzz tester prop.
2010-10-19 17:58:29 -07:00
John Clements
0536d52efd
looks like a fix for cond
2010-10-19 17:50:35 -07: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
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
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
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
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
Jay McCarthy
e6b2965d39
Re-enabling tests
2010-10-15 13:08:39 -06:00
Jay McCarthy
f6fbc85d1b
Adding test printing tests
2010-10-15 13:08:38 -06:00
Jay McCarthy
e8ceade2a5
Little stress tests
2010-10-15 13:08:38 -06:00
Vincent St-Amour
12a5454b14
Removed logging when no optimization actually happens.
2010-10-14 14:13:06 -04:00
Robby Findler
dac011bc9f
move the signature coverage test to ASL since signatures are now only in ASL
2010-10-14 11:45:04 -05:00
Robby Findler
61188f3e44
adjusted to new error messages
2010-10-14 10:06:26 -05:00
Vincent St-Amour
3f5ea8a5be
Fixed a test to reflect implicit let in cond instead of implicit begin.
2010-10-14 10:53:43 -04:00
Robby Findler
3e9858b001
added an argument to open-input-text-editor so that it can lock (and unlock) the editor when editing would not be allowed.
2010-10-13 15:55:17 -05:00
Robby Findler
798e35bb4c
fixed a bug in the test suite so that test errors are now (all) reported to stderr instead of stdout
...
also added a test suite for teh 'language in the source' language
2010-10-13 15:55:17 -05:00
Matthew Flatt
6e23fcda5f
fix _short' and other non-_int' integer types, and add `_intptr' test
2010-10-13 08:50:47 -06:00
Matthias Felleisen
df62ca47e9
added 'function', Closes PR 11283
2010-10-13 10:31:00 -04:00
Mike Sperber
bb098fc77c
Added rudimentary test suite for test engine.
2010-10-13 14:01:07 +02:00
Vincent St-Amour
27e722f27b
Inexact-Complex -> Float-Complex
2010-10-12 16:47:46 -04:00
Vincent St-Amour
a59a99c42d
Changed the TR numeric tower to use the new flonums.
2010-10-12 16:47:45 -04:00
Vincent St-Amour
f3ae9c73b0
Changed the interface for running single optimizer tests.
2010-10-12 16:47:45 -04:00
Matthew Flatt
bf4fc2574c
fix syntax colorer for #true and #false
2010-10-12 08:22:12 -06:00
Matthew Flatt
99df8e1267
allow internal definitions in when', unless', cond, case', `match'
2010-10-12 06:41:49 -06:00
