[Axiom-developer] Re: concatenate and bit-vector

[Gabriel Dos Reis]

On Thu, 9 Aug 2007, Stephen Wilson wrote:

| address@hidden writes:
| 
| > Steve, Gaby,
| > 
| > The semantics of concat are those of vmlisp.
| > 
| > It might be possible to prove that concat is never called with
| > bit-vector semantics. The subtle part is to prove that it can't
| > occur in generated code (e.g. algebra).
| 
| A generalization of 'concat might be useful, but that quality is
| important only when it is actually used.  I'll postpone a rewrite of
| the function until/if it becomes necessary.

That is also fine with me.  The only thing that matters to me is that
the bug I reported is fixed.

-- Gaby