1448 - infinite loops in extensible def/mac.. gone.

But tests now take 8x more time to run!

032check.wart

@@ -1,4 +1,3 @@
-= compiled-if if
 let $if if
   mac! if args
     $if !cdr.args

035generic.test

@@ -10,3 +10,8 @@ def foogen(s . rest) :case (and !rest sym?.s)
 (test "def :case can handle rest params - 2"
  :valueof foogen!a
  :should be 'a)
+
+(test "mac :case avoids infinite loops"
+ :valueof (mac if args :case (or nil nil)
+            34)
+ :should ~be nil) ; return successfully

035generic.wart

@@ -7,13 +7,15 @@ def construct-macro-call(args)
 
 let $mac mac
   mac! mac(name params . body)
-    compiled-if (~iso :case car.body)
+    if (~iso :case car.body)
       `(,$mac ,name ,params ,@body)
       `(let $super ,name
          (mac! ,name ,params
-           compiled-if ,cadr.body
-             (do ,@cddr.body)
-             ,(construct-macro-call (cons '$super params)))) ; call super with params
+           (dyn_bind ,name $super)
+           ret $ans (if ,cadr.body
+                      (do ,@cddr.body)
+                      ,(construct-macro-call (cons '$super params))) ; call super with params
+             (dyn_unbind ,name)))
 
 mac def(name params . body) :case (iso :case car.body)
   `(let $old ,name

036control.wart

@@ -98,9 +98,3 @@ def andf fs
                   :else
                     (and (car.fs @args) (self cdr.fs))))
       (sub fs)))
-
-
-
-; pattern matching
-mac if args :case nil ;(iso 'let car:car.args) ;(match car.args '(let . _))
-  34