suzanne.soy/typed-racket
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
1,245 Commits 13 Branches 1 Tag 9.2 MiB
ae11f47dbd
Commit Graph

42 Commits

Author SHA1 Message Date
Vincent St-Amour
ae11f47dbd Fixed a dangling link in the doc. 
original commit: 11e168f01eecd7b39228d5399e045510d6349e01
 2010-09-07 16:57:02 -04:00
Vincent St-Amour
0df6f293ce Added the fixnum types to the documentation. 
original commit: 440871f99d8edc425f633e87555c9f4d110c501d
 2010-09-07 16:57:02 -04:00
Vincent St-Amour
6e2563c2a9 Documented with-asserts. 
original commit: 63530ed74df880b55b4dc85398181fb2925e6947
 2010-08-26 17:46:58 -04:00
Vincent St-Amour
f2b9a8fe2c Documented TR's behavior when mixing exactness. 
original commit: cf692e986d2a3690260884d929daae321d21eeb3
 2010-08-13 18:48:32 -04:00
Vincent St-Amour
da31c3f9a2 Documented TR's behavior on literals. 
original commit: 201aaa9090b3aeedc0454bdd575565f8764ef2c8
 2010-08-06 12:21:50 -04:00
Vincent St-Amour
5b89be655b Added technical term links to the optimizer documentation. 
original commit: 5fa6b1c1391b80eb3a9cb9a7823780359cc91d73
 2010-08-03 14:57:42 -04:00
Vincent St-Amour
6e1c0a9ca5 Added a link to the optimization guide in the TR reference. 
original commit: 82f976a4d9c94d880a817a8a70b99f8673d01616
 2010-08-02 21:33:31 -04:00
Vincent St-Amour
83c6f99041 Documented the optimizer. 
original commit: cb516081c742cfeb04d754d4925389de33319cd7
 2010-08-02 21:33:30 -04:00
Sam Tobin-Hochstadt
875e95973a Remove obselete docs. 
Add docs for legacy forms.

original commit: 39c2359006e2cc5da862d50b6d45e38bcf8cd72f
 2010-08-02 17:23:01 -04:00
Sam Tobin-Hochstadt
2c1f173d62 define-struct:' -> struct:' in docs. 
Fix typo.

original commit: 1ce4040cd299de6c837c81b872a3b722b42c9635
 2010-08-02 16:59:37 -04:00
Vincent St-Amour
eb5e5f55d6 Documented the optimizer. 
original commit: 8d6230956dc8c207c097a389fa1f0c7273bb55b7
 2010-07-16 19:08:18 -04:00
Sam Tobin-Hochstadt
b4e86dc502 Use `define-type' to make docs clearer. 
original commit: da3b4ed543ec9ca9aa3b114f4da44d12af4a60e7
 2010-07-02 17:25:07 -04:00
Vincent St-Amour
6dd9ffd727 Added the Nonnegative-Float type. 
original commit: 62a15df3eb2fd7dc5a8ef2455c0f20918697a668
 2010-06-30 14:53:22 -04:00
Vincent St-Amour
b7d9ed75e2 Added the Inexact-Complex type. 
original commit: dcfb2d8a94b1359217b9451b7a97d4afa425a6da
 2010-06-30 14:53:21 -04:00
Vincent St-Amour
c6a22a53f4 Fixed the type of min and max to only operate on reals. 
original commit: ef576e27c5187783648209c55d4ca211ff693e05
 2010-06-30 14:53:20 -04:00
Sam Tobin-Hochstadt
7341d85d62 Remove bogus reference to 'sexpression', add docs for Sexp type, don't use Sexp where inappropriate 
original commit: 26e73cf61d80636246dd0bf5912b7670c30698d6
 2010-06-28 11:12:21 -04:00
Sam Tobin-Hochstadt
8869cd4d22 Add `struct:' 
original commit: 6e1954d79b520fefd21abe81d06fe615e056ac93
 2010-06-22 16:29:35 -04:00
Sam Tobin-Hochstadt
eb621217bc Docs for List x ... 
original commit: 4df7d09ef1933fc128737ad3d29b61428d80b70b
 2010-06-21 18:30:30 -04:00
Sam Tobin-Hochstadt
ae851e41cd Allow (All (A) A -> A), dropping pair of parens. 
original commit: d4d286d31dce759129c372c9e42bfb37300bf167
 2010-06-13 14:38:03 -04:00
Sam Tobin-Hochstadt
c6730fa63b Fix grammar for rest args in lambda:. 
Closes PR 10976

original commit: c2ac8046c45d4e807fb623f2048a4dbfabb6300d
 2010-06-13 14:34:16 -04:00
Sam Tobin-Hochstadt
9aef73b980 Fix promise printing, add docs. Closes PR 10968. 
original commit: 0149a05719fdb1fbab56d231905f088bb13b4252
 2010-06-09 16:56:31 -04:00
Sam Tobin-Hochstadt
5b0fec235c Improve TS reference docs 
- lots of examples
 - reorganize type listing
 - add Zero type

original commit: 315156612505bb7f666da0b1eacdbe6dce1705aa
 2010-06-09 15:44:46 -04:00
Vincent St-Amour
c689b7d3e6 Added tests and documentation for Thread and Channel types. 
original commit: 6b4ca4d7b05ca42527788049a8bf20e322da889d
 2010-06-09 14:54:37 -04:00
Sam Tobin-Hochstadt
ee7d9e61dd typed/racket/no-check 
original commit: 30fe053f7842c14bf0e0471a69b3105f41903bee
 2010-06-09 12:51:27 -04:00
Sam Tobin-Hochstadt
4347da736b document `assert' 
original commit: ed5b10afd20f455964445a6eee56a0142bdc2167
 2010-06-09 12:20:39 -04:00
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