[Axiom-developer] member from new Boot

[Gabriel Dos Reis]

Hi,

  Among the Boot files in src/interp/ currently translated by bootsys,
alql.boot is the only one that uses member.  I've temporarily disabled
"member" as a special new Boot function, so that its translation matches
that of old Boot (depsys).

Built and tested on an x86_64-suse-linux

-- Gaby

src/boot/

2006-12-11  Gabriel Dos Reis  <address@hidden>

        * typrops.boot.pamphlet: Temporarily isable "member" as special
        new Boot function.

src/interp/

2006-12-11  Gabriel Dos Reis  <address@hidden>

        * alql.boot.pamphlet (getBrowseDatabase): Directly call member.

*** src/boot/Makefile.pamphlet  (revision 15343)
--- src/boot/Makefile.pamphlet  (local)
*************** Translates the file filename, and writes
*** 1033,1038 ****
--- 1033,1064 ----
  names  used, and  where used to the file filename.xref
  \end{verbatim}
  
+ \subsection{Reserved identifiers}
+ 
+ The following identifiers are reserved by Boot.
+ \begin{verbatim}
+   and    append   apply     atom      car    cdr       cons      copy
+   croak  drop     exit      false     first  function  genvar    IN
+   is     isnt     lastNode  LAST      list   member    mkpf      nconc
+   nil    not      NOT       nreverse  null   or        otherwise PAIRP
+   removeDuplicates          rest      reverse          setDifference
+   setIntersection setPart   setUnion  size   strconc   substitute
+   take   true     PLUS      MINUS     TIMES  POWER     SLASH     LT
+   GT     LE       GE        SHOEEQ    NE     T
+ \end{verbatim}
+ 
+ The following identifiers designate special accessor functions in Boot.
+ \begin{verbatim}
+   setName     setLabel    setLevel   setType    setVar    setLeaf
+   setLeaf     setDef      aGeneral   aMode      aTree     aValue
+   attributes  cacheCount  cacheName  cacheReset cacheType env
+   expr        CAR         mmCondition           mmDC      mmImplementation
+   mmSignature mmTarget    mode       op         opcode    opSig
+   CDR         sig         source     streamCode streamDef streamName
+   target
+ \end{verbatim}
+ 
+ 
  \section{The Makefile}
  
  When all of the native object files are produced we construct a
*** src/boot/typrops.boot.pamphlet      (revision 15343)
--- src/boot/typrops.boot.pamphlet      (local)
*************** for i in [ _
*** 204,210 ****
    ["lastNode",    "LAST"]  , _
    ["LAST",        "last"] , _
    ["list",        "LIST"]  , _
!   ["member",        "MEMBER"]  , _
    ["mkpf",        "MKPF"]  , _
    ["nconc",      "NCONC"]  , _
    ["nil"           ,NIL ]  , _
--- 204,210 ----
    ["lastNode",    "LAST"]  , _
    ["LAST",        "last"] , _
    ["list",        "LIST"]  , _
! --  ["member",        "MEMBER"]  , _
    ["mkpf",        "MKPF"]  , _
    ["nconc",      "NCONC"]  , _
    ["nil"           ,NIL ]  , _
*** src/interp/alql.boot.pamphlet       (revision 15343)
--- src/interp/alql.boot.pamphlet       (local)
***************
*** 50,56 ****
  
  getBrowseDatabase(kind) ==
    $includeUnexposed? : local := true
!   not FUNCALL("member",kind,'("o" "k" "c" "d" "p")) => nil
    grepConstruct('"*",INTERN kind)
  
  stringMatches?(pattern,subject) ==
--- 50,56 ----
  
  getBrowseDatabase(kind) ==
    $includeUnexposed? : local := true
!   not member(kind,'("o" "k" "c" "d" "p")) => nil
    grepConstruct('"*",INTERN kind)
  
  stringMatches?(pattern,subject) ==