Re: [Axiom-developer] Spad and its object model

[Martin Rubey]

Stephen Wilson <address@hidden> 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

address@hidden:~/aldor-test$ aldor -fx -laldor extend.as 
address@hidden:~/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()