Commit Graph

17 Commits

Author SHA1 Message Date
Vincent St-Amour
999ff9ebfa Documented the for: macros.
original commit: 046d95293ac806e628bc804548cf3189598959d1
2010-05-28 19:05:44 -04:00
Sam Tobin-Hochstadt
3257de4bff Document Exact-Nonnegative-Integer
original commit: e6d85175f3713d7e65bdc0219853ff43a94f3e48
2010-05-22 18:03:18 -04:00
Sam Tobin-Hochstadt
87ff7915f6 Documentation for heterogenous vectors.
Closes PR 10291.

original commit: 756bcc8a5e6509b2729ecfb5a20fed448224381f
2010-05-19 11:08:28 -05:00
Sam Tobin-Hochstadt
3dfdcf9722 fix `implied-atomic?'
original commit: b1a49470eeaae287a8b2754308c476c3257434af
2010-05-10 11:51:18 -04:00
Sam Tobin-Hochstadt
1da306516a rackety TS docs
original commit: 9ccd44e8fd023e6e607233cd46dfae31f90679d3
2010-05-09 12:35:59 -04:00
Sam Tobin-Hochstadt
80e644c20d produce the correct type
original commit: 62af50867a825aab3572a442276921b205180a3a
2010-05-05 17:50:20 -04:00
Sam Tobin-Hochstadt
7d53ae96a1 doc fix
original commit: 4183a3f32a254897d956f607a8b092767d098885
2010-05-04 19:47:37 -04:00
Sam Tobin-Hochstadt
2addf717a0 rename to rkt
original commit: 459a675b90443b59e46bccae476a6f040fa8434d
2010-04-30 09:51:32 -04:00
Matthew Flatt
94184a7671 rename all files .ss -> .rkt
original commit: 28b404307793f041bb3363135a2968e283855318
2010-04-27 16:50:15 -06:00
Sam Tobin-Hochstadt
e1c724381b fix doc bugs reported by danny
svn: r18765

original commit: 24ad4005e802bca01e540f38aa6ea49fe7c3cfb6
2010-04-08 20:11:39 +00:00
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