suzanne.soy/typed-racket
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
756 Commits 13 Branches 1 Tag 9.2 MiB
9e9ee0aee4
Commit Graph

234 Commits

Author SHA1 Message Date
Sam Tobin-Hochstadt
9e9ee0aee4 fix some racunit types, add test case 
original commit: 0a2b16f804502b169e1b1a7ab89fe25f5f6bb0ed
 2010-05-04 19:47:37 -04:00
Sam Tobin-Hochstadt
db9ffaaae8 use `vector-member' 
original commit: d5776a12666c507525df54c2f217f819dd407f33
 2010-05-03 18:03:01 -04:00
Sam Tobin-Hochstadt
19c4c523f3 Add test for bug 10868 
Add 'unit' command line arg to 'run.rkt' command to just run the unit tests

original commit: 34e64b650fd55c99aff3c79279663becd4da4249
 2010-05-03 15:13:33 -04:00
Sam Tobin-Hochstadt
d4d0b811cd rename 
original commit: 92a3085658a7addbfd8261a8c6573918d2a4235a
 2010-05-03 13:18:56 -04:00
Sam Tobin-Hochstadt
55fb37ff16 fix problem reported by Sigrid on plt-scheme 
original commit: 996405af9c5ba32c49d1051c85b573d1383e244a
 2010-05-03 13:15:19 -04:00
Sam Tobin-Hochstadt
a15708cba8 run .rkt files 
original commit: 6b5305afe742cdb399d049c6732fc92ddabbad3d
 2010-05-03 13:01:58 -04:00
Jay McCarthy
b91ae08c0e Renaming rktunit to racunit 
original commit: bc5cf30ebe1ba3743f7097d81ebf1297435e0201
 2010-04-30 10:57:32 -06:00
Jay McCarthy
331f098693 Renaming schemeunit to rktunit and adding compat layer 
original commit: f70ffca75665f86a380c3df846c8a63b1e941b8b
 2010-04-29 15:00:02 -06:00
Matthew Flatt
94184a7671 rename all files .ss -> .rkt 
original commit: 28b404307793f041bb3363135a2968e283855318
 2010-04-27 16:50:15 -06:00
Sam Tobin-Hochstadt
6890aab175 Update structure types to have constructor ids. 
Use constructor to generate better contracts for poly structs.

original commit: 41e469d7aefd9aab480594caaba62dd7019ec0fd
 2010-04-14 15:06:14 -04:00
Sam Tobin-Hochstadt
ce7df53455 test improvements 
svn: r18814

original commit: 0c730ae50a4b60a982c0a1e6fee24875f2c630a1
 2010-04-14 17:11:21 +00:00
Sam Tobin-Hochstadt
063e588872 Fix thinko in subtyping. 
svn: r18802

original commit: 25a817e4aa7a74f3148b56ffb9f627ee4f0329f3
 2010-04-12 22:23:39 +00:00
Noel Welsh
707dae25ca Add type definition for unsafe-vector*-ref and unsafe-vector*-length, which have recently been introduced, and a test case for in-vector (which uses the above). 
svn: r18667

original commit: cfab7a8d97c62814973a8b0e74089233873a896e
 2010-03-30 13:33:45 +00:00
Sam Tobin-Hochstadt
8e2865524c add simple tests 
svn: r18638

original commit: 752e93fc88111d4edd189eef4a3dc133dd7269d5
 2010-03-27 00:31:29 +00:00
Noel Welsh
e1072ebb22 Add the fx to fl conversion functions to Typed Scheme 
Add tests for flonum operations to Typed Scheme test suite

Fix the compiler bug tests above uncovered

svn: r18609

original commit: af84b331a13c53709eaba9f0faf7af0c64a000a1
 2010-03-24 13:18:37 +00:00
Noel Welsh
39e98488a7 Fix a problem generating contracts for FlVector exports. Add test for problem. 
svn: r18603

original commit: cf017110a982fb24451691200dc05830136e9833
 2010-03-23 10:30:24 +00:00
Noel Welsh
ba3d01e519 Check that the FlVector type is exported. Currently this test fails. 
svn: r18557

original commit: 5f6aeb364ff0007914809017a4e14f4f3bc65a53
 2010-03-17 15:26:30 +00:00
Noel Welsh
9cf45f3392 Add FlVector types to Typed Scheme and bindings for all flvector operations in scheme/flonum and scheme/unsafe/ops. 
svn: r18555

original commit: 39a1489403db3184b23622dfde17548d65681f6a
 2010-03-17 14:49:29 +00:00
Stevie Strickland
78214ab410 Correct with-type so it handles result types of the form (values t ...). 
svn: r18531

original commit: 7b831e86a6e70edafb2993f3169d891d27fa5d77
 2010-03-14 02:32:20 +00:00
Sam Tobin-Hochstadt
0a828f2262 Prevent unbound identifiers from being in the base env. 
Fix some bugs caught by this.

svn: r18526

original commit: 9035e2e58457bd635ceb739f3d021e30fc7262b2
 2010-03-12 16:25:40 +00:00
Noel Welsh
19cdb4f096 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

original commit: 97924ffc65b5b5ded6f2b4436cde51ed00462e03
 2010-03-12 12:13:10 +00:00
Sam Tobin-Hochstadt
db56dfd7d6 Null does not overlap with structs. 
svn: r18508

original commit: b3be4f32f7dceb402dbfc2bce35a8db466c16219
 2010-03-10 23:43:47 +00:00
Sam Tobin-Hochstadt
2f1771b849 Add `define-predicate' 
svn: r18497

