improve some comments

and remove a stray semicolon (oops)

Force-Push: yes
Change-Id: I1b26410f5f461f9026637b5509de3912defcd784

1 files changed, 7 insertions, 5 deletions

diff --git a/transform.e b/transform.e
index 20e7a36..ddf3208 100644
--- a/transform.e
+++ b/transform.e
@@ -2665,8 +2665,8 @@ allocate-transformation-state s" transformation-state" variable
 ~ (name pointer --)
 : hex-variable-use-outer
   ~   The actual payload here is that we check whether we're defining the
-  ~ word "interpreter-flags" and, if so, we make it reference the outer
-  ~ backing store instead of the inner one.
+  ~ word described by the name pointer we were given, and, if so, we make it
+  ~ reference the outer backing store instead of the inner one.
   ~
   ~   We want to do this all as references to inner words, which fortunately
   ~ have been defined by now, but we have to do that a bit indirectly...
@@ -2871,10 +2871,11 @@ allocate-transformation-state s" transformation-state" variable
 ~ label transform, these are NOT real labels; they're restricted similarly to
 ~ how they are for the log-load transform.
 ~
-~   Per the precedence rules in hex-transform-one, this version will only
-~ apply for immediate execution; compilation will use the inner label system
-~ instead.
+~   Per the precedence rules in hex-transform-one, this version will apply to
+~ all invocations, regardless of compile mode vs. immediate execution.
+~ However, its own logic defers to the inner label system when that exists.
 : hex-L@'-alternate
+  ~ If there's an inner copy of L@' defined, defer to it.
   s" L@'" find dup {
     entry-to-execution-token execute
     exit
@@ -2885,6 +2886,7 @@ allocate-transformation-state s" transformation-state" variable
   ; make-immediate
 
 : hex-L!'-alternate
+  ~ If there's an inner copy of L!' defined, defer to it.
   s" L!'" find dup {
     entry-to-execution-token execute
     exit