From 1a64d2a62d4a6ccde6fe227715c63863d2409e85 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Georges=20Dup=C3=A9ron?= Date: Fri, 14 Jan 2011 00:13:53 +0100 Subject: [PATCH] plop --- lisp/mini-meval.lisp | 7 ++--- lisp/t.lisp | 61 +++++++++++++++++++++++++++++++++++++++++++- 2 files changed, 64 insertions(+), 4 deletions(-) diff --git a/lisp/mini-meval.lisp b/lisp/mini-meval.lisp index f0b07af..4b6e9ed 100644 --- a/lisp/mini-meval.lisp +++ b/lisp/mini-meval.lisp @@ -283,9 +283,10 @@ (error "mini-meval (outer) : ~w~&expression = ~w~&etat-global = ~w~&etat-local = ~w~&etat-special = ~w" (apply #'format nil message) expr - (etat-global etat) - (etat-local etat) - (etat-special etat))) + nil nil nil)) +; (etat-global etat) +; (etat-local etat) +; (etat-special etat))) (defun transform-quasiquote (expr) (cond diff --git a/lisp/t.lisp b/lisp/t.lisp index eb3d952..9289f36 100644 --- a/lisp/t.lisp +++ b/lisp/t.lisp @@ -5,4 +5,63 @@ (setq tmm (my-read (open "tmm.lisp"))) (defvar e-tmm nil) -(setq e-tmm (make-etat list + - cons car cdr < > <= >= = make-symbol)) +;(setq e-tmm (make-etat list + - cons car cdr < > <= >= = make-symbol)) + +(setf e-tmm (make-etat + car + caaaar caaadr caadar caaddr cadaar cadadr caddar cadddr cdaaar cdaadr cdadar cdaddr cddaar cddadr cdddar cddddr + caaar + caadr + cadar + caddr + cdaar + cdadr + cddar + cdddr + caar + cadr + cdar + cddr + first + second + third + fourth + fifth + sixth + seventh + eighth + ninth + tenth + tree-equal + char + schar + string + string= + make-string + equal + eql + eq + cdr + cons + list + oddp + symbolp + numberp + stringp + equalp + + + - + * + / + = + < + > + <= + >= + read + funcall + assoc + mload + mini-meval + make-symbol +))