suzanne.soy/racket
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
21,342 Commits 17 Branches 54 Tags 278 MiB
a14723f27a
Commit Graph

58 Commits

Author SHA1 Message Date
Sam Tobin-Hochstadt
f6be5447dd Rename to follow TR naming conventions. 2011-06-24 20:20:53 -04:00
Eric Dobson
e4bb1ba7d9 Documented new types and minor corrections. 2011-06-24 20:10:37 -04:00
Eric Dobson
0f0b9ebc7a TR: Added tests for new identifiers and export type names. 2011-06-24 20:10:37 -04:00
Eric Dobson
b88d85f79a Added types for many miscellaneous operations. 
Including Places, Wills, Semaphores, Psuedo-Random-Generators,
Byte-Converters, Loggers, Promises and Structure-Type-Properties.
 2011-06-24 20:10:37 -04:00
Eric Dobson
41e23fee69 Add types for evaluation and compilation operations. 2011-06-24 20:10:37 -04:00
Eric Dobson
8a67707353 Added types for security operations. 2011-06-24 20:10:37 -04:00
Eric Dobson
20ed3b8096 Added types for subprocess operations. 2011-06-24 20:10:37 -04:00
Eric Dobson
1a44a82868 Added types for dynamic module access operations. 2011-06-24 20:10:37 -04:00
Eric Dobson
78b68171ea Added types for continuation prompt and mark operations. 2011-06-24 20:10:37 -04:00
Sam Tobin-Hochstadt
c658a5687e Provide `with-handlers' from prims.rkt under its real name. 2011-06-24 18:10:25 -04:00
Eric Dobson
4241557543 Change Module-Path to be union type instead of a Base type. Closes PR 11963. 2011-06-23 10:05:36 -04:00
Asumu Takikawa
122aed8970 Add negate (racket/function) to TR 2011-06-22 16:04:19 -04:00
Asumu Takikawa
05a5c16231 Add identity (from racket/function) to TR 2011-06-22 16:04:19 -04:00
Eric Dobson
16ee3376f7 TR: Added more tests for recently typed identifiers. 2011-06-22 15:17:58 -04:00
Eric Dobson
f5a7e73be8 TR: Added some syntax and set tests. 2011-06-22 15:17:57 -04:00
Eric Dobson
f5517367e5 Added tests for filesystem operations, and added public type names. 2011-06-22 15:17:57 -04:00
Eric Dobson
dedd42a9dd Fixed and cleaned up some types. 2011-06-22 15:17:57 -04:00
Eric Dobson
7803aed77b Added types for tcp and udp operations. 2011-06-22 15:17:57 -04:00
Eric Dobson
85b19e9fee Added types for syntax operations. 2011-06-22 15:16:56 -04:00
Eric Dobson
ad247b28b6 Added types for environment and runtime operations. 2011-06-22 15:16:56 -04:00
Eric Dobson
ae26c2173d Added types for file operations. 2011-06-22 15:16:55 -04:00
Eric Dobson
329b209f3b TR: Many small type changes. 2011-06-22 15:16:55 -04:00
Eric Dobson
4f898865fd Added types for namespace and variable reference operations. 2011-06-22 15:16:55 -04:00
Eric Dobson
7102c4dae2 Added types for hash and set operations. 2011-06-22 15:16:55 -04:00
Eric Dobson
469f0a5314 Added types for parameters and parameterization operations. 2011-06-22 15:16:55 -04:00
Eric Dobson
a913a1432d TR: Added Thread Cells and corresponding operations 2011-06-22 15:16:55 -04:00
Eric Dobson
bdf0d13970 Added types for thread operations. Added Custodian type. 2011-06-22 15:16:55 -04:00
Vincent St-Amour
d946060a13 Fix type of = to only accept 2+ arguments. 2011-06-22 14:32:05 -04:00
Sam Tobin-Hochstadt
2cdf05ad5c Fix type-env-lang to handle require'/provide' better. 2011-06-22 14:28:52 -04:00
Sam Tobin-Hochstadt
f195b3c689 Remove `SomeSystemPath'. 2011-06-22 14:28:51 -04:00
Sam Tobin-Hochstadt
9be4b16703 Rename SomeSystemPath to `Path-For-Some-System' 2011-06-21 15:34:50 -04:00
Sam Tobin-Hochstadt
fbc76a3074 Support additional `provide'. 2011-06-21 15:34:50 -04:00
Eric Dobson
0f6fde5003 Fixes TR regexp regression. Closes PR11991. 2011-06-21 15:34:50 -04:00
Eric Dobson
1348887bd1 Cleaned up base-env. Added comments about untyped identifiers. 
Used one-of/c to clean up some types.
 2011-06-17 15:17:20 -04:00
Eric Dobson
0671945a8d Moved tests for equality to unit tests 2011-06-17 15:17:20 -04:00
Eric Dobson
feeccc062b Added types for reading and writing operations 2011-06-17 15:17:19 -04:00
Eric Dobson
029651b9ee Added types for regexp operations. Changed Regexp to correspond to regexp?. 2011-06-17 15:17:19 -04:00
Eric Dobson
3e1a95750d Added public names for recently added types 2011-06-17 15:17:19 -04:00
Eric Dobson
6f3bbad367 Added types for I/O operations 2011-06-17 15:17:19 -04:00
Eric Dobson
54a12afb49 Added types and some tests for port operations 2011-06-17 15:17:19 -04:00
Eric Dobson
c77e906c7a Added types and tests for equality operations. 2011-06-17 15:17:19 -04:00
Eric Dobson
2d152bac79 Added types and tests for raising and handling exceptions 2011-06-17 15:17:19 -04:00
Eric Dobson
4ba12dd20e Added types and tests for symbol operations 2011-06-17 15:17:19 -04:00
Eric Dobson
ab23db7b5b Added types and tests for string operations 2011-06-17 15:17:19 -04:00
Vincent St-Amour
26541ffbbd Unify types and filter behavior of not and false?. 2011-06-16 18:08:44 -04:00
Vincent St-Amour
48bf6f8290 Make type annotations optional for for*/lists: and for*/fold:. 2011-06-14 17:53:28 -04:00
Vincent St-Amour
2922821f3c Synthesize annotations for for/lists: if possible. 2011-06-14 17:53:27 -04:00
Vincent St-Amour
f4973ff05e Remove obsolete comment. 2011-06-14 17:53:27 -04:00
Vincent St-Amour
8c92a32cbb Fix bad name. 2011-06-14 17:53:27 -04:00
Vincent St-Amour
a5bccaffe1 Allow omitting type annotation in most of the for: forms. 2011-06-14 17:53:27 -04:00