suzanne.soy/racket
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
14,730 Commits 17 Branches 54 Tags 278 MiB
bf71d2a8af
Commit Graph

408 Commits

Author SHA1 Message Date
Sam Tobin-Hochstadt
b020c8dc21 fix some unfortunate bugs 
svn: r18433
 2010-03-02 20:37:36 +00:00
Sam Tobin-Hochstadt
33db456f9e fix PR 10735 
svn: r18419
 2010-03-01 22:51:42 +00:00
Sam Tobin-Hochstadt
78c14e434b Add `with-type' for defintions, add #:result keyword. 
Fix contract for top-arr.
Remove static version of printing conditional.
Fix brokenness in print-converting.

svn: r18416
 2010-03-01 22:31:24 +00:00
Sam Tobin-Hochstadt
68c46cca9a fix with-types requires on windows 
svn: r18387
 2010-02-27 19:21:42 +00:00
Sam Tobin-Hochstadt
6c4b1234bf remove obsolete doc files 
eliminate repeated expansion

svn: r18382
 2010-02-27 16:24:22 +00:00
Stevie Strickland
8e3a67936e Add `unregister-type' 
Add type regions.
Untyped lexical vars not an internal error.

svn: r18374
 2010-02-27 01:26:16 +00:00
Sam Tobin-Hochstadt
2e90dfc081 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
 2010-02-26 00:25:23 +00:00
Noel Welsh
dcb01829a0 Fix order of cases in case-lambda expressions for some unsafe-fx operations. 
Add the safe equivalents of the unsafe-fx operations.

svn: r18334
 2010-02-25 13:00:55 +00:00
Noel Welsh
3d95ef650c 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
 2010-02-25 11:48:33 +00:00
Sam Tobin-Hochstadt
8a11336b51 revert this change, since it breaks insert large letters 
svn: r18267
 2010-02-22 20:06:34 +00:00
Sam Tobin-Hochstadt
33c18b3985 providing static struct information to untyped code works 
svn: r18198
 2010-02-19 23:27:06 +00:00
Sam Tobin-Hochstadt
1039e68e03 New representation for free variables, now stored in struct. 
Interning now merely used to create key, eq? not = for types.

svn: r18107
 2010-02-17 00:09:38 +00:00
Carl Eastlund
52f2ec2e30 Corrected types of hash-update and hash-update! 
svn: r18093
 2010-02-16 00:55:03 +00:00
Carl Eastlund
08b53c715d Added types for full exception hierarchy. 
svn: r18092
 2010-02-15 23:22:40 +00:00
Sam Tobin-Hochstadt
89da613073 remove debugging code 
svn: r18087
 2010-02-15 18:36:26 +00:00
Carl Eastlund
1b28ea1a6c Added automatic blame-tracking to poly/c contract in unstable (and updated use in Typed Scheme). 
svn: r18075
 2010-02-12 23:03:11 +00:00
Sam Tobin-Hochstadt
90c8fcff11 Generate proper contracts for polymorphic struct types. 
Document `Nothing'.

svn: r18074
 2010-02-12 21:57:58 +00:00
Sam Tobin-Hochstadt
8bf908d106 More restrictive handling of contracts for the `Any' type. 
svn: r18043
 2010-02-10 20:45:50 +00:00
Sam Tobin-Hochstadt
89eb249b00 fix dumb typo 
svn: r18018
 2010-02-08 18:21:43 +00:00
Sam Tobin-Hochstadt
55a48ca594 Fix a number of bugs reported by eli 
svn: r18017
 2010-02-08 18:17:15 +00:00
Sam Tobin-Hochstadt
bf77c690f4 fix let/ec: and let/cc: 
svn: r18000
 2010-02-05 23:00:07 +00:00
Carl Eastlund
f9ae636aea Oops, got the types of char->integer and integer->char backwards. 
svn: r17991
 2010-02-05 06:24:44 +00:00
Carl Eastlund
f2852257bb Added types for char->integer and integer->char. 
svn: r17990
 2010-02-05 05:22:49 +00:00
Carl Eastlund
578637c691 Added types for missing hash table operations. 
svn: r17989
 2010-02-05 04:49:49 +00:00
Sam Tobin-Hochstadt
318833f422 Add supertypes for mutable types, so that predicates work correctly. 
svn: r17971
 2010-02-04 23:39:15 +00:00
Sam Tobin-Hochstadt
2cd7fe5499 Simplify pattern for expressions in type env. 
Attempt to avoid doing local-expansion repeatedly.

svn: r17812
 2010-01-25 14:46:34 +00:00
Sam Tobin-Hochstadt
5e1b355e32 Syntax for predicates with non-empty paths 
svn: r17660
 2010-01-14 23:17:56 +00:00
