On Aug 27, 2014, at 1:32 PM, Matthias Felleisen <[email protected]> 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
____________________
  Racket Users list:
  http://lists.racket-lang.org/users

Reply via email to