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 <[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 <http://lists.racket-lang.org/users> > >
____________________ Racket Users list: http://lists.racket-lang.org/users
