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

508 Commits

Author SHA1 Message Date
Carl Eastlund
f3030b5775 Oops, got the types of char->integer and integer->char backwards. 
svn: r17991

original commit: f9ae636aead96beb7ceac5fbeb5a0fd2185c08ac
 2010-02-05 06:24:44 +00:00
Carl Eastlund
779cdbe53f Added types for char->integer and integer->char. 
svn: r17990

original commit: f2852257bb0987a0ffd5ca51d06ac0adf3d4a34d
 2010-02-05 05:22:49 +00:00
Carl Eastlund
2d0c950305 Added types for missing hash table operations. 
svn: r17989

original commit: 578637c691ec0301554d0170ff6ba713446c1790
 2010-02-05 04:49:49 +00:00
Eli Barzilay
32dcd7960c A bunch of additional typos 
svn: r17976

original commit: c88a5a685674ea70991a97f35972bd5144483e7a
 2010-02-05 03:21:52 +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
8d5eb1decf Fix the handling of with-handlers that returns multiple values 
svn: r17823

original commit: af2ef07d05adc6ca454467f3f9fd3ed8a8f5a501
 2010-01-25 19:51:16 +00:00
Sam Tobin-Hochstadt
c6c381a207 use syntax-parse 
support #:predicate option to `define-typed-struct-internal'

svn: r17822

original commit: c9b246a8d2f15a27cc438b8827ec6eef0232b16e
 2010-01-25 19:35:56 +00:00
Sam Tobin-Hochstadt
674c88a752 Improve `internal-forms' 
First step to custom predicates in `define-typed-struct-internal'

svn: r17820

original commit: bb541fd03fa0b35e22f0c82f6c9b3a8a6d5b0591
 2010-01-25 18:38:56 +00:00
Sam Tobin-Hochstadt
3dc58b3a44 improve internal error messages 
svn: r17819

original commit: e493ba5c6ad1a53b01a50b2a80592baa694ece91
 2010-01-25 17:23:19 +00:00
Sam Tobin-Hochstadt
5cb93424d5 Simplify pattern for expressions in type env. 
Attempt to avoid doing local-expansion repeatedly.

svn: r17812

original commit: 2cd7fe5499fab307a6b2287111cdb02fa5fb06ab
 2010-01-25 14:46:34 +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
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
46365587b2 Reject some cases of nested types. 
svn: r17619

original commit: 91629fd31ace6700a6864c0db826c89e2987c1a2
 2010-01-12 20:36:30 +00:00
Sam Tobin-Hochstadt
2022bc7b80 `reverse' is special on all tuples 
svn: r17612

original commit: 81e963bd465ed66018506002a3b9a18f9c648493
 2010-01-11 22:13:22 +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
7b4164e4cb Error on duplicate type annotations. 
svn: r17549

original commit: 62653d3c41b97de732aacc932bd123a8fd9ecb21
 2010-01-07 21:20:45 +00:00
Sam Tobin-Hochstadt
6a1e740b74 Fix error messages on malformed All. 
svn: r17546

original commit: 6199fc88670eab71e59e34aa244f6531547e7576
 2010-01-07 20:31:23 +00:00
Sam Tobin-Hochstadt
0482c90bfa Improve error messages. 
svn: r17545

original commit: a40d5c55693037f2a260512c74a6ef4d58d5ba5e
 2010-01-07 20:16:05 +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
34e36bf350 More type names 
Fixes PR 10646 (as it evolved)

svn: r17533

original commit: b71b1967641584d4ad1a5280598e9c6d60f929e3
 2010-01-07 16:48:05 +00:00
Sam Tobin-Hochstadt
d82d82029e fix typo 
svn: r17530

original commit: bcee60dfd8670192bce12693ebc7ce17c5ec5e67
 2010-01-07 15:14:33 +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
a431e55952 fix lots of numeric types 
svn: r17520

original commit: 8b7fb016923da57df016ade78089468a902483d2
 2010-01-06 23:21:31 +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
860376e33f Use syntax-parse and syntax-classes for type annotation macros. 
Add `let-values:' and `let*-values:', fixes PR 9793

svn: r17516

original commit: 582ca03d1898ffc89b142e0e38398861c7d8549f
 2010-01-06 22:15:18 +00:00
Matthew Flatt
32df5b59d0 change expand and local-expand to lift certificates 
svn: r17439

original commit: e68aabd67a1187a878b1d3c15e3b38e5e430ed31
 2009-12-30 17:27:38 +00:00
Sam Tobin-Hochstadt
77c8bacdb4 Add `make-list' 
Fix `let/ec:'

svn: r17340

original commit: 5af212e8257663780515e4c842f973ba5ca2faaf
 2009-12-17 19:01:23 +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
e820082489 Fix type of sqrt 
svn: r17273

original commit: a1f647121d84c02b9224b11500db5a2732db6087
 2009-12-11 23:08:48 +00:00
Sam Tobin-Hochstadt
2669a3269a Fix abstraction of implications. 
Fix contract for lookup-typed/lexical.
Default cases for printing.
Abstract out indexing functions for Nat/Integer split.

svn: r17272

original commit: d0c8a19ce84ce1ef674c1c43e69b56ee7e0a63a2
 2009-12-11 23:00:37 +00:00
Sam Tobin-Hochstadt
43c534dbdf fix sorting 
svn: r17270

original commit: dde2c1fb18fa716928af955d889f205caacbc378
 2009-12-11 17:09:51 +00:00
Sam Tobin-Hochstadt
21f9c0ec16 fixes 
svn: r17265

original commit: 791ec557876881eaeafc29a43b339b7a7d632d84
 2009-12-11 00:25:59 +00:00
Sam Tobin-Hochstadt
4741518170 logic works properly now, it seems 
svn: r17264

original commit: 92dbf999651f54b7efd8167427db9aa2f38512d1
 2009-12-10 23:35:28 +00:00
Sam Tobin-Hochstadt
1261ce2cdb revert all of the interning changes since they didn't work 
svn: r17262

original commit: 16c152e5a4ca1797f20c127d443e4689e292e55f
 2009-12-10 17:15:17 +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
c29e86edca conversion to contracts for optional keywords 
svn: r17236

original commit: eae4c140fae6f31fec65a9296a0d3e17d13172d7
 2009-12-07 15:34:54 +00:00
Sam Tobin-Hochstadt
4534ac0d19 PR 10647 
svn: r17235

original commit: 70f085713dd47992f73e44cf088d71837bc818f0
 2009-12-07 13:55:36 +00:00
Sam Tobin-Hochstadt
9fd6b5d194 Support some keyword arguments in type parsing/type->contract. 
svn: r17189

original commit: 76b10347da4dc11ac3420a0dc9b3c65f61d1696d
 2009-12-05 00:48:46 +00:00
Sam Tobin-Hochstadt
445c65e12e checkpoint 
svn: r17054

original commit: e3bafbe298688ec0efe47a09254492f93027fa71
 2009-11-25 02:30:41 +00:00
Sam Tobin-Hochstadt
361a8a3581 doc edit 
svn: r17047

original commit: 070d061ff5b2c8146f1efbc9648f92bdccaf484c
 2009-11-24 20:08:33 +00:00
Sam Tobin-Hochstadt
09febf87c2 checkpoint 
svn: r17045

original commit: 29c4a84183f15c98093973fae3fe7ec20a9fd8a3
 2009-11-24 17:10:44 +00:00