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

99 Commits

Author SHA1 Message Date
Vincent St-Amour
bae88339d9 Change the logging level for the optimizer logs. 
original commit: feefa31401e4eccc7fbe2e60fd018e830f019254
 2011-09-01 18:49:49 -04:00
Sam Tobin-Hochstadt
d72477beaf Fix typo. 
Reported-By: Shriram Krishnamurthi <sk@cs.brown.edu>

original commit: 8a4aee886502f4843ef8225784363841b32c92dd
 2011-08-29 12:08:13 -04:00
Sam Tobin-Hochstadt
2f118dc0f8 Improve formatting of reference docs for reader abbreviations. 
original commit: d000567b7959659e5aea78cbc65369d0083616e6
 2011-08-29 12:08:13 -04:00
Sam Tobin-Hochstadt
c937f35913 Revise `require/typed' docs. Closes PR 11890. 
original commit: 760625c031b0967260d1ff5816affb3a830ae2fb
 2011-08-25 14:10:05 -04:00
Sam Tobin-Hochstadt
2559ae0055 Simplify definition of (legacy) `typed-scheme' language. 
original commit: 5870fec9c9b88e31d915b26d900a8ff6479edfc8
 2011-08-16 14:54:46 -04:00
Sam Tobin-Hochstadt
7ecdc4eff3 Document typed/scheme' versions of require/typed' and `require-typed-struct'. 
original commit: 39459ec9c4f16568b0c7bf2dd6bfec96b0ef4688
 2011-08-16 12:07:53 -04:00
Vincent St-Amour
c3a9c07979 Add for*/sum: and for*/product: to TR. 
These currently don't play nice with inference, so they only work in
limited cases.

original commit: 5b22dfb6b0d329af5c2cd78a1652431de29fe739
 2011-07-29 12:54:29 -04:00
Vincent St-Amour
fea766dfbb Add for/sum: and for/product: to TR. 
original commit: 6a8011854be3c67dc9fe0f3b1e7ba119a28500bd
 2011-07-29 12:54:29 -04:00
Vincent St-Amour
e5ba187ea1 Add a function to query how to get a given return type from a function. 
original commit: c0d0211ebbf209b7b17aaa54f48c13ca65eab345
 2011-07-21 17:06:03 -04:00
Vincent St-Amour
c877e22a1b Document how to start a TR REPL from the command line. 
original commit: a71db7c15cd32222cb123024fc2af2fca43c9e74
 2011-07-21 17:06:03 -04:00
Vincent St-Amour
9fdfbb934d Add a function to print whole types. 
With this, it's possible to get more information than the simplified
types shown at the REPL. The types are as unwieldy as ever, but you
have to ask for them explicitly.

This is not an adequate long-term solution, and will be replaced by a
"Type Explorer" tool.

original commit: 70e1d63bed2ac85313d048cc9c359ae43330a7e3
 2011-07-21 17:06:02 -04:00
Vincent St-Amour
838c70ac6a Change a TR doc example to take two arguments. 
Otherwise, the docs don't have any examples for the syntax of
multi-argument functions that doesn't involve polydots.

original commit: 4c5bb1ddaf68ea8982d4ea635f7b20563af371b0
 2011-07-18 11:53:39 -04:00
Vincent St-Amour
6b9f7dca85 Document Performance Report. 
original commit: f632aa52dd083b649ad019e3728b6f1d9ee08bf6
 2011-07-15 15:04:58 -04:00
Eric Dobson
1e46426c15 Document legacy form 'values'. Closes PR1145. 
original commit: 30058a5a2404cfc9bdb9e5f99219f3c0f5a51bcf
 2011-07-14 17:06:52 -04:00
Ryan Culpepper
65499a3107 docs reorganization 
added tutorial, racket categories
  relabeled some other categories
  normalized manual names: de-bolded, changed some names

original commit: 1b702a2ae32aba835f7467ced6b203902db0ccd9
 2011-07-01 17:16:53 -06:00
Stevie Strickland
3d15ead6b5 Use fold-left instead of map for an example of a nonuniform vararg function. 
Fixes PR12014.

original commit: 4f761ddb2f44f4cd4961984c8c2cb65fa39f71ae
 2011-07-01 12:00:35 -04:00
Vincent St-Amour
0fa93ae065 Remove trailing whitespace. 
original commit: 43efe6adf01c5ee7f7b63eebd46c85ce38eff97b
 2011-06-30 14:01:47 -04:00
Eric Dobson
a5d5be4f95 Added support for configurable constructor names in require/typed. 
Closes PR11171. Closes PR11194. Closes PR11314.

original commit: f3692eae29d7b0582eb90cc4768786688b8ca438
 2011-06-29 17:38:05 -04:00
Eli Barzilay
52bad5959a A long overdue scan to eliminate files without terminating newlines. 
(DrRacket should really do that.)

original commit: 40124a0619da5e187d95aeb1dde237f05d6f9c6b
 2011-06-28 02:01:41 -04:00
Eli Barzilay
1303c1ff46 A ton of @scheme*' -> @racket*' and related updates. 
Also, updates some of the mzlib files to point at `racket/*' libraries
rather than to `scheme/*' ones.

original commit: ac26fe75546b5182d78f18c2cd882f0f440849e2
 2011-06-25 04:08:47 -04:00
Sam Tobin-Hochstadt
079a86457d Rename to follow TR naming conventions. 
original commit: f6be5447dd7beb2a3bc769c35c9d3d5f8d2baf61
 2011-06-24 20:20:53 -04:00
Eric Dobson
91fea80cb6 Documented new types and minor corrections. 
original commit: e4bb1ba7d980e429f45037b4a26860b302394cd1
 2011-06-24 20:10:37 -04:00
Sam Tobin-Hochstadt
e163a57a2a Document #% forms. 
original commit: 9dde2a6d39a8e80a48425571cc1cc0f1a0672406
 2011-06-22 14:28:52 -04:00
Sam Tobin-Hochstadt
bbef260e76 Fix missing documentation of alias forms. 
original commit: d8c972734d2006a6f6b65cb328815c241b26cf76
 2011-06-21 15:34:50 -04:00
Vincent St-Amour
d54c43282b Add a section on performance debugging to the TR guide. 
original commit: f9205665e4e1af4808e3080592968d3b43500383
 2011-06-17 18:18:04 -04:00
Vincent St-Amour
a54a51ba07 Change examples to use prettier types. 
original commit: 7a4bd387ccbd6a95b16bd6c6c810d9ddf8a537ad
 2011-06-14 17:53:28 -04:00
Vincent St-Amour
5f548fa452 Tidy up TR reference. 
original commit: d43c8fc406e03532a65a7b2f6df85e6199dc1fc6
 2011-06-14 17:53:28 -04:00
Vincent St-Amour
bdd8420389 Add note about optimizing structs to the TR docs. 
original commit: 1cf57b893c2cd863cc40a3d9fc6d1ced0b598436
 2011-06-14 17:53:28 -04:00
Vincent St-Amour
51275863c0 Add missing word. 
original commit: e3274a3cf789ea76ba0e5f998c9e34adc42f3cb5
 2011-06-14 17:53:28 -04:00
Vincent St-Amour
170c91f43e Split the TR reference into multiple pages. 
original commit: 52e14362b592e333e133c5285a7e4e0eedab0505
 2011-06-14 17:53:28 -04:00
Vincent St-Amour
c0f84549b0 Reorganize TR docs directory. 
original commit: 589f42feb1bac61347b17d17e894dab117e74cf4
 2011-06-14 17:53:27 -04:00
Vincent St-Amour
bbe201f593 Add myself to the TR doc author list. 
original commit: b835e8a75b0938de7815ecdba69f93c118090635
 2011-06-14 17:53:27 -04:00
Vincent St-Amour
a2735fa92a Document optionality of type annotations for the for: macros. 
original commit: a1787cede41d7c78ac2c170c426d7d27b9638a77
 2011-06-14 17:53:27 -04:00
Vincent St-Amour
2b2d52e646 Fix documentation of the for: macros. 
original commit: d732c12b96bfbf4edee14e4ea9b379ef2b7fc81d
 2011-06-07 21:15:17 -04:00
Eli Barzilay
f936f3560d Fix TR docs wrt to `racket/function' change, close evaluators, fix 
copy/paste typo in `thunk' docs.

original commit: 40a88b6037296c44dfafc98a495e3a29825e2c88
 2011-06-07 13:07:46 -04:00
Matthew Flatt
e84e73f07b adjust Guide to warn about performance measurement in DrRacket 
original commit: 00e17ab51f0e18be86016d7cbf82a26146eefc2a
 2011-05-24 08:02:09 -06:00
Vincent St-Amour
a8cbaeba8c Fix TR documentation to use the new location of base env files. 
original commit: b65054134acccced580f16383920a479b6cb26e9
 2011-05-17 18:30:54 -04:00
Sam Tobin-Hochstadt
8fc12be2c4 Include extra-procs in the #:use-sources. 
original commit: 507db7e5a64c3410d56f4e60e0ab6c5150d66b60
 2011-05-05 19:04:38 -04:00
Sam Tobin-Hochstadt
b55c9dfa2b Document utility predicates. 
original commit: 045fd7a77c814016739020a7eedaac1ad03d4795
 2011-05-03 08:15:37 -04:00
Sam Tobin-Hochstadt
acf8e410c8 Document many more numeric types, and fix documentation for `typed/scheme' etc. 
original commit: 551ad63f4e2bffb717abd645265c7f45a03362e4
 2011-04-29 13:27:38 -04:00
Sam Tobin-Hochstadt
2ab36e790f Document a bunch of TR types and special forms. 
original commit: 6a87483f38214ab4efe00188a31b671d8551c4b7
 2011-04-28 18:26:07 -04:00
Sam Tobin-Hochstadt
aa2bbc255d Progress on missing docs. 
original commit: c28f024ae05ef276c9bf2e5ad5ddea45462ac3ff
 2011-04-28 18:25:22 -04:00
Vincent St-Amour
e24955b66a Add set types to TR. 
Original patch by Eric Dobson.

original commit: 632e36f751ea454874548cdb62d6cb73694c773d
 2011-04-28 18:22:39 -04:00
Carl Eastlund
fca7f32a50 Added Typed Racket reference subsection for syntax object(-related) types: 
Syntaxof, Syntax, Identifier, Syntax-E, Sexpof, Sexp, and Datum.

original commit: 943c1bd6b5a18fce0448a1d988d222b845364b83
 2011-04-27 16:46:20 -04:00
Sam Tobin-Hochstadt
1185be8b1f Fix undocumented binding. 
original commit: 295cb191cffbfdf0cc4bfd3840994d45cef9747c
 2011-04-21 12:23:44 -04:00
Hari Prashanth
c5bfe38e87 Added some examples to to the TR reference docs. 
Signed-off-by: Sam Tobin-Hochstadt <samth@racket-lang.org>

original commit: 7934ac3461830df81836dfd8113e1b2e7a915a1a
 2011-04-18 15:41:50 -04:00
David Van Horn
774c62bda5 Fixed various spelling errors. 
original commit: c9519fd11300b07292df8619e86f48533eff6e4d
 2011-02-03 17:42:33 -05:00
Vincent St-Amour
4c5e687ec1 Document the Path-String type. 
original commit: 3c081d8fa7ed9f7328d6f9acffda4ef591da4e47
 2011-02-01 18:00:26 -05:00
Vincent St-Amour
8542bc4073 Edit TR's optimizer's docs to reflect that Float-Complex is the only 
complex type that can be optimized.

original commit: 5dbc752542ec6dec03fb4060ecff16a8cfb5a095
 2011-01-31 16:39:15 -05:00
Vincent St-Amour
6473431d0d Documented opt-lambda: and popt-lambda:. 
original commit: 4b3e621d0ff54671befe96bff3c49109128e8861
 2011-01-31 16:39:12 -05:00