| .. |
|
base-env
|
Fix filters of comparisons in the presence of NaN.
|
2017-03-28 15:48:37 -05:00 |
|
env
|
add refinement types, linear expr objs, and ineq props (#510)
|
2017-03-27 14:32:29 -04:00 |
|
infer
|
add refinement types, linear expr objs, and ineq props (#510)
|
2017-03-27 14:32:29 -04:00 |
|
logic
|
add refinement types, linear expr objs, and ineq props (#510)
|
2017-03-27 14:32:29 -04:00 |
|
minimal/lang
|
Remove extra directories.
|
2014-12-02 00:53:36 -05:00 |
|
optimizer
|
Remove many uses of dict functions for performance
|
2017-01-06 15:18:46 -05:00 |
|
private
|
add refinement types, linear expr objs, and ineq props (#510)
|
2017-03-27 14:32:29 -04:00 |
|
rep
|
fix minor bug, make funapp code more readable (#521)
|
2017-03-29 21:48:03 -04:00 |
|
static-contracts
|
add refinement types, linear expr objs, and ineq props (#510)
|
2017-03-27 14:32:29 -04:00 |
|
typecheck
|
Fixes #434 (Type of literal char is not the literal char itself) using solution from Alex Knauth.
|
2017-03-31 11:55:20 +02:00 |
|
types
|
Generalize subtypes of Char to Char.
|
2017-03-31 13:25:14 +02:00 |
|
utils
|
add refinement types, linear expr objs, and ineq props (#510)
|
2017-03-27 14:32:29 -04:00 |
|
core.rkt
|
add refinement types, linear expr objs, and ineq props (#510)
|
2017-03-27 14:32:29 -04:00 |
|
HISTORY.txt
|
Add 6.8 HISTORY.
|
2017-01-17 08:55:20 -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
|
Allow disabling TR optimization with an environment variable. (#504)
|
2017-03-01 13:19:15 +00:00 |
|
typed-racket.rkt
|
Don't set current-inspector in Typed Racket.
|
2016-07-09 20:08:20 -04:00 |
|
typed-reader.rkt
|
Disable the #{} reader macro if a dispatch macro already exists on #\{
|
2015-05-14 14:35:30 -07:00 |
