[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [Axiom-developer] Re: [Axiom-commit] SF.net SVN: axiom:  branch
Gabriel Dos Reis
Re: [Axiom-developer] Re: [Axiom-commit] SF.net SVN: axiom:  branches/wh-sandbox
01 Dec 2006 01:46:42 +0100
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)
((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.