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
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
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
Ryan Culpepper
42e611ca74
unstable/contract: added if/c combinator
...
other minor changes
svn: r17171
original commit: 2634eccdc796e6ed0b242f69f00e9e896d8fb171
2009-12-03 00:54:02 +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
Sam Tobin-Hochstadt
e326c243bc
improve error messages with `syntax-parse'
...
svn: r17023
original commit: 176920530f5625da0b860e8b194f3a906dc9bcfe
2009-11-24 04:04:31 +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
b2056bab7d
use `make-provide/contract-transformer'
...
svn: r16949
original commit: 406b5c384d446b9b275971d14a690b7c71d12cac
2009-11-21 22:21:36 +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
Sam Tobin-Hochstadt
a1f96d6ce8
checkpoint
...
svn: r16908
original commit: 111b71c844707b146bbc1500dc086ef3c5ef7070
2009-11-20 00:06:32 +00:00
Sam Tobin-Hochstadt
7fe635dfee
start on typed/scheme
...
svn: r16896
original commit: d28add0fa915e099e11fbd7ef44fb2e3e2c0ee40
2009-11-19 19:47:51 +00:00
Sam Tobin-Hochstadt
812d2549dd
remove tracing
...
svn: r16872
original commit: 424aa9049107a30e2d625eb2d06ff9fcd9e7eefb
2009-11-18 16:41:01 +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
9dbe7c808f
Add unstable/match with == match expander.
...
Add 'match expander' tech def.
svn: r16814
original commit: 0ae5843f1163a247f776b47ac29e38e31664bc03
2009-11-16 16:58:11 +00:00
Sam Tobin-Hochstadt
40c53e2191
Fix prop values for DrDr.
...
Add plt-responsible props.
Add hash-union to unstable.
Fix doc for compound-paragraph.
Fix unstable/scribblings/util.
svn: r16811
original commit: fcd4c4e38dcdca086d6d1de8dd4bd47439dff2da
2009-11-16 13:59:13 +00:00