original commit: c24daa5dbb2e4a503e81385620008b70d044f76c
 2010-03-10 00:10:03 +00:00
Sam Tobin-Hochstadt
79c93700c7 Fix PR 10813 
svn: r18477

original commit: 87f978e59ecb88b19391e2210b6b3cb550e4df25
 2010-03-05 21:52:54 +00:00
Sam Tobin-Hochstadt
1e35d3a083 Use `current-contract-region' appropriately. 
Maintain source locations.
Fix PR 10776.

svn: r18421

original commit: 65b12a2af3a487da88a0d354586e533516273d39
 2010-03-01 23:43:15 +00:00
Sam Tobin-Hochstadt
ff6ad0c29d Fix bug 10763. 
svn: r18418

original commit: 12257912e3a39efcd20bcd0ec3e778c630879577
 2010-03-01 22:48:11 +00:00
Sam Tobin-Hochstadt
b0a1fde7aa 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

original commit: 78c14e434b7f6dffc6c404d090b449b097e96cfb
 2010-03-01 22:31:24 +00:00
Sam Tobin-Hochstadt
a47ed6d95a Fix tests to use `test-suite' to delay execution. 
Move hiding of errors down in stack.

svn: r18381

original commit: 31f0b5e305f95af45772ff11e4b04bf332ead59a
 2010-02-27 15:07:45 +00:00
Stevie Strickland
a92cd6cdce Add `unregister-type' 
Add type regions.
Untyped lexical vars not an internal error.

svn: r18374

original commit: 8e3a67936eeb14fc08279a075966f93e35209f23
 2010-02-27 01:26:16 +00:00
Sam Tobin-Hochstadt
d98d962195 use new schemeunit 
svn: r18361

original commit: 21d0dfcf09b7ef168f7d4e861aad2e3ee062352a
 2010-02-26 20:44:30 +00:00
Sam Tobin-Hochstadt
43c22f41e5 fix comment, add test 
svn: r18307

original commit: 1616e27b4b0a2a8cb1ad419933fdd38894c7a882
 2010-02-23 21:36:53 +00:00
Sam Tobin-Hochstadt
b0a08fe0b8 providing static struct information to untyped code works 
svn: r18198

original commit: 33c18b3985bce1bab5028c67e06eec5335722eb4
 2010-02-19 23:27:06 +00:00
Sam Tobin-Hochstadt
a61aef0339 Generate proper contracts for polymorphic struct types. 
Document `Nothing'.

svn: r18074

original commit: 90c8fcff1194799ed6f522e7554d49571b1f3074
 2010-02-12 21:57:58 +00:00
