And here an addon to my last mail that explains why I think Axiom should
not show
0: () -> %
where I define
0: %
I am sure you can read that.
Ralf
---------------------------------------------------------------------
#include "aldor"
NTBA(T: OutputType with {0: %}): OutputType with {
0: %;
0: () -> %;
} == add {
Rep == List T;
import from T, List T;
0: % == per empty;
0(): % == per [0]; -- identical to "per [0$T];".
(tw: TextWriter) << (x: %): TextWriter == tw << rep x;
}
main(): () == {
import from TextWriter, Character, String;
import from NTBA Integer;
stdout << "0 = " << 0 << newline;
stdout << "0() = " << 0() << newline;
}
main();
#if OUTPUT
woodpecker:~/scratch>aldor -grun -laldor ntba.as
0 = []
0() = [0]
#endif
_______________________________________________
Axiom-developer mailing list
[email protected]
http://lists.nongnu.org/mailman/listinfo/axiom-developer
