[Aldor-l] exports and constants

[Christian Aistleitner]

Hello,

On Tue, 25 Jul 2006 11:19:50 +0200, Ralf Hemmecke <ralf at hemmecke.de> wrote:

> On 07/25/2006 07:16 AM, Christian Aistleitner wrote:
>
>>> 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
> [...]

Sorry. I thought you meant current compiler behaviour.
If you refer to the AUG, (A add) should have CatA. You are right.

However, I hope it will never be implemented that way.

--
Kind regards,
Christian