Typed Racket
Go to file
Asumu Takikawa 6ffd6fc72c Add support for rest arguments in TR plain lambda
Two caveats:
  * in some positions : is not accepted as a formal
    when used in combination with * as a formal
  * the quality of parse error messages for rest
    argument types is traded for better optional argument
    error messages

original commit: a3d818c748b09dd07043460ad412a19d0f94b47c
2014-02-19 16:40:40 -05:00
pkgs/typed-racket-pkgs Add support for rest arguments in TR plain lambda 2014-02-19 16:40:40 -05:00