On 03/08/13 08:00, Carl Eastlund wrote:
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.
Yes, that's the behaviour I'm seeing.
I was just about to issue a bug report before finishing this email, when
I noticed that you have done so.
I was delayed a little as I was trying to work out the directory
structure of the racket repo, so that I could
find the tests for prefix-out and contract-out.
bfn
Lorry
Carl Eastlund
On Sat, Aug 3, 2013 at 2:51 AM, Lawrence Woodman
<[email protected] <mailto:[email protected]>> wrote:
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
http://vlifesystems.com
____________________
Racket Users list:
http://lists.racket-lang.org/users
--
vLife Systems Ltd
Registered Office: The Meridian, 4 Copthall House, Station Square, Coventry,
CV1 2FL
Registered in England and Wales No. 06477649
http://vlifesystems.com
____________________
Racket Users list:
http://lists.racket-lang.org/users
