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 |
|
Stevie Strickland
|
ae00f56a11
|
Fix up Sam's use of make-provide/contract-transformer after Robby's change
to it for bug 10645.
svn: r18195
original commit: de859a88798b89c78da5386ab0a8bfdf76f118da
|
2010-02-19 21:57:03 +00:00 |
|
Sam Tobin-Hochstadt
|
3cfe752100
|
disable contracts
svn: r18156
original commit: d9f24d94e7887956ec497ea97721b7c4e9196634
|
2010-02-18 21:25:06 +00:00 |
|
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 |
|
Sam Tobin-Hochstadt
|
03ae8d6f21
|
Improve some framework contracts, and provide scheme/base at phase 1 from typed/scheme.
svn: r18106
original commit: 0920b493c84cf2e8306325bd98f5ae9759acdd51
|
2010-02-17 00:02:44 +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
|
b2ea0474f2
|
Fix printing of `Number' - reported by Noel.
Provide `assert' from `typed/scheme'
svn: r18062
original commit: e99b1d028c89c2b3b027f861260fa57d2790abf1
|
2010-02-12 15:49: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
|
7eec279e96
|
Better error message when definition is missing. Fixes PR 10751.
svn: r18042
original commit: 39a8c288ec409cef59ec5a3cfec16b13a0a7c1b5
|
2010-02-10 20:32:53 +00:00 |
|
Sam Tobin-Hochstadt
|
e2b4318dfa
|
More precise types for typed MrEd wrappers.
More precise types in auto-language.ss
svn: r18041
original commit: c224d2ebfc878ddb2758cdd409cacd2dbf49e891
|
2010-02-10 20:23:59 +00:00 |
|
Sam Tobin-Hochstadt
|
cacbfb9b91
|
Fix subtyping for keywords.
svn: r18025
original commit: 2276cb10d54bd24a35bcb75f856b9be254f1bb6d
|
2010-02-08 23:03:55 +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 |
|
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
|
70118d8ebe
|
fix some contract errors
original commit: 492cab22cbebcdfeed9a4bc467d147b4722308e9
|
2010-02-03 11:44:10 -05:00 |
|
Sam Tobin-Hochstadt
|
3e18a985d7
|
new files
original commit: 1e6aaf5928d25a650e3642f84657c6cd78476672
|
2010-02-02 20:42:53 -05:00 |
|
Sam Tobin-Hochstadt
|
3842628342
|
new branch
original commit: 536b94c3052559ae51a63807d8190b01d97f7326
|
2010-02-02 20:42:22 -05:00 |
|
Sam Tobin-Hochstadt
|
b1a442d1f0
|
Stop using eq? for types.
More contracts.
Fix some contract errors.
svn: r17943
original commit: 9939f4b6194f61ff1bbed48ef3b36c7dba41363d
|
2010-02-02 18:09:25 +00:00 |
|
Sam Tobin-Hochstadt
|
cec76e7ad4
|
most of the way to real printing
svn: r17935
original commit: 8b120675bc02d0ad4396cc3a5ece7b5b19613972
|
2010-02-02 01:24:06 +00:00 |
|
Sam Tobin-Hochstadt
|
879e22a666
|
Progress on Rep.
svn: r17924
original commit: 94029a06c9af5dce0e7712cc1cc38e96e8b9b7ca
|
2010-02-01 15:51:32 +00:00 |
|
Sam Tobin-Hochstadt
|
30e08424ec
|
merge to trunk
svn: r17877
original commit: 9789615ed9840f09a6708d27276cf892d334b653
|
2010-01-29 00:08:15 +00:00 |
|
Sam Tobin-Hochstadt
|
d20ee9bf2b
|
progress on refactoring rep
svn: r17875
original commit: bbc195c0fb6d54bb645b163fe6540af342fbc004
|
2010-01-28 21:47:05 +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
|
0a8b1acb6f
|
work on new guide
svn: r17814
original commit: e65535c88037da8c21876c9c4a7fcd62efdbe9d4
|
2010-01-25 15:36:56 +00:00 |
|
Sam Tobin-Hochstadt
|
9821c485c0
|
new doc branch
svn: r17813
original commit: e071050f7f498fc4c23c33facbe5880e9124cbfc
|
2010-01-25 14:48:11 +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 |
|
Carl Eastlund
|
e9503a6993
|
Replaced uses of quote-srcloc with quote-syntax.
svn: r17757
original commit: 7f58c26709c9a97623f50ec812727daa080b155b
|
2010-01-19 23:25:07 +00:00 |
|
Carl Eastlund
|
d7fe71a64b
|
Updated typed scheme to use a module path for blame.
svn: r17754
original commit: 87645ebd114088d1b1fb368df01c1ba2253eb90c
|
2010-01-19 10:44:27 +00:00 |
|
Carl Eastlund
|
2fda2984ab
|
Updated local-expand of contract forms in require/contract.
svn: r17725
original commit: 9e540043bca10416a07cdb7dc36729cd62b648d9
|
2010-01-19 00:20:54 +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
|
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 |
|