[Aldor-l] [Axiom-developer] Re: exports and constants

[Martin Rubey]

Dear all,

I made yet another experiment (on SandBox7, no ssh here), and tested
whether in the code below H would have SomeCat. It does not. B has,
though.

On Fr, 21.07.2006, 02:12, Ralf Hemmecke wrote:
> ---BEGIN aaa.as
> #include "aldor"
> import from String, TextWriter, Character;
>
> define CatA: Category == with { }
> define CatB: Category == with { }
> define SomeCat: Category == with { CatA; CatB; }
> Dom: SomeCat == Integer add;
>
> A == Dom;
> B: CatA == Dom;
> H: CatA == Dom add;

In any case, it would be good to have *one* example program, that
demonstrates as many possibilities as we can think of...

Martin