Sam Tobin-Hochstadt
|
d06b3ed1df
|
add inst to no-check
svn: r18357
|
2010-02-26 19:59:40 +00:00 |
|
Sam Tobin-Hochstadt
|
013b12b19d
|
fix obvious bug pointed out by noel
svn: r18351
|
2010-02-26 15:15:43 +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
|
08e10674ea
|
new TS guide
svn: r18309
|
2010-02-23 22:09:40 +00:00 |
|
Sam Tobin-Hochstadt
|
1616e27b4b
|
fix comment, add test
svn: r18307
|
2010-02-23 21:36:53 +00:00 |
|
Sam Tobin-Hochstadt
|
f2ee3aa7b6
|
Fix bad hashtable type inference.
svn: r18284
|
2010-02-23 02:05:40 +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 |
|
Carl Eastlund
|
1d6111c532
|
Renamed simple-contract and simple-flat-contract to make-contract and make-flat-contract.
svn: r18259
|
2010-02-22 02:51:16 +00:00 |
|
Sam Tobin-Hochstadt
|
33c18b3985
|
providing static struct information to untyped code works
svn: r18198
|
2010-02-19 23:27:06 +00:00 |
|
Stevie Strickland
|
de859a8879
|
Fix up Sam's use of make-provide/contract-transformer after Robby's change
to it for bug 10645.
svn: r18195
|
2010-02-19 21:57:03 +00:00 |
|
Sam Tobin-Hochstadt
|
d9f24d94e7
|
disable contracts
svn: r18156
|
2010-02-18 21:25: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
|
e99b1d028c
|
Fix printing of `Number' - reported by Noel.
Provide `assert' from `typed/scheme'
svn: r18062
|
2010-02-12 15:49: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
|
39a8c288ec
|
Better error message when definition is missing. Fixes PR 10751.
svn: r18042
|
2010-02-10 20:32:53 +00:00 |
|
Sam Tobin-Hochstadt
|
2276cb10d5
|
Fix subtyping for keywords.
svn: r18025
|
2010-02-08 23:03:55 +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 |
|
Carl Eastlund
|
fe40d3e888
|
Merged changes from trunk.
svn: r18007
|
2010-02-06 19:23:24 +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 |
|
Eli Barzilay
|
c88a5a6856
|
A bunch of additional typos
svn: r17976
|
2010-02-05 03:21:52 +00:00 |
|
Carl Eastlund
|
2e3ea3d0de
|
Merged latest changes from the trunk.
svn: r17974
|
2010-02-05 02:41:24 +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
|
9939f4b619
|
Stop using eq? for types.
More contracts.
Fix some contract errors.
svn: r17943
|
2010-02-02 18:09:25 +00:00 |
|
Sam Tobin-Hochstadt
|
8b120675bc
|
most of the way to real printing
svn: r17935
|
2010-02-02 01:24:06 +00:00 |
|
Sam Tobin-Hochstadt
|
94029a06c9
|
Progress on Rep.
svn: r17924
|
2010-02-01 15:51:32 +00:00 |
|
Carl Eastlund
|
2513e7d6e0
|
Merged changes from the trunk.
svn: r17892
|
2010-01-30 04:59:20 +00:00 |
|
Sam Tobin-Hochstadt
|
9789615ed9
|
merge to trunk
svn: r17877
|
2010-01-29 00:08:15 +00:00 |
|
Sam Tobin-Hochstadt
|
bbc195c0fb
|
progress on refactoring rep
svn: r17875
|
2010-01-28 21:47:05 +00:00 |
|
Sam Tobin-Hochstadt
|
af2ef07d05
|
Fix the handling of with-handlers that returns multiple values
svn: r17823
|
2010-01-25 19:51:16 +00:00 |
|
Sam Tobin-Hochstadt
|
c9b246a8d2
|
use syntax-parse
support #:predicate option to `define-typed-struct-internal'
svn: r17822
|
2010-01-25 19:35:56 +00:00 |
|
Sam Tobin-Hochstadt
|
bb541fd03f
|
Improve `internal-forms'
First step to custom predicates in `define-typed-struct-internal'
svn: r17820
|
2010-01-25 18:38:56 +00:00 |
|
Sam Tobin-Hochstadt
|
e493ba5c6a
|
improve internal error messages
svn: r17819
|
2010-01-25 17:23:19 +00:00 |
|
Sam Tobin-Hochstadt
|
674e40a212
|
Re-enable unexpanded syntax printing. Merge to release.
svn: r17815
|
2010-01-25 15:44:48 +00:00 |
|
Sam Tobin-Hochstadt
|
e65535c880
|
work on new guide
svn: r17814
|
2010-01-25 15:36:56 +00:00 |
|
Sam Tobin-Hochstadt
|
e071050f7f
|
new doc branch
svn: r17813
|
2010-01-25 14:48:11 +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 |
|
Carl Eastlund
|
7f58c26709
|
Replaced uses of quote-srcloc with quote-syntax.
svn: r17757
|
2010-01-19 23:25:07 +00:00 |
|
Carl Eastlund
|
87645ebd11
|
Updated typed scheme to use a module path for blame.
svn: r17754
|
2010-01-19 10:44:27 +00:00 |
|
Carl Eastlund
|
9e540043bc
|
Updated local-expand of contract forms in require/contract.
svn: r17725
|
2010-01-19 00:20:54 +00:00 |
|