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

2885 Commits

Author SHA1 Message Date
Matthew Flatt
e77917db8c fix another continuation bug discovered by Casey's random testing 2010-12-25 17:12:33 -06:00
Robby Findler
dd531dde9e check syntax does not call eval-compile-time-part-of-top-level when 
checking programs in the module language.
closes PR 10908
 2010-12-25 15:38:08 -06:00
Matthew Flatt
e7b52bf10f fix ffi handling of non-GCable pointers with offsets 
Closes PR 11567
 2010-12-25 09:34:07 -06:00
Robby Findler
bb9bd1b07a new attempt at contract violation error messages 2010-12-22 10:39:59 -06:00
Robby Findler
53509bef5f made module lang tests Windows friendly & Rackety 2010-12-20 08:43:28 -06:00
Sam Tobin-Hochstadt
491eeaa759 Move mred/private/wxme/style to racket/snip/private/style. 
`racket/snip' now exports the style classes and the add,mult-color interfaces.
 2010-12-19 22:56:15 -05:00
Mike Sperber
79600e15a6 Merge remote branch 'origin' 2010-12-19 11:21:41 +01:00
Mike Sperber
fa854f62fc Add vector signatures, and `vector-of' to the HtDP signature syntax. 2010-12-19 11:20:51 +01:00
Sam Tobin-Hochstadt
e9e45fdc2c Fix test require. 2010-12-18 00:10:25 -05:00
Matthew Flatt
4195cf3297 more fixes for weird draw-bitmap mask and mode combinations 2010-12-17 05:51:23 -07:00
Matthew Flatt
98f6415c59 another fix to drawing a color bitmap to a monochrome target 2010-12-17 05:29:50 -07:00
Matthew Flatt
8a10c3d3db fix use of color bitmap as mask when drawing after previous use 2010-12-16 21:02:11 -07:00
Matthew Flatt
f8ec47cdeb test for draw-bitmap repairs 2010-12-16 19:36:13 -07:00
Noel Welsh
8040100eff Merge branch 'master' of pltgit:plt into in-vector 2010-12-13 13:43:05 +00:00
Noel Welsh
cfa7b727f4 Fix some errors with in-vector and derived forms: 
- Range checking was inconsistent between the sequence and macro forms
- The macro form could crash due to unsafe vector refs

Fixes involved refactoring the range checks so they are shared between both versions, and changing the contract slightly so start and stop are checked before the sequence runs. This allows unsafe vector refs and earlier error notifications at the cost making some valid programs (e.g. those using some condition to stop a comprehension hitting an invalid index) now be invalid. Only crazy people would rely on the old behaviour, so it isn't a problem in practice.
 2010-12-13 13:38:35 +00:00
Matthew Flatt
965e8f96d1 fix get-char-height' and get-char-width' in dc<%> 
Closes PR 11526
 2010-12-10 20:37:51 -07:00
Matthew Flatt
2ae9f14f9e fix exn raised in refab-struct read errors 
Closes PR 11530
 2010-12-10 18:33:44 -07:00
Matthew Flatt
2b4f1a6908 extend `sync/timeout' to allow a tail-position fail thunk for polling 2010-12-10 18:06:21 -07:00
Carl Eastlund
5b18305e11 New test case for formatting bug in TR error messages. 2010-12-10 17:26:17 -05:00
Vincent St-Amour
09ffb70492 Update TR tests to reflect new contract error messages. 2010-12-10 16:59:13 -05:00
Vincent St-Amour
b9d67eea2f Allow running individual TR tests. 2010-12-10 16:59:12 -05:00
Vincent St-Amour
407d9b5f07 Error when running TR's test harness with no tests. 2010-12-10 13:44:47 -05:00
Stevie Strickland
7ab53d8ddb Fix unit contract tests due to new contract error format. 2010-12-10 13:06:56 -05:00
Robby Findler
94ebb1f317 update the mzlib contract test suite to the new error messages 2010-12-10 06:57:27 -06:00
Eli Barzilay
de4daa8d81 Add a hack to get the environment variables from the visual studio batch 
file.

Also change the version number in the foreign tests to make them work.

Also fix getting the `test_gui' configuration.
 2010-12-10 05:15:14 -05:00
Robby Findler
18dacad6c8 a first attempt at a rewording of the blame error messages to admit the possibility that the contract was wrong and also to claim that fixing the blamed module or the contract is all that is required 
note that two test cases are failing, but only because they depend on the wording of the error messages; once that is set, I'll fix them.
 2010-12-09 15:50:15 -06:00
Vincent St-Amour
365d272666 Test for errors in rhs. 2010-12-08 20:32:20 -05:00
Vincent St-Amour
81ef5f9418 Typecheck body of letrec using original types instead of potentially undefined type. 2010-12-08 20:32:20 -05:00
Vincent St-Amour
b045153177 letrec: consider outside bindings safe. 2010-12-08 20:32:19 -05:00
John Clements
368f345901 more stepper cleanup 2010-12-08 16:37:15 -08:00
John Clements
ff973b628b stepper refactoring and cleanup 2010-12-08 16:37:15 -08:00
Sam Tobin-Hochstadt
87eab889d6 Allow arbitrary filter specification in function types. 
Allow (A -> B -> C) for curried function types.
 2010-12-08 18:22:29 -05:00
Sam Tobin-Hochstadt
cb6d78698b Count pairs as having size 1, not 0, in minimizing edit distance. 2010-12-08 18:22:29 -05:00
Sam Tobin-Hochstadt
73dbf42e0e Better handling of `hash-*' functions, and hashes as sequences. 2010-12-08 18:22:29 -05:00
Vincent St-Amour
dc2df4882b Take into account potentially undefined values in letrec. 
Closes PR11511.
 2010-12-08 18:17:06 -05:00
Jay McCarthy
7ac2b8e316 Fixing tests 2010-12-08 14:08:54 -07:00
Jay McCarthy
5285dc6a16 Fixing tests 2010-12-08 14:08:54 -07:00
John Clements
5456e83ce4 massively faster due to reuse of namespace 2010-12-07 20:44:35 -08:00
John Clements
0d2a4b98db moving to another machine 2010-12-07 20:44:34 -08:00
John Clements
6f84a1c143 checkpointing progress toward applicable structs instead of hash table 2010-12-07 20:44:34 -08:00
Stevie Strickland
37349ca053 Allow uses of recursive-contract to specify the type of contract to create. 2010-12-07 18:30:20 -05:00
Jay McCarthy
d28dc2ae41 Revert "Adding dynamic/c and coerce/c" 
This reverts commit cec308cc363a69d561097e978352488c996385ed.
 2010-12-07 14:14:55 -07:00
Jay McCarthy
58494c125b Big bang coercion 2010-12-07 14:14:55 -07:00
Jay McCarthy
d7bd9ddc5f Adding compat0 test cases 2010-12-07 14:14:54 -07:00
Jay McCarthy
78a65f0662 More exhaustive test 2010-12-07 14:14:54 -07:00
Jay McCarthy
b5a39d03e4 Discussing compatibility 2010-12-07 14:14:54 -07:00
Jay McCarthy
d6d9f3ef8c Adding dynamic/c and coerce/c 2010-12-07 14:14:53 -07:00
Jay McCarthy
f5e9e0dad1 Fixing example 2010-12-07 14:14:52 -07:00
Jay McCarthy
4ca1dac51c write-xexpr test cases 2010-12-07 14:14:51 -07:00
Jay McCarthy
ca6c37bccf Adding header 2010-12-07 14:14:50 -07:00