typed-racket/collects
Sam Tobin-Hochstadt e903b419dd Avoid resolving types when checking subtyping on structs.
This fixes problems with caching, because sometimes we were giving the wrong answer for nested calls to `subtype'.

original commit: 82e6e9d19eb277be03ffd7b91d4549a61bcd723a
2011-04-20 09:41:42 -04:00
..
tests Fix bounded-fixnum opts to only fire with the right number of arguments. 2011-04-01 14:56:17 -04:00
typed oops rename in tests subdir too 2011-03-08 17:37:38 -08:00
typed-scheme Avoid resolving types when checking subtyping on structs. 2011-04-20 09:41:42 -04:00
unstable Improve interface for `find-mutated-vars', now supports mutable *and* immutable versions. 2010-07-06 14:09:46 -04:00