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

[Ralf Hemmecke]

On 07/25/2006 07:16 AM, Christian Aistleitner wrote:
> Hello
>
>
> > stdout << ( A      has CatA) << newline;
> > stdout << ((A add) has CatA) << newline;
> >
> > It still does not compile. But it should. Both A and "A add" are domains
> > of type CatA.
>
> Why should (A add) be of static type CatA? (I assume you meant static 
> type although has checks the dynamic type, which of course is something 
> different. The Aldor compiler complains about the static type of "A add".)

If I read Section 7,8 of the AUG

http://www.aldor.org/docs/HTML/chap7.html#8

I would say the type of "A add" is CatA (the same as for "A").

From the AUG 7.8:
   The type of the expression A add B is

         C with { x1: T1; ...; xn: Tn }

   here C is the type of A, and x1,...,xn are the symbols defined
   (using ==) in B, whose types are T1,...,Tn, respectively.

Ralf