| .. |
|
base-env
|
Move possible-domains/cleanup-type to new file
|
2016-03-28 17:53:34 -04:00 |
|
env
|
Raise errors when signatures are not in the signature environment while typechecking
|
2016-03-12 16:39:39 -06:00 |
|
infer
|
Make infer/dotted instantiate the dotted variable to improve inference.
|
2015-11-10 16:56:14 -05:00 |
|
minimal/lang
|
Remove extra directories.
|
2014-12-02 00:53:36 -05:00 |
|
optimizer
|
Stop tracking struct constructors.
|
2016-01-05 15:51:19 -06:00 |
|
private
|
Add the simple-result-> combinator to Typed Racket.
|
2016-01-16 22:27:18 -05:00 |
|
rep
|
removed scope structs from types
|
2015-11-28 15:04:03 -05:00 |
|
static-contracts
|
Fix use of simple-result-> to check the domains.
|
2016-03-28 17:11:37 -04:00 |
|
typecheck
|
Make contracted unit tests pass
|
2016-03-31 11:57:54 -04:00 |
|
types
|
Move possible-domains/cleanup-type to new file
|
2016-03-28 17:53:34 -04:00 |
|
utils
|
Use simple-result-> on [0,3]-arg functions.
|
2016-03-18 17:13:34 -04:00 |
|
core.rkt
|
Add timing for contract generation.
|
2015-09-11 13:39:03 -05:00 |
|
HISTORY.txt
|
TR History
|
2016-02-01 14:43:16 -05:00 |
|
info.rkt
|
Remove extra directories.
|
2014-12-02 00:53:36 -05:00 |
|
language-info.rkt
|
Remove extra directories.
|
2014-12-02 00:53:36 -05:00 |
|
minimal.rkt
|
Remove extra directories.
|
2014-12-02 00:53:36 -05:00 |
|
standard-inits.rkt
|
Remove extra directories.
|
2014-12-02 00:53:36 -05:00 |
|
tc-setup.rkt
|
Fix source location tracking for top-level forms
|
2015-09-30 17:03:22 -04:00 |
|
typed-racket.rkt
|
Significantly reduce dependencies.
|
2015-04-03 12:50:55 -04:00 |
|
typed-reader.rkt
|
Disable the #{} reader macro if a dispatch macro already exists on #\{
|
2015-05-14 14:35:30 -07:00 |
