Re: Common Lisp like feature expressions (was: How and when to use GCPRO?)

[Leo]

On 2010-12-27 19:38 +0000, Andreas Schwab wrote:
> Leo <address@hidden> writes:
>
>> +(defun eval-feature-expression (form)
>> +  (cond
>> +   ((atom form) (featurep form nil))
>> +   ;; ensure form is a proper list
>> +   ((condition-case nil
>> +        (and (length form) nil)
>
> Nice quadratic behaviour.
>
> Andreas.

How about something like this:

(defun eval-feature-expression (form)
  (cond
   ((atom form) (featurep form nil))
   ((eq (car form) 'not)
    (not (eval-feature-expression (cadr form))))
   ((eq (car form) 'and)
    (if (not (cdr form))
        t
      (and (eval-feature-expression (cadr form))
           (eval-feature-expression (cons 'and (cddr form))))))
   ((eq (car form) 'or)
    (if (not (cdr form))
        nil
      (or (eval-feature-expression (cadr form))
          (eval-feature-expression (cons 'or (cddr form))))))
   (t (error "Invalid feature expression: %s" form))))

Leo