[racket] Using prefix-out with contract-out together

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.

Carl Eastlund

On Sat, Aug 3, 2013 at 2:51 AM, Lawrence Woodman
<lwoodman at vlifesystems.com>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 <http://lists.racket-lang.org/users>
>
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.racket-lang.org/users/archive/attachments/20130803/35f293ed/attachment-0001.html>