[Aldor-l] The following could be suitable if imported

[Ralf Hemmecke]

Hi Martin,

Yes, actually we use that trick in Aldor-Combinat. How could I forget?

Thanks
Ralf

On 10/21/2007 08:43 AM, Martin Rubey wrote:
> Ralf Hemmecke <ralf at hemmecke.de> writes:
> 
>> The only way I found was a (seemingly very strange) construction like
>> Replace
>>
>>       b : DOM(2,2) == foo(a,a);
>>
>> by
>>
>>    if 2=2 then b: DOM(2,2) == foo(a,a);
> 
> Isn't that the same workaround Christian AIstleitner suggested for our combinat
> troubles?
> 
> BugWorkaround(CONDITION)(CODE) == {
>         assert(CONDITION);
>         if CONDITION then CODE else never;
> }
> 
> 
> Martin