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

570 Commits

Author SHA1 Message Date
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
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
2a4a4e8184 Generalize reporting of wasted precision to arbitrary exact arithmetic expressions. 2011-06-17 18:18:00 -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.

Return that test to the new format, which it was originally written in.
 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
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
Sam Tobin-Hochstadt
55a25a825a Disable this test. 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
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
Eric Dobson
2d152bac79 Added types and tests for raising and handling exceptions 2011-06-17 15:17:19 -04:00
Eric Dobson
4ba12dd20e Added types and tests for symbol operations 2011-06-17 15:17:19 -04:00
Eric Dobson
ab23db7b5b Added types and tests for string operations 2011-06-17 15:17:19 -04:00
Vincent St-Amour
26541ffbbd Unify types and filter behavior of not and false?. 2011-06-16 18:08:44 -04:00
Sam Tobin-Hochstadt
eaa156554a Add contracts for `Sequenceof' values. 2011-06-15 17:02:09 -04:00
Vincent St-Amour
e057e6a857 Optimize in typed regions. 2011-06-15 11:20:51 -04:00
Sam Tobin-Hochstadt
b76819a66e Wrap expected type. Closes PR 11980. 2011-06-14 19:05:16 -04:00
Vincent St-Amour
2922821f3c Synthesize annotations for for/lists: if possible. 2011-06-14 17:53:27 -04:00
Vincent St-Amour
a5bccaffe1 Allow omitting type annotation in most of the for: forms. 2011-06-14 17:53:27 -04:00
Eric Dobson
c7f9a80de8 TR: Changed type of port->list 2011-06-10 17:22:14 -04:00
Vincent St-Amour
7b0f64de72 Don't run TR integration tests during nightly builds. 2011-05-23 13:58:28 -04:00
Vincent St-Amour
bc4a7df94d Better solution to the toplevel printing bug. 2011-05-17 18:30:53 -04:00
Eric Dobson
9a65545814 Path manipulation now works with SomeSystemPath correctly. 2011-05-17 18:03:48 -04:00
Eric Dobson
05af2b9e17 Split Path type into Path and OtherSystemPath. 2011-05-17 18:03:48 -04:00
Vincent St-Amour
8f6d3c7920 Avoid printing results of tests when eliminating if branches at the toplevel. 
Closes PR 11928.
 2011-05-17 17:47:21 -04:00
Vincent St-Amour
1ed0e84791 Move base environment files to their own subdirectory. 2011-05-17 15:16:18 -04:00
Sam Tobin-Hochstadt
c2291e049d Add types for some of `syntax/stx' 
Add hacked types for `with-syntax' internals.
 2011-05-16 14:55:17 -04:00
Vincent St-Amour
bdf1073f17 Fix optimizer expected log format. 
Optimizer log format was changed on a different branch, and this test
was written using that new format, which is not recognized on current
master.
 2011-05-16 14:23:24 -04:00
Vincent St-Amour
4cd0ad4b1a Coerce reals in float expressions when valid. 2011-05-16 11:44:35 -04:00
Vincent St-Amour
e64ba228e8 Have the TR test harness skip emacs unsaved file backups. 2011-05-16 11:44:35 -04:00
Sam Tobin-Hochstadt
e92af62ca0 Add contract generation for Set type. 2011-05-15 22:53:20 -04:00
Sam Tobin-Hochstadt
2f3e9fc655 Add types for `in-hash' etc. 2011-05-08 15:36:48 -04:00