Sam Tobin-Hochstadt 3fd9df03f7 Fix types of system etc for new keyword arguments. ... This requires extending the ->optkey type constructor to support rest arguments, and fixing the keyword function type generation code. Testing is still limited because there's no parsing for such types. That will be handled in a later commit.		2013-04-18 21:01:56 -04:00
..
abbrev.rkt	Fix Struct-Type-Property.	2013-03-23 08:24:05 -07:00
base-abbrev.rkt	Fix types of system etc for new keyword arguments.	2013-04-18 21:01:56 -04:00
current-seen.rkt
filter-ops.rkt
generalize.rkt
kw-types.rkt	Fix types of system etc for new keyword arguments.	2013-04-18 21:01:56 -04:00
match-expanders.rkt	Terminate typechecking on cyclic lists.	2013-04-13 20:23:19 -07:00
numeric-predicates.rkt
numeric-tower.rkt	Fix subtyping for Negative-Single-Flonum.	2013-02-21 10:49:57 -05:00
printer.rkt
remove-intersect.rkt	Make overlap more precise.	2013-02-08 11:19:10 -05:00
resolve.rkt
substitute.rkt	Cleanup of subtyping, additional comments, and improved short circuting.	2013-03-13 22:59:27 -07:00
subtype.rkt	Adds subtyping for filters, and fixes -FS to be more precise.	2013-04-03 09:25:28 -07:00
tc-error.rkt	Fix the fix to TR contracts.	2013-02-25 20:10:14 -05:00
tc-result.rkt
type-table.rkt
union.rkt	Add a simple-Union and Bottom, and have code use them.	2013-02-14 18:24:52 -05:00
utils.rkt	Make PolyDots be subtypes even if they have different fixed arguments.	2013-03-13 22:29:41 -07:00