Sam Tobin-Hochstadt
|
b020c8dc21
|
fix some unfortunate bugs
svn: r18433
|
2010-03-02 20:37:36 +00:00 |
|
Sam Tobin-Hochstadt
|
65b12a2af3
|
Use `current-contract-region' appropriately.
Maintain source locations.
Fix PR 10776.
svn: r18421
|
2010-03-01 23:43:15 +00:00 |
|
Sam Tobin-Hochstadt
|
3ea26dee84
|
Re-enable printing
svn: r18420
|
2010-03-01 22:56:03 +00:00 |
|
Sam Tobin-Hochstadt
|
33db456f9e
|
fix PR 10735
svn: r18419
|
2010-03-01 22:51:42 +00:00 |
|
Sam Tobin-Hochstadt
|
12257912e3
|
Fix bug 10763.
svn: r18418
|
2010-03-01 22:48:11 +00:00 |
|
Sam Tobin-Hochstadt
|
079c430e89
|
fix doc typo
svn: r18417
|
2010-03-01 22:32:48 +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
|
144a25ffd4
|
whoops
svn: r18364
|
2010-02-26 21:04:00 +00:00 |
|
Sam Tobin-Hochstadt
|
5d3e46bb2f
|
fix no-check
svn: r18362
|
2010-02-26 20:50:14 +00:00 |
|
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 |
|