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

83 Commits

Author SHA1 Message Date
Vincent St-Amour
ed0cd8f898 Add types for #%kernel's memq, memv and member. 
original commit: 0951ad5b1bd494d63dd9c7eb372dff043de8bb6c
 2011-07-29 13:43:11 -04:00
Vincent St-Amour
fcfa476f15 Add a type for #%kernel's reverse. 
Present in the expansion of for/list.

original commit: 88a3d93e9e93118a57a25c5da0b392763552a3bd
 2011-07-29 12:54:29 -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
4f8a856630 Handle desired types being outside of the function's range. 
original commit: fae966146fbb6a40973d22b88fa6e480db6cde41
 2011-07-21 17:06:03 -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
18a8bdbca5 Fix :print-type to use tc-setup. 
original commit: 51b98138d5f15ec31bbca0f2e9d5640046ce19d8
 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
Eric Dobson
703eac8bd5 Fixed types for path operations. Closes PR12057. 
original commit: a7f0f7591d17558ed17644fadb89ad01216fd77a
 2011-07-19 16:47:13 -04:00
Eric Dobson
c6af28ff8d Fix kernel-struct tests in TR. 
original commit: e6030295fff3c50dd66ddcd6d1d39a5b8ea18247
 2011-07-14 17:06:52 -04:00
Eric Dobson
aa247c5d10 Fixed require typed struct 
original commit: abc8e514d9bb9e054c5a9083b47f7351899621a2
 2011-07-14 17:06:52 -04:00
Sam Tobin-Hochstadt
27a2086b33 Add types for `check-in-{port,bytes,bytes-lines}'. 
original commit: 49444460d5f0280336e47d0cdd1abc1a5e81ff90
 2011-07-07 14:24:28 -04:00
Vincent St-Amour
3f2a0df532 Recognize multiple argument types for flvector accessors. 
With only Integer possible as type for the index argument, Integer was
used as expected type, and any information we had about the argument
(sign, range, etc.) was lost.

original commit: 7debd466211150c58f6554dde95521ad75fc86b5
 2011-07-06 18:09:31 -04:00
Vincent St-Amour
7761a92cca Move flvector types with other indexing functions. 
original commit: d75d6c7ee4e0cabee27689353041387a1512ed48
 2011-07-06 18:09:30 -04:00
Eric Dobson
9e1e05efad Correctly require/typed structs with parents. Closes PR11509. 
original commit: 805e1fb309487ba8903b84e27b575fea485b8748
 2011-07-05 11:25:10 -04:00
Eric Dobson
1c0f8a6df8 Add types for kernel struct constructors. 
original commit: 046d4769704809840c3850b501ec378cdbcdf7e7
 2011-07-05 11:25:10 -04:00
Eric Dobson
27265fe60e Don't export required bindings with all-defined-out and require/typed. 
Closes PR11425.

original commit: 44396383088e8bcebd33f6ee92013c6ae9751685
 2011-07-01 16:06:15 -04:00
Vincent St-Amour
0fa93ae065 Remove trailing whitespace. 
original commit: 43efe6adf01c5ee7f7b63eebd46c85ce38eff97b
 2011-06-30 14:01:47 -04:00
Eric Dobson
e8448f596c Changed order of imports in require/typed to order written. 
Closes PR11193.

original commit: b5e451575208e242631b25e85ffef35112903d0d
 2011-06-30 14:01:47 -04:00
Matthew Flatt
5fb4f1af3a remove syntax certificates; add syntax taints 
original commit: 1160d3df629ce65eb8fe9ebea2c33b8d4000ea50
 2011-06-29 19:15:48 -06:00
Eric Dobson
65638b0d8b Cleaned up define-struct: and struct:. 
original commit: 9721409b3994697444078d228c3208af7f484ee2
 2011-06-29 17:38:05 -04:00
Eric Dobson
00e5ce0357 Added legacy support for require/typed and require-typed-struct. 
Added FIXME for duplicated code.

original commit: e87ff268c2b8e19904c396640598ca00df475158
 2011-06-29 17:38:05 -04:00
Eric Dobson
c3ca0bbda9 Cleaned up define-typed-struct-internal and require/typed. 
Also fixed a test for require/typed.

original commit: ecaf5f40a0220b06fdf747e3baefe6d05ae69cf0
 2011-06-29 17:38:05 -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
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
Eric Dobson
9252ba3bc3 TR: Added tests for new identifiers and export type names. 
original commit: 0f0b9ebc7a01df4e4d7c079040b0ab0ddaaa05a9
 2011-06-24 20:10:37 -04:00
Eric Dobson
6f2514ccd0 Added types for many miscellaneous operations. 
Including Places, Wills, Semaphores, Psuedo-Random-Generators,
Byte-Converters, Loggers, Promises and Structure-Type-Properties.

original commit: b88d85f79a2053066609f272e22b707221abd571
 2011-06-24 20:10:37 -04:00
Eric Dobson
f09ea1f806 Add types for evaluation and compilation operations. 
original commit: 41e23fee696fcdf6e069713b300cc05b7c742620
 2011-06-24 20:10:37 -04:00
Eric Dobson
142f207f24 Added types for security operations. 
original commit: 8a6770735320db21d45fc543da5781918807f66e
 2011-06-24 20:10:37 -04:00
Eric Dobson
05e3f8859b Added types for subprocess operations. 
original commit: 20ed3b809669a93191776067d4c83f3562699aef
 2011-06-24 20:10:37 -04:00
Eric Dobson
a8af94e892 Added types for dynamic module access operations. 
original commit: 1a44a82868f662c067fe3823d3be852fa03da977
 2011-06-24 20:10:37 -04:00
Eric Dobson
be93d9c98f Added types for continuation prompt and mark operations. 
original commit: 78b68171ea06378788271ca87fbdd126f19202b9
 2011-06-24 20:10:37 -04:00
Sam Tobin-Hochstadt
fc51aee0b1 Provide `with-handlers' from prims.rkt under its real name. 
original commit: c658a5687e0f9b9fdde8ae2dfbd9fda334fe9358
 2011-06-24 18:10:25 -04:00
