[Aldor-l] BUG

[Ralf Hemmecke]

Christian,

*You are great!* Thanks a lot.

I had already found out that

T has with { /: ( %, % ) -> % }

is actually true in that place. But I could not think of how to use that 
fact.

I very much liked you could work on the compiler and actually fix that 
bug. Unfortunately, the compiler sources are still not available. It's 
such a tragedy for Aldor.

Ralf

> Again, you can hint Aldor towards the fact that T has a / function. By 
> converting the relevant part of the code into
> 
>         assert ( T has with { /: ( %, % ) -> % } );
>         if ( T has with { /: ( %, % ) -> % } ) then  {
>           s: T := t/t;
>           stdout << "s=" << s << newline;
>         } else {
>           never;
>         }
> 
> you'll get a working program. However at the price of an ugly workaround ;)
> Here is the output I got after I applied the workaround: