> I don't see any obstacle to adding a more fine-grained reflective<br>> operation, such as `namespace-set-variable-constant!`. Would that be<br>> useful?<br><br>Matt,<br><br>I don't think the introduction of <span style="font-weight: bold;">namespace-set-variable-constant!</span> worth the effort, though I thank you for the solution.<br><br>Let me explain my reasoning: <br><br>The context is using <span style="font-weight: bold;">eval</span> in a module defined with #lang s-expr <my-language-module> <br><br>there are two distinct sub-problems involving re-definition<br><br>Problem one is the potential for an eval'd expression to re-define the (<span style="font-weight: bold;">provide</span> ..)ed-bindings of <my-language-module> (including potentially <span style="font-weight: bold;">eval </span>itself, were it one of the exports)<br><br>Problem two  is the potential for an eval'd expression to re-define a previously <span style="font-weight: bold;">eval</span>'d binding. <br><br>Problem one is solved by  your suggestion of  (<span style="font-weight: bold;">namespace-require/constant </span>''m)<br><br>For Problem two, I can<span style="font-weight: bold;"> rename-out</span> a safe-define which memq's the namespace bindings and prevents re-definition<br><br>I hope my terminology was understandable. I'm new to writing languages and evaluators.<br><br>On a separate note, I got an enormous amount of value from your ACM paper "<span style="font-weight: bold;">Creating Languages in Racket</span>" <br><br>The other piece of writing that was revelatory was Matthias' <span style="font-weight: bold;">"Racket is..."</span><br><br>The expressive power of the #lang system and define-syntax is staggering.  Also, I was an idiot for hanging on to <span style="font-weight: bold;">defmacro</span> style macros for so long. <br><br>Thank you very much.<br><br>R,.<br>Zack<br><br><br>