I see, thanks for the explanation! On Monday, January 6, 2020 at 10:28:21 PM UTC-5, Matthew Flatt wrote: > > The problem is that `namespace-require` has to first resolve the > `racket` module path, and the module name resolver uses the current > namespace as determined by `current-namespace` --- which means that the > resolver loads the `racket` module into the wrong namespace. > > I doubt that we can change that behavior without breaking something. > Probably this will need to be addressed with a documentation > improvement that discourages providing a namespace directly except in > limited cases. > > At Mon, 6 Jan 2020 19:09:44 -0800 (PST), Yongming Shen wrote: > > Hi, I have encountered a counterintuitive behavior of namespace-require > and > > wonder if it is a bug. > > Basically, namespace-require behaves differently when the target > namespace > > is passed by parameterizing current-namespace, compared to when the > > optional namespace parameter is used. > > > > For example, this works: > > > > (define ns (make-base-empty-namespace)) > > (parameterize ([current-namespace ns]) (namespace-require 'racket)) > > > > But this gives an error about unknown module: > > > > (define ns (make-base-empty-namespace)) > > (namespace-require 'racket ns) > > > > require: unknown module > > module name: #<resolved-module-path:"/Applications/Racket > > v7.3/collects/racket/main.rkt"> > > > > Am I doing something wrong in the second case? > > > > Thanks, > > Yongming > > > > -- > > 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 racket...@googlegroups.com <javascript:>. > > To view this discussion on the web visit > > > https://groups.google.com/d/msgid/racket-users/45e0ee10-0ce0-42a9-997f-ad102e09 > > > 8ea4%40googlegroups.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 racket-users+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/racket-users/3efec540-f0c7-407d-ae71-a3d7539e818a%40googlegroups.com.
