Continuing the discussion from PHP Action Plugin:
@peternlewis, well I read and reread the Halting Problem article, and I don't see any relevance to determining which variables a KM Macro needs.
Clearly this can be done, because many compilers do this.
In fact, even KM does this. It extracts every variable from a Macro and adds it to the variable database and list that is presented to select a variable by name.
We must be referring to different things, to be so far apart in our understanding.
So, without referring to the Halting Program, what am I missing?