Eric Dobson
76edce6f07 Change Module-Path to be union type instead of a Base type. Closes PR 11963. 
original commit: 42415575438236d0fcd900ce1ab854ed8aa256e0
 2011-06-23 10:05:36 -04:00
Asumu Takikawa
e9d31e83fb Add negate (racket/function) to TR 
original commit: 122aed89700b80eb9c9acde8750175cc21eda6b4
 2011-06-22 16:04:19 -04:00
Asumu Takikawa
ee25931548 Add identity (from racket/function) to TR 
original commit: 05a5c162310ef5afb07fffd118386be74d9a73bf
 2011-06-22 16:04:19 -04:00
Eric Dobson
3919eabd09 TR: Added more tests for recently typed identifiers. 
original commit: 16ee3376f759bf43538e7988b53dc82c399bdec8
 2011-06-22 15:17:58 -04:00
Eric Dobson
5ddf7d06e2 TR: Added some syntax and set tests. 
original commit: f5a7e73be82d0dcac4b7627fc81c69a8d49bf1e3
 2011-06-22 15:17:57 -04:00
Eric Dobson
f1234fc2e1 Added tests for filesystem operations, and added public type names. 
original commit: f5517367e5413f089f402c85bc5ae472b3d9d314
 2011-06-22 15:17:57 -04:00
Eric Dobson
018ff1814a Fixed and cleaned up some types. 
original commit: dedd42a9ddaa773eb983e4c740ceebd9c52bae1d
 2011-06-22 15:17:57 -04:00
Eric Dobson
dca276b517 Added types for tcp and udp operations. 
original commit: 7803aed77bcabee4ef35ef82daa1642d50fbb67d
 2011-06-22 15:17:57 -04:00
Eric Dobson
96835b9205 Added types for syntax operations. 
original commit: 85b19e9fee1fe2f0364ac23fe45e0dcf18afa85d
 2011-06-22 15:16:56 -04:00
Eric Dobson
b3f46c1cdc Added types for environment and runtime operations. 
original commit: ad247b28b62260441ae22702d9ed6cd604b0c8da
 2011-06-22 15:16:56 -04:00
Eric Dobson
e814d4df15 Added types for file operations. 
original commit: ae26c2173dd1a0f2808b2a4bc7882ebca95f4884
 2011-06-22 15:16:55 -04:00
Eric Dobson
121ad5427d TR: Many small type changes. 
original commit: 329b209f3bba1cdd43df3fc5cd42297d1308a8b4
 2011-06-22 15:16:55 -04:00
Eric Dobson
dd401a6f98 Added types for namespace and variable reference operations. 
original commit: 4f898865fd856d92b040336d7eda1cdfd5afe253
 2011-06-22 15:16:55 -04:00
Eric Dobson
7dbfd5ad2a Added types for hash and set operations. 
original commit: 7102c4dae2ba9af44d0ed35ec6e5285a7a825034
 2011-06-22 15:16:55 -04:00
Eric Dobson
1f387b8678 Added types for parameters and parameterization operations. 
original commit: 469f0a5314d1ff1348bb8fe3e4d4d45fda0387b9
 2011-06-22 15:16:55 -04:00