Full draft of macro expander in place.

[scheme.forth.jl.git] / src / scheme.4th

diff --git a/src/scheme.4th b/src/scheme.4th
index 8d361fc..9b5eb27 100644 (file)
--- a/src/scheme.4th
+++ b/src/scheme.4th
@@ -1756,15 +1756,6 @@ hide env
 
 defer expand
 
-: expand-quasiquote ;
-: expand-definition ;
-: expand-assignment ;
-: expand-define-macro ;
-: expand-if ;
-: expand-lambda ;
-: expand-begin ;
-: expand-application ;
-
 : expand-macro ( exp -- result )
     pair-type istype? invert if exit then
     2dup car symbol-type istype? invert if 2drop exit then
@@ -1783,10 +1774,104 @@ defer expand
     R> drop ['] expand goto-deferred
 ;
 
+: expand-quasiquote-item ( exp -- result )
+    nil? if exit then
+
+    unquote? if
+        unquote-symbol 2swap cdr expand nil cons cons
+        exit
+    then
+    
+    pair? if
+        2dup car recurse
+        2swap cdr recurse
+        cons
+    then
+;
+
+: expand-quasiquote ( exp -- result )
+    quasiquote-symbol 2swap cdr
+
+    expand-quasiquote-item
+
+    cons ;
+
+: expand-definition ( exp -- result )
+    define-symbol 2swap
+
+    2dup definition-var
+    2swap definition-val expand
+    nil ( define var val' nil )
+
+    cons cons cons ;
+
+: expand-assignment ( exp -- result )
+    set!-symbol 2swap
+
+    2dup assignment-var
+    2swap assignment-val expand
+    nil ( define var val' nil )
+
+    cons cons cons ;
+
+: expand-list ( exp -- res )
+    nil? if exit then
+
+    2dup car expand
+    2swap cdr recurse
+
+    cons ;
+
+: macro-definition-nameparams
+    cdr car ;
+
+: expand-define-macro ( exp -- res )
+    define-macro-symbol 2swap
+    2dup macro-definition-nameparams
+    2swap macro-definition-body expand-list
+
+    cons cons ;
+
+: expand-lambda ( exp -- res )
+    lambda-symbol 2swap
+    2dup lambda-parameters
+    2swap lambda-body expand-list
+
+    cons cons ;
+
+: expand-if ( exp -- res )
+    if-symbol 2swap
+    
+    2dup if-predicate expand
+    2swap 2dup if-consequent expand
+    2swap if-alternative none? if
+        2drop nil
+    else
+        nil cons
+    then
+
+    cons cons cons ;
+
+: expand-begin ( exp -- res )
+    begin-symbol 2swap
+    begin-actions expand-list
+
+    cons ;
+
+: expand-application ( exp -- res )
+    2dup operator
+    2swap operands expand-list
+
+    cons ;
+
 :noname ( exp -- result )
 
     expand-macro
 
+    self-evaluating? if exit then
+
+    quote? if exit then
+
     quasiquote? if expand-quasiquote exit then
 
     definition? if expand-definition exit then
@@ -1795,10 +1880,10 @@ defer expand
 
     macro-definition? if expand-define-macro exit then
 
-    if? if expand-if exit then
-
     lambda? if expand-lambda exit then
 
+    if? if expand-if exit then
+
     begin? if expand-begin exit then
 
     application? if expand-application exit then