--- [EMAIL PROTECTED] wrote:
> Steve,
>
> In order to move from MacLisp to VMLisp and then to pre-common lisp
> and then to common lisp (and now to ansi) one of two possible
> approaches can be taken. The first approach is to emulate the
> semantics of the original system in the new system. The
I plan to rewrite functions into ANSI as I encounter them so,
no, I have no objections to a reorganization.
Tim
___
Axiom-developer mailing list
Axiom-developer@nongnu.org
http://lists.nongnu.org/mailman/listinfo/axiom-developer
Steve,
In order to move from MacLisp to VMLisp and then to pre-common lisp
and then to common lisp (and now to ansi) one of two possible
approaches can be taken. The first approach is to emulate the
semantics of the original system in the new system. The second
approach is to prove that the new
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).
Tim
___
Axiom-develope
