typed-racket/collects/typed-scheme/types
Sam Tobin-Hochstadt 9c607d6779 Don't error for branches with wrong number of results where return type is Bot.
Allow case-lambda to be subtype of equiv union type.
Add types for path?, fold-files, assert

svn: r16357

original commit: 6a83901a8bd60ccea014f84238a378749573beb2
2009-10-18 01:10:00 +00:00
..
abbrev.ss Remove almost all uses of `stxclass' library. 2009-09-09 21:24:05 +00:00
convenience.ss Fix bug with use of match with ... and annotation. 2009-10-02 16:20:30 +00:00
printer.ss Elimintate printing of complex filters. 2009-10-02 20:41:56 +00:00
remove-intersect.ss Remove lots of debugging code. 2009-05-20 23:40:03 +00:00
resolve.ss Remove lots of debugging code. 2009-05-20 23:40:03 +00:00
subtype.ss Don't error for branches with wrong number of results where return type is Bot. 2009-10-18 01:10:00 +00:00
union.ss More file movement 2009-03-03 22:26:15 +00:00
utils.ss Remove almost all uses of `stxclass' library. 2009-09-09 21:24:05 +00:00