[Axiom-developer] Re: severe (!) bug in normalize

[Waldek Hebisch]

Martin Rubey wrote:
> Waldek Hebisch <address@hidden> writes:
> 
> > Martin Rubey wrote:
> > > what does
> > > 
> > > ll := [k, :ll]
> > > 
> > > do? I have never seen that before, although grep yields some hits.
> 
> > This just builds list with head 'k' and tail 'll'.  The colon means that we
> > want to "insert" a list -- without colon we would get a two element list,
> > having (value of) 'll' as as the second element.
> 
> So I guess it really should be replaced with cons(k, ll) since ":" is not
> defined as a spad function.
> 

the '[k, :ll]' construct is a "syntactic sugar", you can not write such
things using just functions.  So ":" here is _not_ a function -- the
construct is part of Spad syntax.

I considered using 'cons', but it seemed to me that colon syntax is
included in Spad to be used.

-- 
                              Waldek Hebisch
address@hidden