Sam Tobin-Hochstadt
00bd3adab8 More restrictive handling of contracts for the `Any' type. 
svn: r18043

original commit: 8bf908d1061510198bb6a155fee7a25312bea714
 2010-02-10 20:45:50 +00:00
Sam Tobin-Hochstadt
0db7c6d821 Fix a number of bugs reported by eli 
svn: r18017

original commit: 55a48ca594bc7e3834bfbebea7fc5a1967c278d1
 2010-02-08 18:17:15 +00:00
Sam Tobin-Hochstadt
4c1cf6b520 Add supertypes for mutable types, so that predicates work correctly. 
svn: r17971

original commit: 318833f4226d9249077c772f87ee705ecfd4c617
 2010-02-04 23:39:15 +00:00
Sam Tobin-Hochstadt
34bb0090a0 Correct typing for `or'. 
svn: r17665

original commit: 3fc133a0b84476a121b129f41e2c260e0d4593c0
 2010-01-15 19:39:46 +00:00
Sam Tobin-Hochstadt
12be4e80ab Syntax for predicates with non-empty paths 
svn: r17660

original commit: 5e1b355e325a8a910911caaa25069b51eea7cd7b
 2010-01-14 23:17:56 +00:00
Sam Tobin-Hochstadt
aac0a48ef4 update to the final version of this code 
svn: r17658

original commit: d69c96cf06ccc0f6bef7734d679329e9fa320db1
 2010-01-14 22:09:31 +00:00
Sam Tobin-Hochstadt
a1062c49f9 Types for the other `check-expect'-style forms. 
svn: r17657

original commit: 104adf9c62a458e848019fc2331184c8c83ab29e
 2010-01-14 21:24:47 +00:00
Sam Tobin-Hochstadt
8fd1b8c69e Paths for first' and rest' 
svn: r17654

original commit: 1ab2a41092d9b64a3d7744bd7f0c3fea7248c021
 2010-01-14 20:00:37 +00:00
Sam Tobin-Hochstadt
fba861f6df Typecheck `or' correctly. 
svn: r17653

original commit: 33592b4f6c40faf63015fcf33e1874322007b03c
 2010-01-14 19:53:28 +00:00
Sam Tobin-Hochstadt
62d3dc1466 Propogate expected type through `reverse'. 
New loop special case for `for/list'.

svn: r17609

original commit: 4fa4f6fd2d814de10e84300d1da76a311bf85160
 2010-01-11 20:48:26 +00:00
Sam Tobin-Hochstadt
b7c5360562 `andmap' now works as a predicate in Typed Scheme 
svn: r17575

original commit: f13453e8893ed86e7f90a596e80aed9e61755d89
 2010-01-08 19:05:58 +00:00
Sam Tobin-Hochstadt
9364f5b9cc use of member, memq, memv as predicates working properly 
svn: r17568

original commit: 05a0e722f9b64d0d53fb5b168181b467a4711ec7
 2010-01-08 15:55:32 +00:00
Sam Tobin-Hochstadt
9e17eab6d8 Create new `typed/test-engine' collection. 
Remove dependence of `typed-scheme' on `test-engine'.

svn: r17567

original commit: 0d46fcb48a2865dd8bae8e229e8ffb4e3a2c9521
 2010-01-08 15:38:17 +00:00
Sam Tobin-Hochstadt
e0ceba24a8 `member' can now be used a predicate. 
svn: r17554

original commit: b7f989943931dbd7aec58f238a9e9c66c1142f3b
 2010-01-07 22:11:54 +00:00
Sam Tobin-Hochstadt
cffc0e2563 Better error message for functions that don't have the same arity as 
the expected.
Add some tests for errors.

svn: r17551

original commit: eaad64d6120e70e59200fb2cec58f4af5a777ed4
 2010-01-07 21:45:57 +00:00
Sam Tobin-Hochstadt
b1869b6882 Improve error messages in the simple case. 
Change 'typecheck to Type Checker in error messages.

svn: r17542

original commit: 08457d35e3faa1a8dccbcbfc6b193c63fda45fb6
 2010-01-07 19:41:42 +00:00
Sam Tobin-Hochstadt
e044410d4e Fix `type-apply' 
Fix duplicate filters

svn: r17522

original commit: a8e1c829c2e78744c20d6bd2b33bdb800f2a3b31
 2010-01-07 00:55:51 +00:00