Sam Tobin-Hochstadt
1ab2a41092 Paths for first' and rest' 
svn: r17654
 2010-01-14 20:00:37 +00:00
Sam Tobin-Hochstadt
91629fd31a Reject some cases of nested types. 
svn: r17619
 2010-01-12 20:36:30 +00:00
Sam Tobin-Hochstadt
4fa4f6fd2d Propogate expected type through `reverse'. 
New loop special case for `for/list'.

svn: r17609
 2010-01-11 20:48:26 +00:00
Sam Tobin-Hochstadt
f13453e889 `andmap' now works as a predicate in Typed Scheme 
svn: r17575
 2010-01-08 19:05:58 +00:00
Sam Tobin-Hochstadt
0d46fcb48a Create new `typed/test-engine' collection. 
Remove dependence of `typed-scheme' on `test-engine'.

svn: r17567
 2010-01-08 15:38:17 +00:00
Sam Tobin-Hochstadt
6199fc8867 Fix error messages on malformed All. 
svn: r17546
 2010-01-07 20:31:23 +00:00
Sam Tobin-Hochstadt
a40d5c5569 Improve error messages. 
svn: r17545
 2010-01-07 20:16:05 +00:00
Sam Tobin-Hochstadt
b71b196764 More type names 
Fixes PR 10646 (as it evolved)

svn: r17533
 2010-01-07 16:48:05 +00:00
Sam Tobin-Hochstadt
a8e1c829c2 Fix `type-apply' 
Fix duplicate filters

svn: r17522
 2010-01-07 00:55:51 +00:00
Sam Tobin-Hochstadt
8b7fb01692 fix lots of numeric types 
svn: r17520
 2010-01-06 23:21:31 +00:00
Sam Tobin-Hochstadt
c7cb124c95 Put dynamic behavior of `check-expect' into functions. 
Give those functions types.

svn: r17519
 2010-01-06 23:03:08 +00:00
Sam Tobin-Hochstadt
582ca03d18 Use syntax-parse and syntax-classes for type annotation macros. 
Add `let-values:' and `let*-values:', fixes PR 9793

svn: r17516
 2010-01-06 22:15:18 +00:00
Sam Tobin-Hochstadt
5af212e825 Add `make-list' 
Fix `let/ec:'

svn: r17340
 2009-12-17 19:01:23 +00:00
Sam Tobin-Hochstadt
b9fd34b925 Fix type of string->number 
svn: r17313
 2009-12-15 22:03:10 +00:00
Sam Tobin-Hochstadt
22903bffcd Fix handling of logical props in `tc-if'. 
New numeric hierarchy.
Quoted lists and vectors now use the expected type, and quoted lists have (List a b c) type.  
Fix some contracts.
More general handling of polymorphic function application.
Use `make-provide/contract-transformer' to generate correct blame for typed provided identifiers.
Add mutable pairs. 
Use `raise-syntax-error' for better error messages in mzscheme.
Use `match*' instead of `list'
Some fixes to appease the contract checking.
Catch-all printing cases.
Use names in Base contract generation.
Types for lots of new primitives.
Move numeric primitives to their own file.
Move indexing primites to their own abstracted file.
Better error message from `define-struct:'
Fix 'insert-large-letters.ss' for new Number hierarchy.
Add `typed/scheme' and `typed/scheme/base', which use new number hierarcy types, stricter indexing types.

svn: r17284
 2009-12-13 04:45:17 +00:00
Sam Tobin-Hochstadt
a1f647121d Fix type of sqrt 
svn: r17273
 2009-12-11 23:08:48 +00:00
Sam Tobin-Hochstadt
d0c8a19ce8 Fix abstraction of implications. 
Fix contract for lookup-typed/lexical.
Default cases for printing.
Abstract out indexing functions for Nat/Integer split.

svn: r17272
 2009-12-11 23:00:37 +00:00
Sam Tobin-Hochstadt
16c152e5a4 revert all of the interning changes since they didn't work 
svn: r17262
 2009-12-10 17:15:17 +00:00
Sam Tobin-Hochstadt
cd0a94d465 sync to trunk 
svn: r17249
 2009-12-09 19:44:12 +00:00
Sam Tobin-Hochstadt
be77cee733 Fix parsing of quoted lists in types to produce list types. 
svn: r17237
 2009-12-07 15:50:51 +00:00
Sam Tobin-Hochstadt
eae4c140fa conversion to contracts for optional keywords 
svn: r17236
 2009-12-07 15:34:54 +00:00
Sam Tobin-Hochstadt
70f085713d PR 10647 
svn: r17235
 2009-12-07 13:55:36 +00:00
Sam Tobin-Hochstadt
76b10347da Support some keyword arguments in type parsing/type->contract. 
svn: r17189
 2009-12-05 00:48:46 +00:00