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

