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

[Ralf Hemmecke]

> > 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?

If you extend Integer then it will not be visible globally. Clearly, it 
is visible only for those things that "see" the extension.

Try the following via

aldor -laldor -fo -fao aaa.as
aldor -lalgebra -laldor -fx bbb.as aaa.o
bbb

The output is:
foo  == F
foo2 == T
although Integer gets extended in libalgebra. However, the package Pkg, 
was compiled before and does not "see" the extension.

Ralf

---BEGIN aaa.as
#include "aldor"
Pkg: with {
  foo: () -> Boolean;
} == add {
  foo(): Boolean == Integer has with {binomial: (%, %) -> %}
}
---END aaa.as


---BEGIN aaa.as
#include "algebra"
#include "aldorio"
#library AAA "aaa.ao"
import from AAA;

Pkg2: with {
  foo2: () -> Boolean;
} == add {
  foo2(): Boolean == Integer has with {binomial: (%, %) -> %}
}

main(): () == {
        stdout << "foo  == " << foo()$Pkg << newline;
        stdout << "foo2 == " << foo2()$Pkg2 << newline;
}

main();
---END aaa.as