I noticed that in the ensafen function, since comp works from right to left, the code was being macroexpanded before dotify was being run. It seems like it would make more sense to switch the order, because currently any macros defined outside the sandbox that output a dot special form will be "dotified". I assume it is only necessary to run this operation on dot special forms that come from the sandboxed code itself.
I noticed that in the ensafen function, since
comp
works from right to left, the code was being macroexpanded beforedotify
was being run. It seems like it would make more sense to switch the order, because currently any macros defined outside the sandbox that output a dot special form will be "dotified". I assume it is only necessary to run this operation on dot special forms that come from the sandboxed code itself.