[racket] Optional parameters in Typed Racket?

On 2014-04-26 16:59:39 +1000, Daniel Prager wrote:
>      #lang typed/racket
>
>      (: append-bar (->* (String) (Positive-Integer) String))
>      (define (append-bar str [how-many 1])
>        (apply string-append str (make-list how-many "bar")))
>
>    gives me this error in 6.0:

The ->* syntax is new and will be included in the upcoming v6.0.1
release, but it's not available in v6.0.

Maybe you saw it in the pre-release docs?

Cheers,
Asumu