+ (%compile-defmacro 'defmacro
+ (lambda (name args &rest body)
+ (list 'eval-when-compile
+ (list '%compile-defmacro (list 'quote name)
+ (list* 'lambda args body))))))
+
+(defmacro incf (x)
+ (list 'setq x (list '+ 1 x)))
+
+(eval-when-compile
+ (%compile-defvar 'x))
+
+(setq x 10)
+(incf x)
+(debug x)
+
+;;; Conses
+(debug (cons 1 2))
+(debug (car (cons 1 2)))
+(debug (cdr (cons 1 2)))
+
+(setq x '(1 . 2))
+(debug x)
+(debug (eq x x))
+(debug (eq '(1 . 2) '(1 . 2)))
+
+;;; Symbols
+(debug (symbol-name 'foo))
+(debug (symbol-name 'foo-bar))
+
+(debug (progn 1 2 3 123))
+
+(debug (let ((x 99999))
+ (incf x)))
+
+;;; &rest lambda-list
+
+(debug (lambda (&rest x) x))
+(debug (lambda (x y &rest z) z))
+(debug (lambda (x y &rest z) x))
+
+
+(progn
+ (eval-when-compile
+ (%compile-defun 'f))
+ (fsetq f (lambda (x) (* x x))))
+
+(debug (f 33))
+
+;; (debug (foo))