Re: [racket] Local form in typed racket

2013-02-10 Thread Vincent St-Amour
`define:' also works. Its syntax is a bit different from what you had, though. Each argument is annotated with its type inside the function header, and the return type of the function is after the `:'. (: make-random-emetype-list (Range -> (Listof EmeType))) (define (make-random-emetype-li

Re: [racket] Local form in typed racket

2013-02-09 Thread Ben Dean
As so often happens when one is forced to type out a question in real words, shortly after sending the previous email, I was able to answer my own question. the result: (: make-random-emetype-list (Range -> (Listof EmeType))) (define (make-random-emetype-list range ) (letrec: ([lower : Integer