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

[Gabriel Dos Reis]

On Thu, 9 Aug 2007, address@hidden wrote:

| 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).

I'm sorry but that is nonsense to me.  

You clearly have a buggy codes, but you're unwilling to fix, invoking twisted
logic.  

That concat has two version.  One for AKCL, one for non-AKCL.
The only way its call can always yield meaningful results is that the
arguments satisfy the common semantics restrictions, which is that
the arguments be of type string.  That is all you need to know to fix your
code. 

-- Gaby