diff options
Diffstat (limited to 'src/boot/ast.boot')
| -rw-r--r-- | src/boot/ast.boot | 13 |
1 files changed, 12 insertions, 1 deletions
diff --git a/src/boot/ast.boot b/src/boot/ast.boot index 0e7b50a8..195ec126 100644 --- a/src/boot/ast.boot +++ b/src/boot/ast.boot @@ -680,7 +680,17 @@ bfApplication(bfop, bfarg) == bfReName x== a := x has SHOERENAME => first a x - + + +++ Generate code for a membership test `x in seq' where `seq' +++ is a sequence (e.g. a list) +bfMember(var,seq) == + seq is ["QUOTE",seq'] and "and"/[SYMBOLP x for x in seq'] => + ["MEMQ",var,seq] + var is ["QUOTE",var'] and SYMBOLP var' => + ["MEMQ",var,seq] + ["MEMBER",var,seq] + bfInfApplication(op,left,right)== op = "EQUAL" => bfQ(left,right) op = "/=" => bfNOT bfQ(left,right) @@ -690,6 +700,7 @@ bfInfApplication(op,left,right)== op = ">=" => bfNOT bfLessp(left,right) op = "OR" => bfOR [left,right] op = "AND" => bfAND [left,right] + op = "IN" => bfMember(left,right) [op,left,right] bfNOT x== |