-: make-lambda ( params body -- lambda-exp )
- lambda-symbol -2rot cons cons ;
-
-( Handles iterative expansion of defines in
- terms of nested lambdas. Most Schemes only
- handle one iteration of expansion! )
-: definition-var-val ( obj -- var val )
-
- cdr 2dup cdr 2swap car ( val var )
-
- begin
- symbol-type istype? false =
- while
- 2dup cdr 2swap car ( val formals var' )
- -2rot 2swap ( var' formals val )
- make-lambda nil cons ( var' val' )
- 2swap ( val' var' )
- repeat