[Aldor-l] Compiler bug...Bug: gen0Syme: syme unallocated by gen0Vars

[Ralf Hemmecke]

I've just submitted the following bug, see below.

Interestingly, the webpages says:

   Your bug report (bug number: 1) has been successfully recorded.

Weren't there any other bugs?

Ralf


-- 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: %): () == {}
}