<div dir="ltr">That sounds like a bug in contract-out and/or prefix-out. There's no reason they shouldn't work right together. And I can confirm the bug -- the bindings get exported with contracts, but by their original names. I assume that's the behavior you're seeing as well. <div class="gmail_extra"> <div>Carl Eastlund</div> <div class="gmail_quote">On Sat, Aug 3, 2013 at 2:51 AM, Lawrence Woodman <<a href="mailto:lwoodman@vlifesystems.com" target="_blank">lwoodman@vlifesystems.com</a>> wrote: <blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"> Hello, I would like to prefix the functions that I want to export from a module and provide a contract for each exported function. I tried the following style: (provide (prefix-out mymodule- (contract-out [func-a (-> string? any)] [func-b (-> string? any)]))) I realise that the code above doesn't work because contract-out is trying to bind the contracts to the un-prefixed names. Is there is cleaner way of doing this, rather than just renaming the functions at definition time and using the full name for the contracts? Thanks Lorry -- vLife Systems Ltd Registered Office: The Meridian, 4 Copthall House, Station Square, Coventry, CV1 2FL Registered in England and Wales No. 06477649 <a href="http://vlifesystems.com" target="_blank">http://vlifesystems.com</a> ____________________ Racket Users list: <a href="http://lists.racket-lang.org/users" target="_blank">http://lists.racket-lang.org/users</a> </blockquote></div> </div></div>