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

[Martin Rubey]

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