artemist/mes
1
0
Fork 0
Code Issues Pull requests Packages Projects Releases Wiki Activity

mes.c: evcon: support clause without cdr. Fixes or.

Browse source
This commit is contained in:
Jan Nieuwenhuizen 2016-07-17 12:57:06 +02:00
parent f1bd1d461f
commit 71a89be833
1 changed files with 15 additions and 13 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

28
mes.c
View file

@ -412,27 +412,29 @@ eval_ (scm *e, scm *a)
scm *
evcon_ (scm *c, scm *a)
{
if (c == &scm_nil) return &scm_unspecified;
scm *clause = car (c);
#if DEBUG
printf ("evcon_ clause=");
display (car (c));
display (clause);
puts ("");
#endif
if (c == &scm_nil) return &scm_unspecified;
if (eval (caar (c), a) != &scm_f) {
scm *expr = eval (car (clause), a);
if (expr != &scm_f) {
#if DEBUG
//if (fn != &scm_display && fn != &scm_call)
//if (fn != &scm_call)
printf ("#t clause=");
display (car (c));
printf (" cddar=");
display (cddar (c));
printf (" nil=%d", cddar (c) == &scm_nil);
display (clause);
// printf (" cddr=");
// display (cddr (clause));
// printf (" nil=%d", cddr (c) == &scm_nil);
puts ("");
#endif
if (cddar (c) == &scm_nil)
return eval (cadar (c), a);
eval (cadar (c), a);
return evcon_ (cons (cons (&scm_t, cddar (c)), &scm_nil), a);
if (cdr (clause) == &scm_nil)
return expr;
if (cddr (clause) == &scm_nil)
return eval (cadr (clause), a);
eval (cadr (clause), a);
return evcon_ (cons (cons (&scm_t, cddr (clause)), &scm_nil), a);
}
return evcon_ (cdr (c), a);
}