Re: [Axiom-developer] reproducibility of a segmentation fault when the compiler encounters a macro (with $lisp) badly indented

[Martin Rubey]

Vanuxem Grégory <address@hidden> writes:

> Hello,
> 
> Is this bug reproducible ?

Yes it is. However, I think that the macro definitions should all be indented
by the same amount. I.e., try

)abbrev domain MYIARR MyIndexedOneDimensionalArray
MyIndexedOneDimensionalArray(S:Type, mn:Integer):_
                 Exports == Implementation where
  Qsetelt ==> SETELT$Lisp
  Qnew ==> GETREFV$Lisp

  Exports == OneDimensionalArrayAggregate S with


> If someone can try to compile, in a fresh new axiom session, the
> attached file. I get a segmentation fault.
> 
> Greg
> 
> )abbrev domain MYIARR MyIndexedOneDimensionalArray
> MyIndexedOneDimensionalArray(S:Type, mn:Integer):_
>                  Exports == Implementation where
>    Qsetelt ==> SETELT$Lisp
>    Qnew ==> GETREFV$Lisp
> 
>   Exports == OneDimensionalArrayAggregate S with
> 
>     myProperty
> 
>   Implementation == add
> 
>    minIndex x       == mn
> 
> _______________________________________________
> Axiom-developer mailing list
> address@hidden
> http://lists.nongnu.org/mailman/listinfo/axiom-developer