@mflatt @cadr and I are looking at starting up Pycket with the new expander, and we’re wondering about the initial namespace

when/where is that created

I’m looking at racket/src/cs/main.sps, and it does a namespace-require but I haven’t found the initial namespace

The expander initializes current-namespace to an empty namespace that has the built-in modules attached. (That’s in “pkgs/expander/main.rkt”.) Is that what you mean?

I think that’s what we mean

the latest racket/racket7 now requires latest mflatt/ChezScheme