"Christian Aistleitner" <[EMAIL PROTECTED]> writes: [...]
| Does not look like reusing values to me. | | How to explain this behaviour? Please, guys explain clearly you're after. I do not take the compiler's behaivour as "God given". I need clear semantics. If you're after a non-functional type system, please explain clearly what they are useful for, with clear examples. Explain also how one reasons with such type system, how one writes relaible program with such a type system. -- Gaby _______________________________________________ Axiom-developer mailing list Axiom-developer@nongnu.org http://lists.nongnu.org/mailman/listinfo/axiom-developer
