[Aldor-l] problems with list of domains

[Martin Rubey]

Sorry, my example was not minimal. Here is a minimal example:

#include "aldor"
define CC: Category == with {
#if KO  
        PrimitiveType;  
#endif
}

I'm truly amazed.

Martin


Martin Rubey <martin.rubey at univie.ac.at> writes:

> 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