From 4a4bc97750020f7c31ca8b29fdc4a104f7825367 Mon Sep 17 00:00:00 2001 From: dos-reis Date: Thu, 14 Jul 2011 12:40:31 +0000 Subject: * boot/ast.boot (bfIS1): Tidy test for cons cells. --- src/boot/ast.boot | 1 + src/boot/strap/ast.clisp | 1 + 2 files changed, 2 insertions(+) (limited to 'src/boot') diff --git a/src/boot/ast.boot b/src/boot/ast.boot index 190fc926..1af82d64 100644 --- a/src/boot/ast.boot +++ b/src/boot/ast.boot @@ -677,6 +677,7 @@ bfIS1(lhs,rhs) == rhs is ['CONS,a,b] => a is "DOT" => b = nil => bfAND [['CONSP,lhs],['NULL,['CDR,lhs]]] + b is "DOT" => ['CONSP,lhs] bfAND [['CONSP,lhs],bfIS1(['CDR,lhs],b)] b = nil => bfAND [['CONSP,lhs],['NULL,['CDR,lhs]],bfIS1(['CAR,lhs],a)] diff --git a/src/boot/strap/ast.clisp b/src/boot/strap/ast.clisp index 33bfc335..8a8a75d7 100644 --- a/src/boot/strap/ast.clisp +++ b/src/boot/strap/ast.clisp @@ -1083,6 +1083,7 @@ ((NULL |b|) (|bfAND| (LIST (LIST 'CONSP |lhs|) (LIST 'NULL (LIST 'CDR |lhs|))))) + ((EQ |b| 'DOT) (LIST 'CONSP |lhs|)) (T (|bfAND| (LIST (LIST 'CONSP |lhs|) (|bfIS1| (LIST 'CDR |lhs|) |b|)))))) ((NULL |b|) -- cgit v1.2.3