-( Simply evaluates the given procedure with expbody as its argument. )
-: macro-expand ( proc expbody -- result )
- 2swap
- 2dup procedure-body ( expbody proc procbody )
- -2rot 2dup procedure-params ( procbody expbody proc argnames )
- -2rot procedure-env ( procbody argnames expbody procenv )
-
- -2rot 2swap
- flatten-proc-args
- 2swap 2rot
-
- extend-env eval-sequence eval
-;
-