<div dir="ltr">That sounds like a bug in contract-out and/or prefix-out.  There&#39;s no reason they shouldn&#39;t work right together.  And I can confirm the bug -- the bindings get exported with contracts, but by their original names.  I assume that&#39;s the behavior you&#39;re seeing as well.<br>

<div class="gmail_extra"><br clear="all"><div>Carl Eastlund</div>
<br><div class="gmail_quote">On Sat, Aug 3, 2013 at 2:51 AM, Lawrence Woodman <span dir="ltr">&lt;<a href="mailto:lwoodman@vlifesystems.com" target="_blank">lwoodman@vlifesystems.com</a>&gt;</span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">


Hello,<br>
<br>
I would like to prefix the functions that I want to export from a module and<br>
provide a contract for each exported function.  I tried the following style:<br>
<br>
  (provide<br>
   (prefix-out mymodule-<br>
               (contract-out<br>
                [func-a (-&gt; string? any)]<br>
                [func-b (-&gt; string? any)])))<br>
<br>
I realise that the code above doesn&#39;t work because contract-out is trying to bind<br>
the contracts to the un-prefixed names.  Is there is cleaner way of doing this,<br>
rather than just renaming the functions at definition time and using the full name<br>
for the contracts?<br>
<br>
Thanks<br>
<br>
<br>
Lorry<span><font color="#888888"><br>
<br>
-- <br>
vLife Systems Ltd<br>
Registered Office: The Meridian, 4 Copthall House, Station Square, Coventry, CV1 2FL<br>
Registered in England and Wales No. 06477649<br>
<a href="http://vlifesystems.com" target="_blank">http://vlifesystems.com</a><br>
<br>
____________________<br>
 Racket Users list:<br>
 <a href="http://lists.racket-lang.org/users" target="_blank">http://lists.racket-lang.org/<u></u>users</a><br>
<br>
</font></span></blockquote></div><br></div></div>