There are two colliding names. make and interface-version. As shown in the
error message, you fixed one but not the other.
(require net/url
web-server/dispatchers/filesystem-map
web-server/dispatchers/dispatch-files
(rename-in web-server/dispatchers/dispatch-sequencer
[make make*]
[interface-version interface-version*]))
works for me.
On Thu, Apr 9, 2020 at 2:04 AM Lucas Liendo <[email protected]> wrote:
> Hi everyone! I've a very dumb question (as still not very experienced
> Racket programmer), I'm doing the following:
>
> (require net/url
> web-server/dispatchers/filesystem-map
> (rename-in web-server/dispatchers/dispatch-files
> (make dispatch-files))
> (rename-in web-server/dispatchers/dispatch-sequencer
> (make dispatch-sequencer)))
>
> As you can see `make` is defined both in
> `web-server/dispatchers/dispatch-files` and
> `web-server/dispatchers/dispatch-sequencer` and I think that's the
> reason for this error:
>
> /tmp/rename-example.rkt:7:20: module: identifier already required
> at: interface-version
> in: web-server/dispatchers/dispatch-sequencer
> location...:
> /tmp/rename-example.rkt:7:20
>
> Traceback continues but I think that's enough. So is there a
> workaround to this? I'd really like to do a rename instead of using
> `prefix-in`. Shouldn't this error not happen as it defeats `rename-in`
> purpose at all?
>
> --
> Cheers,
> Lucas.
>
> --
> 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/CABCAxXuZmGguei3gsfeVOcWUHZP52JR0ciULo%3DeFKGraNqADAA%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/CADcuegsuAgWqQ5NJX94NastjC%2BJSo6MS2-NydTSc56dC__6wvg%40mail.gmail.com.
