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
Sam Tobin-Hochstadt
1eeef8e717
Put dynamic behavior of `check-expect' into functions.
...
Give those functions types.
svn: r17519
original commit: c7cb124c954cb533d31d2dac165697780322e7c6
2010-01-06 23:03:08 +00:00
Sam Tobin-Hochstadt
16b7190098
Fix type of string->number
...
svn: r17313
original commit: b9fd34b925d37125553464bde37e0591dfaa16f8
2009-12-15 22:03:10 +00:00
Sam Tobin-Hochstadt
53fa4bb8ce
fix typo
...
svn: r17294
original commit: 9b13bbb89cbd55f653a0f2b8c70a19de7c0be3db
2009-12-14 20:00:12 +00:00
Sam Tobin-Hochstadt
09c67a3952
fix unit tests
...
svn: r17269
original commit: 3e497704aafae52c6c12ec7c45436573210212d9
2009-12-11 17:01:55 +00:00
Sam Tobin-Hochstadt
21f9c0ec16
fixes
...
svn: r17265
original commit: 791ec557876881eaeafc29a43b339b7a7d632d84
2009-12-11 00:25:59 +00:00
Sam Tobin-Hochstadt
b68c553664
checkpoint
...
svn: r17258
original commit: 5767e23d875f1248e23132fe11f5b6b4ffb5cc39
2009-12-10 15:32:17 +00:00
Sam Tobin-Hochstadt
e0d1c27a9e
Fix parsing of quoted lists in types to produce list types.
...
svn: r17237
original commit: be77cee733f3dbe42bb9581710bbe8d94bfdd906
2009-12-07 15:50:51 +00:00
Sam Tobin-Hochstadt
4534ac0d19
PR 10647
...
svn: r17235
original commit: 70f085713dd47992f73e44cf088d71837bc818f0
2009-12-07 13:55:36 +00:00
Sam Tobin-Hochstadt
445c65e12e
checkpoint
...
svn: r17054
original commit: e3bafbe298688ec0efe47a09254492f93027fa71
2009-11-25 02:30:41 +00:00
Sam Tobin-Hochstadt
09febf87c2
checkpoint
...
svn: r17045
original commit: 29c4a84183f15c98093973fae3fe7ec20a9fd8a3
2009-11-24 17:10:44 +00:00
Sam Tobin-Hochstadt
5eb7939579
check that we get correct blame
...
svn: r16950
original commit: 5ea3e28078bc1ba5c0744f7fe3ebb76aadbfc464
2009-11-21 23:24:02 +00:00
Sam Tobin-Hochstadt
e5c1d9e02b
checkpoint
...
svn: r16931
original commit: 750c971d0727b495c55fb090e38d3fb3001d3624
2009-11-21 00:11:37 +00:00
Sam Tobin-Hochstadt
28890f267f
Skip backup files in tests.
...
More specific numeric types.
More subtyping relationships.
svn: r16922
original commit: 6497745560505fc1366188909543031b2925e0bb
2009-11-20 15:20:23 +00:00
Sam Tobin-Hochstadt
7d85ae8997
checkpoint
...
svn: r16915
original commit: 485c8a356708bb1f59c942529dd77bd455a6c82d
2009-11-20 05:20:23 +00:00
Sam Tobin-Hochstadt
9e87d52ba1
many fixes
...
svn: r16913
original commit: 1da2c7cd7d45b7f8a53d1892609e135820ef4301
2009-11-20 03:56:57 +00:00
Eli Barzilay
fd735190d5
properly disable TS tests on cgc
...
svn: r16842
original commit: 0c0945bb08cf08f46ae461c1c07fbbc17b3cb267
2009-11-17 20:02:07 +00:00
Sam Tobin-Hochstadt
2d9267f484
Add types for with-output-to-string, open-output-nowhere
...
Fix time.ss test not to print
svn: r16790
original commit: 25f9bcfe030b4e1374546a8859d2170e5bf4b6eb
2009-11-15 22:38:30 +00:00
Sam Tobin-Hochstadt
df40adad82
disable compilation of test files to avoid drdr race condition
...
svn: r16663
original commit: 36bceaa46322641f6da83f1113dce4ee19278bdd
2009-11-10 20:10:47 +00:00
Sam Tobin-Hochstadt
2d235dfb8e
Fix drdr props for more files.
...
Fix requires in TS tests.
svn: r16635
original commit: f29e01029c1462147382c1ea3280107ea9b89a41
2009-11-09 17:06:12 +00:00
Eli Barzilay
33d300977a
newlines at EOFs
...
svn: r16630
original commit: 44d88cee6b13d29d08d5bdd8e9e7681ca70a3765
2009-11-09 03:49:50 +00:00
Sam Tobin-Hochstadt
b616135475
Add failing test to xfail.
...
Remove old dead code.
svn: r16479
original commit: 93a504a8173309922e087142ca191d76c6885032
2009-10-30 16:26:48 +00:00
Sam Tobin-Hochstadt
34f394533b
fix test result
...
svn: r16398
original commit: a3082cba0b10ebd0e21d4ffa998332f73467d9aa
2009-10-21 14:46:36 +00:00
Sam Tobin-Hochstadt
387ee8193b
Add `typed/scheme/system'
...
Special handling of (letrec ([x e]) x)
Allow functions with optional keyword args to be inferred when kws not supplied.
Infer instantiations for kw functions in simple cases.
Add `Path-String' type
Fix types of `filter', `with-{input-to,output-from}-file'
Add `port->lines'
New 'metrics.ss' test
svn: r16385
original commit: 37106bd6f7241277288ad56a3c75aef53cdfc3c3
2009-10-20 18:30:37 +00:00
Sam Tobin-Hochstadt
9c607d6779
Don't error for branches with wrong number of results where return type is Bot.
...
Allow case-lambda to be subtype of equiv union type.
Add types for path?, fold-files, assert
svn: r16357
original commit: 6a83901a8bd60ccea014f84238a378749573beb2
2009-10-18 01:10:00 +00:00
Sam Tobin-Hochstadt
cc3c031d80
Fix bug with use of match with ... and annotation.
...
svn: r16216
original commit: 6efd0abc13711b0ca3f75b7c6460291ffb77b8d9
2009-10-02 16:20:30 +00:00
Sam Tobin-Hochstadt
391f497ebb
Remove obselete file.
...
Use syntax/parse instead of stxclass.
svn: r15983
original commit: 49b30f9055bbd996e86eafbfbd60aece4fe87f17
2009-09-11 22:17:45 +00:00
Sam Tobin-Hochstadt
521dee2bb5
Move parse-type2 to parse-type.
...
Re-enable typed-scheme tests automatically.
svn: r15924
original commit: 4907d266df8438b6f0f4a3e3fd0241702ab46b57
2009-09-08 20:02:03 +00:00
Sam Tobin-Hochstadt
cf872c4e38
New type parser, written using syntax/parse.
...
- uses keywords with bindings
- : macro in separate file so it can be used earlier
- internal function in separate file
FilterSet/c and LatentFilterSet/c contracts
Avoid returning #f when `look-for-in-orig' fails
Add type for unsafe-cdr
svn: r15923
original commit: 63d318fd4b7e7244af10fff21db74f0d09db5006
2009-09-08 19:51:34 +00:00
Sam Tobin-Hochstadt
240f4eaeb3
remove extra whitespace
...
svn: r15863
original commit: 9e25d28a28306bf397ae40c06ebf07fdce7b8f1c
2009-09-03 07:53:39 +00:00
