[Aldor-l] problems with list of domains

[Martin Rubey]

Dear all,

maybe somebody can explain the following SEGFAULT.

-------------------------------------------------------------------------------
#include "aldor"
#include "algebra"
define LabelType: Category == with {
        OutputType;
}

define CC: Category == with {
        structures: (L: LabelType, List L) -> Generator %;
#if KO  
        PrimitiveType;  
#endif
}
-------------------------------------------------------------------------------
 aldor -q3 -qinline-all -lalgebra -laldor -fao -M2  species.as && ar rv libcombinat.al species.ao && aldor -gloop -y .
#1 (Warning) The file `species' will now be out of date.
r - species.ao
     AA  L      DDDD      OOO    RRRR
    A A  L      D   D    O   O   R   R
   A  A  L      D    D  O     O  R   R
  AAAAA  L      D    D  O     O  RRRR
 A    A  L      D   D    O   O   R  R
A     A  LLLLL  DDDD      OOO    R   R

(c) Numerical Algorithms Group Ltd 1995-2001
Release: Aldor(C) version 1.0.3 for LINUX(glibc2.3) 
Type "#int help" for more details.
%1 >> #include "combinat"
                                           Comp: 760 msec, Interp: 10 msec
%2 >>   e: List CC == [];
Defined e @ List(CC)
                                           Comp: 20 msec, Interp: 210 msec
%3 >> #quit
martin at rubey-laptop:~/combinat/test$ aldor -dKO -q3 -qinline-all -lalgebra -laldor -fao -M2  species.as && ar rv libcombinat.al species.ao && aldor -gloop -y .
#1 (Warning) The file `species' will now be out of date.
r - species.ao
     AA  L      DDDD      OOO    RRRR
    A A  L      D   D    O   O   R   R
   A  A  L      D    D  O     O  R   R
  AAAAA  L      D    D  O     O  RRRR
 A    A  L      D   D    O   O   R  R
A     A  LLLLL  DDDD      OOO    R   R

(c) Numerical Algorithms Group Ltd 1995-2001
Release: Aldor(C) version 1.0.3 for LINUX(glibc2.3) 
Type "#int help" for more details.
%1 >> #include "combinat"
                                           Comp: 940 msec, Interp: 20 msec
%2 >>   e: List CC == [];
Program fault (segmentation violation).Program fault (segmentation violation).
%2 >> #quit
martin at rubey-laptop:~/combinat/test$ 
-------------------------------------------------------------------------------

The same behaviour is exhibited if I use e: List CC == []; within library
code.

Any help, workarounds, etc. appreciated,

Martin