[Aldor-l] Interpreter bug

[Ralf Hemmecke]

Hi Martin,

I've just found

grammar(p: List String): List Type == {
         import from MachineInteger;
         A: CombinatorialSpecies == EmptySetSpecies;
         res: List Type := [A pretend Type for x in p];
         E(i: MachineInteger): CombinatorialSpecies ==
           evaluate(parse(p.i), res) add;

         for i in 1..#p repeat res.i := E(i);
         res;
}

in your (workaround) suggestion for the signature-experiments branch.

Before I allow that to be committed to the trunk of Aldor-Combinat I 
would rather stop using Aldor.

I don't want to see such ugly

   res: List Type := [A pretend Type for x in p];

where

   res: List CombinatorialSpecies := [A for x in p];

should do.

THE COMPILER NEEDS TO BE FIXED NOT OUR CODE.

Ralf

On 10/30/2006 06:13 PM, Martin Rubey wrote:
> Ralf Hemmecke <ralf at hemmecke.de> writes:
> 
>> Martin,
>>
>> you should be more minimalistic. ;-)
>>
>> aldor -gloop
>> (press Ctrl-C)
>>
>> That one is known since long. :-(
>>
>> Ralf
> 
> Yes, but the above is *not* only an interpreter bug. Try
> 
> import List PrimitiveType 
> 
> anywhere in a test in combinat...
> 
> 
> Sorry, I didn't want to depress anybody.
> 
> Ugly workoround was checked in in signature-experiments half an hour ago...
> 
> 
> Martin