![]() Split out base-abbrev.rkt so that subtype is not dependent on abbrev.rkt. Remove unused code in numeric-tower.rkt so that it is now a dependent of abbrev.rkt, which allows the body of convenience.rkt to be merged back in. Remove special casing for union.rkt and extraneous subtyping checks. Remove union-maker. original commit: 56fd9e63219b87d0fddbfd5d9fdb97010acd13f3 |
||
---|---|---|
.. | ||
tests/typed-racket | ||
typed | ||
typed-racket | ||
typed-scheme | ||
unstable |