axiom-developer
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [Axiom-developer] Re: metalex change


From: Stephen Wilson
Subject: Re: [Axiom-developer] Re: metalex change
Date: 09 Aug 2007 17:03:30 -0400
User-agent: Gnus/5.09 (Gnus v5.9.0) Emacs/21.4

Gabriel Dos Reis <address@hidden> writes:

> On Thu, 9 Aug 2007, Stephen Wilson wrote:
> 
> | Possibly the only sensible semantics would be to have 'concat require
> | all its arguments to be of the same type T s.t. (subtype T 'sequence)
> | returns true, and then just call (concatenate T args).
> 
> I'm fine with this.

OK.  I will get a patch together tonight and post.

Steve





reply via email to

[Prev in Thread] Current Thread [Next in Thread]