Re: [Axiom-developer] Problem with defining Zero

[Ralf Hemmecke]

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