www

commit c2fe50a031f64836a7c28108de4600d06c5e5a9f
parent 8f68f03408b04fbd5f21efaa375b9c7f732ac607
Author: Bertrand BRUN <bertrand.brun@me.com>
Date:   Sun, 31 Oct 2010 00:09:39 +0200

Correction d'un mauvais test sur les fonctions definie. Ainsi que l'ajout d'un test pour eviter les erreurs d'environnement vide a l'execution de lisp2li

Diffstat:
M
environnement.lisp
 | 
4
++--
M
lisp2li.lisp
 | 
9
+++++----

2 files changed, 7 insertions(+), 6 deletions(-)
diff --git a/environnement.lisp b/environnement.lisp
@@ -52,8 +52,8 @@ Le paramètre ENV-STACK est toute la pile d'environnements."
 (defun add-binding (env-stack name value)
   "Ajoute une liaison au dernier environnement (le plus bas)."
   (setf (cdar env-stack)
-	(cons (cons name value)
-	      (cdar env-stack)))
+        (cons (cons name value)
+              (cdar env-stack)))
   env-stack)
 
 (defun get-binding (env-stack name)
diff --git a/lisp2li.lisp b/lisp2li.lisp
@@ -2,13 +2,14 @@
 (defun lisp2li (expr env)
   "Convertit le code LISP en un code intermédiaire reconnu
 par le compilateur et par l’interpréteur"
-  (cond ((and (atom expr) (constantp expr)) ; literaux
+  (cond ((null env) (lisp2li expr (empty-env-stack)))
+        ((and (atom expr) (constantp expr)) ; literaux
          (cons :lit expr))
         ((symbolp expr) ; symboles
          (let ((cell (get-binding env expr)))
            (if cell
                (cons :var (car cell))
-             (warn "Variable ~S unknown" (car expr)))))
+             (warn "Variable ~S unknown" expr))))
         ((and (consp (car expr))
               (eq 'lambda (caar expr)))
          ;; λ-expressions
@@ -18,7 +19,7 @@ par le compilateur et par l’interpréteur"
          (error "Lambda expression NYI"))
         ((not (symbolp (car expr)))
          (warn "~S isn't a symbol" (car expr)))
-        ((not (fboundp (car expr)))
+        ((get-binding env (car expr))
          (list :unknown expr env))
         ((eq 'if (car expr)) ; if
          (list :if
@@ -131,6 +132,6 @@ par le compilateur et par l’interpréteur"
 (deftestvar lisp2li env (add-binding (empty-env-stack) 'x 1))
 (deftest lisp2li
   (lisp2li '(setq x 2) env)
-  '(:call set-binding (:lit (("TOP-LEVEL" (x . 1)))) (:lit . x) (:lit . 2)))
+  '(:call set-binding (:lit . (("TOP-LEVEL" (x . 1)))) (:lit . x) (:lit . 2)))
 
 ;(run-tests t)
 \ No newline at end of file