[racket] contracts ->i optional keyword syntax

On Aug 27, 2014, at 1:32 PM, Matthias Felleisen <matthias at ccs.neu.edu> wrote:

> #lang racket
> 
> (module x racket
>  (provide
>   (contract-out 
>    (rename f g (-> integer? any/c))))
> 
>  (define f displayln))
> 
> (require 'x)
> 
> (g 'a)

Thanks! Nesting the contract in the rename there me. I was trying (among others):

(provide
  (contract-out  (rename f g)
   (-> integer? any/c)))

-Kevin
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.racket-lang.org/users/archive/attachments/20140827/df3f3daf/attachment.html>