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
Jay McCarthy
16f8b3a2a6
Adding test case and fixing un-terminated requests
2010-12-07 14:14:50 -07:00
Jay McCarthy
9b066d0f04
Correcting tests and examples
2010-12-07 14:14:49 -07:00
Jay McCarthy
419c184c94
Using response/xexpr
2010-12-07 14:14:49 -07:00
Jay McCarthy
05c9fcd412
First pass at Xexpr removal
2010-12-07 14:14:49 -07:00
Jay McCarthy
dc01f00afc
New benchmarks
2010-12-07 14:14:49 -07:00
Stevie Strickland
5b8e5d6380
Extend struct/c to allow impersonator contracts for mutable fields.
...
Also, flat contracts for immutable fields are only evaluated at contract
wrapping time.
2010-12-07 14:29:07 -05:00
Stevie Strickland
10eb818f95
Conversion of struct/c to chaperones when appropriate.
2010-12-07 04:11:26 -05:00
Stevie Strickland
ebf01cc664
Converting case-> to chaperones and impersonators.
2010-12-06 16:12:49 -05:00
Matthew Flatt
fda0228631
fix broken inexact-reader configuration
...
Closes PR 11496
2010-12-04 16:22:17 -07:00
Matthew Flatt
116d88577e
restore old behavior of _fixint' and _ufixint'
...
Closes PR 11492
2010-12-03 14:20:38 -07:00
Matthew Flatt
7ec0731cda
don't use unsafe-string-ref' in for'
...
because `unsafe-string-ref' is for ASCII results, only
2010-12-03 11:10:11 -07:00
Noel Welsh
3b234010a0
Merge branch 'master' of pltgit:plt into in-vector
2010-12-03 14:36:48 +00:00
Noel Welsh
899e31e2ce
Add tests for extended in-flvector and in-fxvector forms, refactoring common code to for-util.rkt
2010-12-03 14:33:38 +00:00
