Thu Mar 27 13:17:08 EDT 2008


So, let's represent variables by

(define (wrap-variable name size)
  (let ((word
          name #f size)))
     (scat: ',word literal)

This probably requires a compiler extension since it's different from
macro and forth modes.

Got it working: the trick was to add a special variable mode that
evaluates macros as literals, and a 'buffer' word that behaves as ':'
to define that macro. This then leads to the subsitution macros:


  ((variable name)  (buffer name 1))
  ((2variable name) (buffer name 2)))

see macro/target-rep.ss and forth/forth-tx.ss for implementation.