Sam Tobin-Hochstadt
5a47ebf0c7
New representation for free variables, now stored in struct.
...
Interning now merely used to create key, eq? not = for types.
svn: r18107
original commit: 1039e68e034196550e4def3e9f0233e6751201ab
2010-02-17 00:09:38 +00:00
Carl Eastlund
0d5a01f2a7
Corrected types of hash-update and hash-update!
...
svn: r18093
original commit: 52f2ec2e30e7ffdb3d0f44d3cb2a07e52e0b5be7
2010-02-16 00:55:03 +00:00
Carl Eastlund
8c9670ca0c
Added types for full exception hierarchy.
...
svn: r18092
original commit: 08b53c715d9116ecefb7e1dd83da6527b2c20348
2010-02-15 23:22:40 +00:00
Sam Tobin-Hochstadt
f25f361bbc
remove debugging code
...
svn: r18087
original commit: 89da61307393a19dbf7ae90942c1301616939edb
2010-02-15 18:36:26 +00:00
Carl Eastlund
05c08898a6
Added automatic blame-tracking to poly/c contract in unstable (and updated use in Typed Scheme).
...
svn: r18075
original commit: 1b28ea1a6c1c499d0d4f5d0a13d2496c2bfc0ec8
2010-02-12 23:03:11 +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
f6c223fc05
fix dumb typo
...
svn: r18018
original commit: 89eb249b00c307f9ff8af3094d7292b3b9939146
2010-02-08 18:21:43 +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
40b9514197
fix let/ec: and let/cc:
...
svn: r18000
original commit: bf77c690f4d1a97fb530ea23602bf590f32f2479
2010-02-05 23:00:07 +00:00
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
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
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
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
46365587b2
Reject some cases of nested types.
...
svn: r17619
original commit: 91629fd31ace6700a6864c0db826c89e2987c1a2
2010-01-12 20:36:30 +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
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
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
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
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
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
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
e326c243bc
improve error messages with `syntax-parse'
...
svn: r17023
original commit: 176920530f5625da0b860e8b194f3a906dc9bcfe
2009-11-24 04:04:31 +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
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
2c76766c1c
Move a bunch of functions from typed-scheme/utils/utils to unstable.
...
Add convenience lib for unstable docs.
Add char support to format-{id,symbol}
Add unstable/sequence library.
svn: r16789
original commit: fb29a2498e964c6d7651ca6cc6a19c07ca28760b
2009-11-15 22:15:29 +00:00
Eli Barzilay
33d300977a
newlines at EOFs
...
svn: r16630
original commit: 44d88cee6b13d29d08d5bdd8e9e7681ca70a3765
2009-11-09 03:49:50 +00:00
