I think this is the expected behaviour of `rename-out`; you might want this library to change the dynamic displayed name: https://docs.racket-lang.org/static-rename/index.html
-- William J. Bowman On Tue, Oct 12, 2021 at 03:07:13PM -0400, David Storrs wrote: > --------------- > ; test.rkt > #lang racket > (define (do-something) "ok") > (provide do-something) > > ; test2.rkt > #lang racket > (require "test.rkt") > (provide (rename-out [do-something do-it])) > > #lang racket > (require "test2.rkt") > do-it > --------------- > > The printed value is #<procedure:do-something> although I was expecting > #<procedure:do-it>. Have I done something wrong or simply misunderstood > how rename-out works? > > -- > You received this message because you are subscribed to the Google Groups > "Racket Users" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to [email protected]. > To view this discussion on the web visit > https://groups.google.com/d/msgid/racket-users/CAE8gKodiRBWPK5MfgYnOi_V%2B%3DwwFzBxtQK1qV2Mj-zPuHEXn9g%40mail.gmail.com. -- You received this message because you are subscribed to the Google Groups "Racket Users" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/racket-users/YWXekUFzaEkaitiB%40williamjbowman.com.
