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

[Ralf Hemmecke]

On 07/21/2006 07:58 AM, Martin Rubey wrote:
> 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.

http://wiki.axiom-developer.org/SandBox7

mainHB and mainHS return false is totally clear. You define a *new* 
domain H and declare its type to be just CatA. What else would you expect?

Ralf