racket/collects/typed-scheme/types
Vincent St-Amour d4c93cc12e TR's numeric tower is now built from unions of non-overlapping base types.
A lot of the work that was done by special-casing number types can now be
done by TR's handling of unions. This makes it easier to add more numeric
types to the tower and should make writing down types for numeric
primitives much less error-prone.

In addition, this commit adds several numeric types that will help get
tighter bounds on integer arithmetic, such as Index types. They will have
to be integrated to the base environment before they can be useful.
2011-01-31 16:39:13 -05:00
..
abbrev.rkt TR's numeric tower is now built from unions of non-overlapping base types. 2011-01-31 16:39:13 -05:00
comparison.rkt rename to rkt 2010-04-30 09:51:32 -04:00
convenience.rkt TR's numeric tower is now built from unions of non-overlapping base types. 2011-01-31 16:39:13 -05:00
filter-ops.rkt Allow arbitrary filter specification in function types. 2010-12-08 18:22:29 -05:00
numeric-predicates.rkt TR's numeric tower is now built from unions of non-overlapping base types. 2011-01-31 16:39:13 -05:00
numeric-tower.rkt TR's numeric tower is now built from unions of non-overlapping base types. 2011-01-31 16:39:13 -05:00
printer.rkt TR's numeric tower is now built from unions of non-overlapping base types. 2011-01-31 16:39:13 -05:00
remove-intersect.rkt Fix `overlap' for refinements of base types. 2010-10-07 11:19:54 -04:00
resolve.rkt Lots more laziness, and useless require removal. 2010-09-09 16:08:03 -04:00
substitute.rkt Contract fixes. 2010-10-01 19:29:18 -07:00
subtype.rkt TR's numeric tower is now built from unions of non-overlapping base types. 2011-01-31 16:39:13 -05:00
type-table.rkt Fixed tautology/contradiction recording to work with case-lambda. 2010-10-06 17:32:29 -04:00
union.rkt Make bare union constructor smarter. 2011-01-31 16:39:12 -05:00
utils.rkt Fix double application of format. 2010-12-10 16:59:12 -05:00