On 24. Mar 2020, at 01:32, Matt Wette wrote: > I expect this to work, but it does not. Any anyone elaborate? > What is the minimum module that can make this work? (make-fresh-use-module)? On Tue, Mar 24, 2020 at 01:35:51AM +0100, Massimiliano Gubinelli wrote: > I think a fresh module do not have any binding. So 'lambda is not defined. You would have to create bindings inside the module, maybe you could just import the-scm-module . Yes, I think that is it. The documentation is fairly sparse; There is something in "6.20.12 Environments" [1], and via R5RS environments (ice-9 r5rs) you have access to some kinda standard environments (scheme-report-environment, etc.) As you already noticed (in the context of NYACC) , this topic is is also somewhat coufusing and fascinating for me :-) Cheers --tomás