Vincent St-Amour
cc129adb39
Make unary float optimizations less restrictive.
2011-06-17 18:18:01 -04:00
Vincent St-Amour
484fb029f1
Rephrase a missed optimization message.
2011-06-17 18:18:01 -04:00
Vincent St-Amour
a319ba1058
Fix missed-optimization tests to also look for optimization messages.
2011-06-17 18:18:01 -04:00
Vincent St-Amour
e8621f58ea
Fix optimization tests to also look for missed-optimization messages.
2011-06-17 18:18:01 -04:00
Vincent St-Amour
28692786b3
Have optimizer test harness look only at log messages that came from the optimizer.
2011-06-17 18:18:01 -04:00
Vincent St-Amour
641dd731ab
Fix optimizer test harness to use the new syntax of with-logging-to-port.
2011-06-17 18:18:01 -04:00
Vincent St-Amour
81d6e380da
Add a "unique" key to log messages that are sent by the optimizer.
2011-06-17 18:18:01 -04:00
Vincent St-Amour
09015722e3
Use with-logging-to-port from unstable.
2011-06-17 18:18:01 -04:00
Vincent St-Amour
47f48c08ad
Revise with-logging-to-port to avoid the extra dummy log entry.
2011-06-17 18:18:01 -04:00
Vincent St-Amour
a2afe2c285
Adapt the optimizer's test harness for the new logging strategy.
2011-06-17 18:18:01 -04:00
Vincent St-Amour
7347da4919
Use racket's logging facilities for the optimizer logs.
2011-06-17 18:18:01 -04:00
Vincent St-Amour
28cbad21b9
Add a directory for optimizer tests that we know fail.
2011-06-17 18:18:00 -04:00
Vincent St-Amour
9ae4f82c0a
Sort optimizer logs by source location, to prepare for eventual user consumption.
2011-06-17 18:18:00 -04:00
Vincent St-Amour
5a151420e4
Keep source location around for derived pair optimizations.
2011-06-17 18:18:00 -04:00
Vincent St-Amour
b8b061fb39
Don't print duplicate log entries.
2011-06-17 18:18:00 -04:00
Vincent St-Amour
147032e428
Extra test for precision loss.
2011-06-17 18:18:00 -04:00
Vincent St-Amour
0432ea16cb
Add an extra test that checks for non-reporting of false positives.
2011-06-17 18:18:00 -04:00
Vincent St-Amour
b598c4a1eb
close-call -> missed-optimization
2011-06-17 18:18:00 -04:00
Vincent St-Amour
c73bc6c918
Report unexpected complex types in arithmetic expressions.
2011-06-17 18:18:00 -04:00
Vincent St-Amour
2a7254a324
Add in-complex-layer?.
2011-06-17 18:18:00 -04:00
Vincent St-Amour
2a4a4e8184
Generalize reporting of wasted precision to arbitrary exact arithmetic expressions.
2011-06-17 18:18:00 -04:00
Vincent St-Amour
ec696f26ae
Add an arith-expr syntax class, to simplify parts of the optimizer.
2011-06-17 18:17:59 -04:00
Vincent St-Amour
b64b49b078
Move layer predicates to their own file.
2011-06-17 18:17:59 -04:00
Vincent St-Amour
cd027109c9
Report when exact arithmetic is used inside float expressions, which may make the extra precision useless.
2011-06-17 18:17:59 -04:00
Vincent St-Amour
fb36786c4d
Add failing test for nicer reporting of cascades of missed optimizations.
2011-06-17 18:17:59 -04:00
Vincent St-Amour
5d4ef5c624
Add a test case for close-calls on all-real arithmetic expressions.
2011-06-17 18:17:59 -04:00
Vincent St-Amour
89ca99210e
Report close calls for pair/mpair optimizations.
2011-06-17 18:17:59 -04:00
Vincent St-Amour
526a84f10b
Add extra checks to avoid spurious close call reporting involving integer operations.
2011-06-17 18:17:59 -04:00
Vincent St-Amour
95bf94577c
Show irritant for the currently detected close calls.
2011-06-17 18:17:59 -04:00
Vincent St-Amour
0fab9e11ad
Revert "Fix optimizer expected log format."
...
This reverts commit bdf1073f17
2011-06-17 18:17:59 -04:00
Vincent St-Amour
33962befd4
Made logging format more compact and less ambiguous.
2011-06-17 18:17:59 -04:00
Vincent St-Amour
26cc2cf6dc
Add layer predicates.
2011-06-17 18:17:59 -04:00
Vincent St-Amour
7b2c6f5765
First attempt at logging unexpected Real types popping up.
2011-06-17 18:17:58 -04:00
Vincent St-Amour
2e0dd6467a
Add support for close-call tests to the TR test harness.
2011-06-17 18:17:58 -04:00
Vincent St-Amour
303e1f7f88
Add logging infrastructure to log close calls.
2011-06-17 18:17:58 -04:00
Matthew Flatt
6f42c6ed5e
win32: fix checkable menu item to toggle on selection
...
Closes PR 11985
2011-06-17 16:02:49 -06:00
Robby Findler
f8f289adc0
fix random place tests
2011-06-18 05:15:36 +08:00
Robby Findler
611a844877
run the place channel random tests
2011-06-18 04:55:27 +08:00
Vincent St-Amour
8f092e8330
These changes break with bad sandboxes.
...
Revert "Fix interface."
Revert "Add more scribble forms that evaluate code and display the results."
This reverts commit a621eaf0417e9dbded4c
2011-06-17 15:18:48 -04:00
Sam Tobin-Hochstadt
55a25a825a
Disable this test.
2011-06-17 15:17:20 -04:00
Eric Dobson
1348887bd1
Cleaned up base-env. Added comments about untyped identifiers.
...
Used one-of/c to clean up some types.
2011-06-17 15:17:20 -04:00
Eric Dobson
0671945a8d
Moved tests for equality to unit tests
2011-06-17 15:17:20 -04:00
Eric Dobson
b326269133
Moved new TR symbol testing into unit tests.
2011-06-17 15:17:20 -04:00
Eric Dobson
3a13cf0e78
Moved TR string testing to unit tests.
2011-06-17 15:17:20 -04:00
Eric Dobson
feeccc062b
Added types for reading and writing operations
2011-06-17 15:17:19 -04:00
Eric Dobson
029651b9ee
Added types for regexp operations. Changed Regexp to correspond to regexp?.
2011-06-17 15:17:19 -04:00
Eric Dobson
3e1a95750d
Added public names for recently added types
2011-06-17 15:17:19 -04:00
Eric Dobson
6f3bbad367
Added types for I/O operations
2011-06-17 15:17:19 -04:00
Eric Dobson
54a12afb49
Added types and some tests for port operations
2011-06-17 15:17:19 -04:00
Eric Dobson
c77e906c7a
Added types and tests for equality operations.
2011-06-17 15:17:19 -04:00
