Re: [Gcl-devel] readline support

[Camm Maguire]

[ re: command line completion with readline enabled GCL and derivatives]

Greetings!  OK, I've got something now that works like this for GCL.

sym        completes to       external syms current package + used packages
pk:sym     completes to       external syms of pk + used packages
:sym       completes to       keyword symbols
::sym      completes to       internal symbols of current package + used 
packages
pk::sym    completes to       internal symbols of pk + used packages

I'll probably commit shortly.  But it would be great if we could
extend a bit to get useful behavior under maxima et.al.  The maxima
functions appear to correspond to internal symbols in the maxima
package with a $ prepended.  Perhaps we could have a user definable
function to translate back and forth from user input text to text to
be matched against lisp symbols.  We also need to figure out what to
do regarding character case.

Suggestions for maxima/acl2/axiom appreciated.

Take care,

address@hidden writes:

>       However, I'm not sure whether this should be the
>       external symbols of the current package, external
>       and internal, or these and the inherited symbols.
>       I'm leaning toward external symbols of the current
>       package and its package use list be default,
>       with a possible alternate behavior when one or
>       more colons appear.  Thoughts?
> 
> Yes.  The external symbols of the current package and its
> used packages, yes that would be nice.
> 
> What if by prefixing two colons, only internal symbols
> would be expanded?
> 
> If I write a package name and one colon, it should behave
> as if that package is the current package.  If I use two
> colons it should only try and complete internal symbols
> (including inherited internal symbols, perhaps).  If I
> use two colons without any package name in front of them
> it should complete internal symbols in the current package
> (and again perhaps also all inherited internal symbols of
> the current package).
> 
> On the other hand, maybe two colons should just complete
> all symbols whether they are internal, shadowed or
> external.  I have on a few occassions missed the ability
> to find an internal symbol by simple completion.  It can
> be very handy.  I do not know if this is general enough
> to warrant its implementation.
> 
> Thanks for all your work!
> 
> --
> Dennis Decker Jensen
> 
> 
> 
> 

-- 
Camm Maguire                                            address@hidden
==========================================================================
"The earth is but one country, and mankind its citizens."  --  Baha'u'llah