I've added your email to the bug report, so you'll be notified of any updates.
Carl Eastlund On Sun, Aug 4, 2013 at 3:46 AM, Lawrence Woodman <[email protected]>wrote: > 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]> 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. 06477649http://vlifesystems.com > > > ____________________ > Racket Users list: > http://lists.racket-lang.org/users > >
____________________ Racket Users list: http://lists.racket-lang.org/users
