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

1915 Commits

Author SHA1 Message Date
Kevin Tew
8299803e06 [Places] channel tests 
svn: r18577
 2010-03-18 16:42:14 +00:00
Sam Tobin-Hochstadt
e1eb4a4b93 Fix bug in match reported by jay. 
svn: r18563
 2010-03-17 18:21:09 +00:00
Noel Welsh
5f6aeb364f Check that the FlVector type is exported. Currently this test fails. 
svn: r18557
 2010-03-17 15:26:30 +00:00
Noel Welsh
39a1489403 Add FlVector types to Typed Scheme and bindings for all flvector operations in scheme/flonum and scheme/unsafe/ops. 
svn: r18555
 2010-03-17 14:49:29 +00:00
Kevin Tew
e7b6b4a3da place holder for place-channel tests 
svn: r18548
 2010-03-15 21:28:57 +00:00
Stevie Strickland
c7c8f7061e Add documentation, and also add tests for appropriate init-field behavior. 
svn: r18541
 2010-03-15 08:47:09 +00:00
Stevie Strickland
924842d9e9 * Fix inits so that we either call the previous class/c wrapper's init 
or let continue-make-super take control if we were the first wrapper
* Fix up handling of init/contract sorting so that things are performed
  at the right phase (at least if we're going to treat names as symbols).
* Fix up new tests so that all contract layers are tested.

svn: r18540
 2010-03-15 08:29:22 +00:00
Stevie Strickland
7ec061cdbf * Factor out zipping of inits/contracts of the init closure 
* Add tests for higher-order behavior

svn: r18538
 2010-03-15 07:37:25 +00:00
Stevie Strickland
1bd29dd7e9 Okay, we're going to add back init contracts, which I'd somewhat done before. 
In this version, we're not going to have any reasonable first-order checks as
to whether or not the class actually accepts the initialization arguments that
are being contracted.  I'm also just going to handle by-name at first, since
that's all I originally discussed in the paper.

svn: r18534
 2010-03-15 06:49:49 +00:00
Stevie Strickland
7b831e86a6 Correct with-type so it handles result types of the form (values t ...). 
svn: r18531
 2010-03-14 02:32:20 +00:00
Sam Tobin-Hochstadt
9035e2e584 Prevent unbound identifiers from being in the base env. 
Fix some bugs caught by this.

svn: r18526
 2010-03-12 16:25:40 +00:00
Noel Welsh
97924ffc65 Add tests for all the fixnum operations. This only checks that the operations have types; semantics and completely specified types aren't rigourously checked. 
svn: r18523
 2010-03-12 12:13:10 +00:00
Sam Tobin-Hochstadt
b3be4f32f7 Null does not overlap with structs. 
svn: r18508
 2010-03-10 23:43:47 +00:00
Stevie Strickland
40b35a2b73 Now that we have a way of marking procedures as methods at runtime, 
fix up all projection applications and uncomment out the tests for
appropriate method arity errors.

svn: r18504
 2010-03-10 04:07:00 +00:00
Stevie Strickland
86a26d7947 Sync up to trunk. 
svn: r18500
 2010-03-10 01:11:31 +00:00
Sam Tobin-Hochstadt
c24daa5dbb Add `define-predicate' 
svn: r18497
 2010-03-10 00:10:03 +00:00
Stevie Strickland
0982626a67 Add test cases, which let us see where we're failing at the moment. 
svn: r18496
 2010-03-09 23:56:20 +00:00
Matthew Flatt
4673b36dcf adjust inlining heuristics again 
svn: r18479
 2010-03-06 03:44:07 +00:00
Sam Tobin-Hochstadt
87f978e59e Fix PR 10813 
svn: r18477
 2010-03-05 21:52:54 +00:00
Stevie Strickland
bf60da75e1 Refactor out new has-contract?/value-contract functionality so that it's 
the responsibility of the (higher-order) contract to add the contract
(plus possibly more in the future) to the wrapped value.

svn: r18469
 2010-03-04 21:10:44 +00:00
Sam Tobin-Hochstadt
80fcee2577 Fix PR 10806. 
svn: r18464
 2010-03-04 13:45:25 +00:00
Casey Klein
cd2fc95d4e Fixes typos in r18451 
svn: r18459
 2010-03-04 00:14:40 +00:00
Stevie Strickland
5fe0a790c1 Change how contracts for multiple values are handled to be a little cleaner 
syntactically.

svn: r18458
 2010-03-04 00:04:07 +00:00
Stevie Strickland
f2788561d3 Add the ability to contract more than one value returned from a with-contract 
block in expression position.

svn: r18456
 2010-03-03 21:54:18 +00:00
Robby Findler
7c1b076ee1 svn: r18451 2010-03-03 19:13:43 +00:00
Jay McCarthy
62e077e90d Applying Dave Gurnell's serialization patch 
svn: r18447
 2010-03-03 16:55:42 +00:00
Matthew Flatt
fced29e946 fix regexp bug in unicode-category patterns 
svn: r18427
 2010-03-02 15:09:47 +00:00
Sam Tobin-Hochstadt
65b12a2af3 Use `current-contract-region' appropriately. 
Maintain source locations.
Fix PR 10776.

svn: r18421
 2010-03-01 23:43:15 +00:00
Sam Tobin-Hochstadt
12257912e3 Fix bug 10763. 
svn: r18418
 2010-03-01 22:48:11 +00:00
Sam Tobin-Hochstadt
78c14e434b Add `with-type' for defintions, add #:result keyword. 
Fix contract for top-arr.
Remove static version of printing conditional.
Fix brokenness in print-converting.

svn: r18416
 2010-03-01 22:31:24 +00:00
Sam Tobin-Hochstadt
1c1a2dde38 Fix pconvert of hashtables. 
svn: r18414
 2010-03-01 20:27:55 +00:00
Robby Findler
d7f8c62371 fixed immutable boxes and vectors 
svn: r18407
 2010-03-01 14:47:38 +00:00
Stevie Strickland
16dbb0edc1 Fix bug in field mutation on contracted objects. 
svn: r18390
 2010-02-27 20:59:40 +00:00
Sam Tobin-Hochstadt
31f0b5e305 Fix tests to use `test-suite' to delay execution. 
Move hiding of errors down in stack.

svn: r18381
 2010-02-27 15:07:45 +00:00
Stevie Strickland
8e3a67936e Add `unregister-type' 
Add type regions.
Untyped lexical vars not an internal error.

svn: r18374
 2010-02-27 01:26:16 +00:00
Stevie Strickland
7dacfaea85 Add with-contract for expression positions. 
svn: r18372
 2010-02-27 01:05:03 +00:00
Jay McCarthy
1f4ab946e1 Removing reliance on SXML and adding little xpath evaluator for xexprs 
svn: r18366
 2010-02-26 21:16:56 +00:00
Sam Tobin-Hochstadt
21d0dfcf09 use new schemeunit 
svn: r18361
 2010-02-26 20:44:30 +00:00
Jay McCarthy
dd31aa9512 Switching many uses of old Schemeunit to new 
svn: r18360
 2010-02-26 20:39:56 +00:00
Matthew Flatt
02583a1a08 ad hoc car/cdr optimizations 
svn: r18354
 2010-02-26 19:14:56 +00:00
Sam Tobin-Hochstadt
2bda690d2d remove error printf for drdr 
svn: r18349
 2010-02-26 14:37:51 +00:00
Robby Findler
ca8459a3a0 changed to schemeunit so the tests can be in a module and so we dont see random values in the printed output 
svn: r18341
 2010-02-25 21:32:48 +00:00
Carl Eastlund
8b93f081bc Renamed make-set{,eq,eqv} to set{,eq,eqv} for uniformity with list, vector, etc. 
svn: r18338
 2010-02-25 19:46:36 +00:00
Jay McCarthy
24d76d0e82 Allowing any module path in mutators for the collector 
svn: r18336
 2010-02-25 16:24:36 +00:00
Robby Findler
3955ef69b4 try to debug new drdr failure 
svn: r18329
 2010-02-24 21:46:53 +00:00
Robby Findler
df049ea35e normalized the output so drdr won't say that this is changing 
svn: r18326
 2010-02-24 19:46:24 +00:00
Stevie Strickland
9f9e83b671 Yes, I know that we get different results for how it prints out. This needs 
to be fixed.  But for now, I'm commenting this out with a note to myself to
get this fixed.

svn: r18322
 2010-02-24 17:46:51 +00:00
Robby Findler
50a6a585b1 fixed some repl-printing related bugs that would make 'write' sensitive to pretty-print's parameters in drscheme's repl 
svn: r18321
 2010-02-24 17:35:09 +00:00
Stevie Strickland
232db39f54 Sync up to trunk to prepare for the grand merge. 
svn: r18319
 2010-02-24 16:38:32 +00:00
Jay McCarthy
652cdcf902 Changing bindings parser on requests to promises. 
svn: r18310
 2010-02-23 22:29:22 +00:00