Re: [Axiom-developer] Re: [Axiom-commit] SF.net SVN: axiom: [345] branches/wh-sandbox

[Waldek Hebisch]

Gabriel Dos Reis wrote:

> OK, I have not gotten that message yet.  But, the parts
> 
>              ((NULL (MEMBER |kind| '("o" "k" "c" "d" "p"))) NIL)
> 
> versus
> 
>              ((NULL (MEMBER |k1| (LIST '|o| '|k| '|c| '|d| '|p|))) NIL)
> 
> are still not explained to me.
> 
> | 'member' user 'EQUAL' on strings.  'MEMBER' uses 'EQ', which does not
> | give expected effect for strings.
> 

Boot translation is:

             ((NULL (|member| |kind| '("o" "k" "c" "d" "p"))) NIL)

My change essentially replaces '(EQUAL str1 str2)' by 
'(EQ (INTERN str1) (INTERN str2))', the second form is (probably) less
efficient but for our purpose equivalent.  In more detail: |member| uses
'EQUAL', to get equivalent effect using 'MEMBER' we replace strings
by symbols.  We need explicitly intern 'kind', but for the literal
list it is enough to change notation.

-- 
                              Waldek Hebisch
address@hidden