Typed Racket

Asumu Takikawa e118bb5900 Fix rest arg contract generation for case-> types ... The generated contracts are still not ideal when more than one case has a rest argument, since a later case in the case-> contract may pass but case-> won't try all of them. original commit: fce98517e6ba4954dfa8920e31e7e3eef50155ca		2014-05-16 14:59:43 -04:00
pkgs/typed-racket-pkgs	Fix rest arg contract generation for case-> types	2014-05-16 14:59:43 -04:00