Stephen Wilson <[EMAIL PROTECTED]> writes:
> I would need a clear picture of what the semantics would be for "post facto
> extensions". Do you sugest following Aldor explicitly?
In any case, please try to "stay" compatible with Aldor semantics as far as
possible!
> IIRC new exports introduced by `extend' are not visible to previous
> definitions, except via `has' predicates which execute during runtime. Are
> there other issues involved?
I do not understand. What is a "previous" definition in Aldor?
Martin
[EMAIL PROTECTED]:~/aldor-test$ aldor -fx -laldor extend.as
[EMAIL PROTECTED]:~/aldor-test$ ./extend
Hi there!
-------------------------------------------------------------------------------
#include "aldor"
#include "aldorio"
f(i: Integer): String == {
import from Integer;
foo i;
}
extend Integer: with {
foo: % -> String;
} == add {
foo(i: %): String == "Hi there!";
}
main(): () == {
import from Integer, Character, TextWriter;
stdout << f(1) << newline;
}
main()
_______________________________________________
Axiom-developer mailing list
[email protected]
http://lists.nongnu.org/mailman/listinfo/axiom-developer
