Stevie Strickland
78214ab410
Correct with-type so it handles result types of the form (values t ...).
...
svn: r18531
original commit: 7b831e86a6e70edafb2993f3169d891d27fa5d77
2010-03-14 02:32:20 +00:00
Sam Tobin-Hochstadt
b207bb9c0f
update docs to use `define-type'
...
document `define-predicate'
svn: r18498
original commit: 24b9078560d936d046fe14b3198432a3f64cbd1c
2010-03-10 00:17:33 +00:00
Sam Tobin-Hochstadt
008ecc173f
fix doc typo
...
svn: r18417
original commit: 079c430e89846fda4e6925abda664300d1142572
2010-03-01 22:32:48 +00:00
Sam Tobin-Hochstadt
b0a1fde7aa
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
original commit: 78c14e434b7f6dffc6c404d090b449b097e96cfb
2010-03-01 22:31:24 +00:00
Stevie Strickland
a92cd6cdce
Add `unregister-type'
...
Add type regions.
Untyped lexical vars not an internal error.
svn: r18374
original commit: 8e3a67936eeb14fc08279a075966f93e35209f23
2010-02-27 01:26:16 +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
0a8b1acb6f
work on new guide
...
svn: r17814
original commit: e65535c88037da8c21876c9c4a7fcd62efdbe9d4
2010-01-25 15:36:56 +00:00
