Re: [Axiom-developer] alql and shoe

[Waldek Hebisch]

Gabriel Dos Reis wrote:
> Waldek Hebisch <address@hidden> writes:
> 
> 
> [...]
> 
> | > Yes, member is a kind of library function in new Boot. Every symbol
> | > goes through bfReName (boot/tytree1.boot).  However, you can pretend
> | > that you have a function member that is not a library function if you
> | > write its name as a string literal
> | > 
> | >   "member"(kind, '("o" "k" "c" "d" "p"))
> | > 
> | > which translates to
> | > 
> | >         ('|member| |kind| '("o" "k" "c" "d" "p"))
> | > 
> | 
> | Indeed.  I have tried some other variation and did not work. So the
> | following should be enough:
> 
> I misled you.  Sorry.  Shoe is "incomplete", so that the above does
> not work right.
> 
> Brute force grep shows that getBrowseDatabase is not used in
> src/interp.  I'm going to remove the quote to allow build and put this
> issue on the TODO list (more precisely, an audit of all users of
> member, and other special shoe functions).
> 

Yes, getBrowseDatabase is only used in examples in 13.13.8.  Since I am
working on generating .pht files this matters for me.

The change below went trough full bootstrap and has working 
getBrowseDatabase.  Also the patch I orignally proposed bootstraped OK.

--- /home/s/test/tt/axiom5/build-improvements/src/interp/alql.boot.pamphlet     
2006-12-01 02:43:19.000000000 +0100
+++ build-improvements/src/interp/alql.boot.pamphlet    2006-12-01 
14:28:18.000000000 +0100
@@ -50,7 +50,7 @@
 
 getBrowseDatabase(kind) ==
   $includeUnexposed? : local := true
-  not "member"(kind,'("o" "k" "c" "d" "p")) => nil
+  not FUNCALL("member",kind,'("o" "k" "c" "d" "p")) => nil
   grepConstruct('"*",INTERN kind)
 
 stringMatches?(pattern,subject) ==



-- 
                              Waldek Hebisch
address@hidden