<div dir="ltr">I&#39;ve added your email to the bug report, so you&#39;ll be notified of any updates.<br><div class="gmail_extra"><br clear="all"><div>Carl Eastlund</div>
<br><div class="gmail_quote">On Sun, Aug 4, 2013 at 3:46 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">


  
    
  
  <div bgcolor="#FFFFFF" text="#000000"><div class="im">
    <div>On 03/08/13 08:00, Carl Eastlund wrote:<br>
    </div>
    <blockquote type="cite">
      <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>
    </blockquote>
    <br></div>
    Yes, that&#39;s the behaviour I&#39;m seeing.<br>
    <br>
    I was just about to issue a bug report before finishing this email,
    when I noticed that you have done so.<br>
    I was delayed a little as I was trying to work out the directory
    structure of the racket repo, so that I could<br>
    find the tests for prefix-out and contract-out.<br>
    <br>
    <br>
    bfn<br>
    <br>
    <br>
    Lorry<div><div class="h5"><br>
    <br>
    <blockquote type="cite">
      <div dir="ltr">
        <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/users</a><br>
                  <br>
                </font></span></blockquote>
          </div>
          <br>
        </div>
      </div>
    </blockquote>
    <br>
    <br>
    <pre cols="72">-- 
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>
</pre>
  </div></div></div>

<br>____________________<br>
  Racket Users list:<br>
  <a href="http://lists.racket-lang.org/users" target="_blank">http://lists.racket-lang.org/users</a><br>
<br></blockquote></div><br></div></div>