Sam Tobin-Hochstadt d3fac7c24a Revise handling of #:opaque types, and Any. ... Guard opaque predicates with an (-> Any Any) contract. This uses the contract generation infrastructure to avoid wrapping struct predicates. Also, relax `any-wrap/c` (the contract used for `Any` in positive position) to allow opaque structures. This also requires an enumeration of all the other kinds of values that TR understands, so that they are not confused with opaque structures. Joint work with @bennn. Closes #202. Closes #203. Closes #241.		2015-12-30 12:33:15 -05:00
..
typed	Only show OC button in DrR when the tool is actually loaded.	2015-12-18 15:58:40 -06:00
typed-racket	Revise handling of #:opaque types, and Any.	2015-12-30 12:33:15 -05:00
info.rkt	add type for an internal function in a match expansion	2015-12-09 17:21:56 -07:00
LICENSE.txt	Remove extra directories.	2014-12-02 00:53:36 -05:00