suzanne.soy/typed-racket
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
4,345 Commits 13 Branches 1 Tag 9.2 MiB
remove-tests-output-pr323
Commit Graph

4345 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
Sam Tobin-Hochstadt
36ee83368d add inst to no-check 
svn: r18357

original commit: d06b3ed1df34d1ac9f0628eb3ca87073e40ca658
 2010-02-26 19:59:40 +00:00
Sam Tobin-Hochstadt
0ad41fd737 fix obvious bug pointed out by noel 
svn: r18351

original commit: 013b12b19d56e051fddd6bd09d6c07115088b14e
 2010-02-26 15:15:43 +00:00
Sam Tobin-Hochstadt
56732a6d6e Re-enable typechecking of auto-language.ss 
Add `syntax-e' as a path.
Turn on contracts for objects.
Refactor Noel's additions.
Fix `require/typed' at the REPL.

svn: r18345

original commit: 2e90dfc081a3160abaa49aff9f535a901999c6a5
 2010-02-26 00:25:23 +00:00
Noel Welsh
bb22e41f6d Fix order of cases in case-lambda expressions for some unsafe-fx operations. 
Add the safe equivalents of the unsafe-fx operations.

svn: r18334

original commit: dcb01829a0f13bcdb86f9eb7a794555a5aedc9d6
 2010-02-25 13:00:55 +00:00
Noel Welsh
b7d27869fd Add types for unsafe fixnum operations. This allows support for some sequences; in particular in-range now works in some cases (though still requires type annotations). 
svn: r18333

original commit: 3d95ef650c1908d79f9b2bf5e3086322cdb494bc
 2010-02-25 11:48:33 +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
349755c446 Fix bad hashtable type inference. 
svn: r18284

original commit: f2ee3aa7b6a71320d00d75d0b18191dba2e2c23c
 2010-02-23 02:05:40 +00:00
Sam Tobin-Hochstadt
bcebf867f4 revert this change, since it breaks insert large letters 
svn: r18267

original commit: 8a11336b51936c0b465ed399f64579e2e73d75df
 2010-02-22 20:06:34 +00:00
Carl Eastlund
8f366a3613 Renamed simple-contract and simple-flat-contract to make-contract and make-flat-contract. 
svn: r18259

original commit: 1d6111c5328dc9b9ecfc14832879a7c47717d7a3
 2010-02-22 02:51:16 +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
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