[Aldor-l] Old Aldor Bugs

[Ralf Hemmecke]

Dear Laurentiu,

thank you very much, for

> http://www.aldor.org/bugs/

As far as I can see, there are some bugs missing. You remember there
were problems with numbering bugs. So, your actually last bug in

http://www.aldor.org/bugs/publish/bugs_aldor.org/

is bug4. I have, however sent the following (see below) which got bug
number 26.

Interestingly,
http://www.aldor.org/bugs/publish/bugs_aldor.org/bugreport_4/ was
submitted on May 25, 2005 by Bronstein while I was working with him, but
my own records also show that I submitted a bug that got number 4.

I can certainly re-submit mine, but up to 26 not all the bugs were sent
by me. I hope that the missing bugs are not lost.

Ralf


-------------------------------------------------------------------------
The following still does not give a better error message.

---BEGIN aaa.as (bug26)
-- Author: Ralf Hemmecke, Johannes Kepler Universit"at Linz
-- EMail: ralf at hemmecke.de
-- Date: 06-May-2006
-- Aldor version 1.0.3 for LINUX(glibc2.3)
-- Subject: Compiler bug...Bug: gen0Syme: syme unallocated by gen0Vars

-- Compiling with "aldor aaa.as" yields:

--: Compiler bug...Bug: gen0Syme:  syme unallocated by gen0Vars

-- The problem is that by mistake I have specified "R: Type" as the
-- argument of CatA in the definition of DomA. It should have
-- just been "R".
#include "aldor"

define CatA(R: Type): Category == with {bar: % -> ()}

DomA(R: IntegerType): CatA(R: Type) == add {	
  bar(x: %): () == {}
}
---END aaa.as