Reproducible, with my compilation of axiom--main-1 on debian sarge.
But have you tried the slightly modified file (see attachment).
I simply have removed the Q... macros. ;-)
Anyway that is a very good example why pile syntax is terrible.
Ralf
)abbrev domain MYIARR MyIndexedOneDimensionalArray
MyIndexedOneDimensionalArray(S:Type, mn:Integer):_
Exports == Implementation where
Exports == OneDimensionalArrayAggregate S with
myProperty
Implementation == add
minIndex x == mn
_______________________________________________
Axiom-developer mailing list
[email protected]
http://lists.nongnu.org/mailman/listinfo/axiom-developer
