[Axiom-developer] Re: metalex change

[Gabriel Dos Reis]

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

| Gaby,
| 
| Actually, we're both incorrect. The argument is missing a quote.

Why is it a quote when strconc is defined as synonymous to concat
(see vmlisp.lisp) and concat itself is defined as


   #-AKCL
   (defun concat (a b &rest l)
      (let ((type (cond ((bit-vector-p a) 'bit-vector) (t 'string))))
         (cond ((eq type 'string)
                (setq a (string a) b (string b))
                (if l (setq l (mapcar #'string l)))))
         (if l (apply #'concatenate type a b l)
           (concatenate type a b))) )
   #+AKCL
   (defun concat (a b &rest l)
     (if (bit-vector-p a)
         (if l (apply #'concatenate 'bit-vector a b l)
           (concatenate 'bit-vector a b))
       (if l (apply #'system:string-concatenate a b l)
         (system:string-concatenate a b))))


??


(I'm using SBCL to type check the codes, but I don't think it matters much.  
Furthermore, I think we should just have one definition).

-- Gaby