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

[Gabriel Dos Reis]

Waldek Hebisch <address@hidden> writes:

| > address@hidden writes:
| > 
| > [...]
| > 
| > |  getBrowseDatabase(kind) ==
| > |    $includeUnexposed? : local := true
| > | -  not MEMBER(kind,'("o" "k" "c" "d" "p")) => nil
| > | -  grepConstruct('"*",INTERN kind)
| > | +  k1 := INTERN kind
| > | +  not member(k1,["o", "k", "c", "d", "p"]) => nil
| > | +  grepConstruct('"*", k1)
| > 
| > I don't understand the fine point of this modification:
| > 
| > using more indirections and a list of symbols with different meaning.
| > Could you expand on what the root problems was? 
| > 
| 
| Boot rewrites 'MEMBER' to 'member'.  Shoe is rewrites 'member' to
| 'MEMBER'.  I wrote in other message how to call 'member' in shoe, but
| that is a devious construct.

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.

Indeed.

-- Gaby