Compiling E: Phases of Transformations

[Dan Bornstein]

I wrote:
>(You'd presumably also do the conversion of $$ before the quasiparser saw
>it.)

Mark S. Miller writes:
>Nope, doesn't work.

but then later:

>But if I take your first suggestion, then I no longer need to have 
>quasi-parsers understand $$ and @@.  E would still need to understand them 
>to do the expansion.  But they could be collapsed during E's expansion, 
>rather than making each quasi-parser do this collapsing itself.  The above 
>source expression could expand to
>
>     e__quasiParser valueMaker("$a + ", [5]) substitute([b])

That's what I meant by the original statement. The quasiparser doesn't see
'$$' because the E parser has already translated it into a single '$'.

Apologies for my overbrevity.

-dan