Sam Tobin-Hochstadt 962f2472e1 Revamp handling of Any as a contract. ... The contract now has two major differences: - It raises an error when it would have to wrap. - It uses chaperones to delay errors as long as possible In general, using `Any` as a type when exporting to untyped code will now just work, unless the untyped code tries to communicate values back to the typed side, in which case an immediate error will be raised. Much of the implementation comes from the membrane design from [Strickland et al, OOPSLA 2012].		2012-10-05 12:39:11 -04:00
..
abbrev.rkt	Fix -struct to use the right number of arguments to make-Struct.	2012-09-27 16:22:21 -04:00
base-abbrev.rkt	Make promises like every other TR container.	2012-08-14 16:16:07 -04:00
filter-ops.rkt
generalize.rkt
kw-types.rkt
numeric-predicates.rkt
numeric-tower.rkt
printer.rkt	Revamp handling of Any as a contract.	2012-10-05 12:39:11 -04:00
remove-intersect.rkt	Removed unused fields in Struct	2012-09-27 16:22:21 -04:00
resolve.rkt	Replace uses of Type? in contracts with Type/c.	2012-09-27 18:10:38 -04:00
substitute.rkt	Replace uses of Type? in contracts with Type/c.	2012-09-27 18:10:38 -04:00
subtype.rkt	Revamp handling of Any as a contract.	2012-10-05 12:39:11 -04:00
tc-error.rkt
tc-result.rkt	Replace uses of Type? in contracts with Type/c.	2012-09-27 18:10:38 -04:00
type-table.rkt
union.rkt
utils.rkt	Made free-variance have less special cases.	2012-09-27 16:22:22 -04:00