suzanne.soy/2010-m1s1-compilation
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Corrections cosmétiques et indentation (avec des espaces, si vous voyez un tab, faut le buter !).

Browse Source
This commit is contained in:
Georges Dupéron 2010-10-03 12:49:36 +02:00
parent 797b87f598
commit 7da3a959c9
1 changed files with 27 additions and 27 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

54
case-analysis.lisp
View File

@ -1,31 +1,31 @@
(defun case-analysis (expr env)
(if (atom expr)
(if (constantp expr)
;cas literal
(let ((cell (<search> expr env)))
(if cell
; cas d'une variable
(<signal> "~S n'est pas une variable" expr))))
;; cas literal
(let ((cell (<search> expr env)))
(if cell
;; cas d'une variable
(<signal> "~S n'est pas une variable" expr))))
(cond ((and (listp (car expr)) (eq (caar expr) 'lambda))
;cas lambda fonction => recursivite
)
((not (symbolp (car expr)))
(<signal> "~S n'est pas une fonction" (car expr)))
((not (fboundp (car expr)))
(<signal> "le symbole ~S n'a pas de definition fonctionnelle" (car expr)))
((special-form-p (car expr))
(case (car expr)
(quote `(:const . ,(cadr expr))) ;cas quote
(if `(:if ,(case-analysis (cadr expr) env)
,(case-analysis (caddr expr) env)
. ,(case-analysis (cadddr expr) env)))
(defun ;traitement du cas defun pas de recusivite ou sur le corps du defun
(case-analysis (fourth expr) (<build> (third expr))))
(T (<signal> "~S NYI" (car expr)))))
((macro-function (car expr))
;cas des macros
)
(;cas des fonctions locales -> env fonctionnel
)
(T ;cas des fonctions globales recursion
(map-case-analysis (cdr expr) env)))))
;; cas lambda fonction => recursivite
)
((not (symbolp (car expr)))
(<signal> "~S n'est pas une fonction" (car expr)))
((not (fboundp (car expr)))
(<signal> "le symbole ~S n'a pas de definition fonctionnelle" (car expr)))
((special-form-p (car expr))
(case (car expr)
(quote `(:const . ,(cadr expr))) ;cas quote
(if `(:if ,(case-analysis (cadr expr) env)
,(case-analysis (caddr expr) env)
. ,(case-analysis (cadddr expr) env)))
(defun ;; traitement du cas defun pas de recusivite ou sur le corps du defun
(case-analysis (fourth expr) (<build> (third expr))))
(T (<signal> "~S NYI" (car expr)))))
((macro-function (car expr))
;; cas des macros
)
(;; cas des fonctions locales -> env fonctionnel
)
(T ;; cas des fonctions globales recursion
(map-case-analysis (cdr expr) env)))))