<html>
<head>
<meta content="text/html; charset=UTF-8" http-equiv="Content-Type">
</head>
<body bgcolor="#FFFFFF" text="#000000">
<div class="moz-cite-prefix">On 03/08/13 08:00, Carl Eastlund wrote:<br>
</div>
<blockquote
cite="mid:CAEOPtY2O7pTW4s7FysOpdYoPB3gTDe66qWiGVFkLRZzJjeUZEA@mail.gmail.com"
type="cite">
<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.<br>
</div>
</blockquote>
<br>
Yes, that's the behaviour I'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<br>
<br>
<blockquote
cite="mid:CAEOPtY2O7pTW4s7FysOpdYoPB3gTDe66qWiGVFkLRZzJjeUZEA@mail.gmail.com"
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"><<a
moz-do-not-send="true"
href="mailto:lwoodman@vlifesystems.com" target="_blank">lwoodman@vlifesystems.com</a>></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 (-> string? any)]<br>
[func-b (-> string? any)])))<br>
<br>
I realise that the code above doesn'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 moz-do-not-send="true"
href="http://vlifesystems.com" target="_blank">http://vlifesystems.com</a><br>
<br>
____________________<br>
Racket Users list:<br>
<a moz-do-not-send="true"
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 class="moz-signature" 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 class="moz-txt-link-freetext" href="http://vlifesystems.com">http://vlifesystems.com</a>
</pre>
</body>
</html>