[Aldor-l] implementing aldor / new species approach

[Christian Aistleitner]

Hello,

>> Martin, your approach seems to work, but I am still not sure whether it  
>> just
>> works because of the current compiler. I would be happier if I had a  
>> sound
>> explanation in terms of the *Aldor language* not in terms of the  
>> *compiler*.
>
> I agree. However, if somebody is going to implement Aldor a second time,  
> I'd
> argue that this code working is so useful, that it should be abstracted  
> and
> included in the specification.

No. I would not add it to the specification. I always argued that such  
code is a potential problem. What it all comes down to is building a  
domain and _afterwards_ exchanging its parameters with different values.
Its plainly a trick thats working -- currently.
The reason why it is working, we can only guess.

> In fact, I have the feeling that it is not a coincidence that it works.  
> After
> all, it works with all compiler settings. Don't worry, I'm not saying  
> that it
> should work given the specification of the AUG. I'm only saying that it  
> *might*
> be that way. I really hope that we can explain the behaviour. Christian
> Aistleitner, did you try?

I tried. Several times. Maybe lazy instantiation (as hinted in the AUG).  
Maybe something completely different. Maybe even a compiler bug.

But please replace my name by "Stephen Watt", "Laurentiu Dragan", or any  
the name of any other Aldor people.

--
Kind regards,
Christian