[Aldor-l] problems with list of domains

[Martin Rubey]

Well, again, my example was not minimal. I hope the following really is minimal:

aldor -gloop

#include "aldor"
[]$(List PrimitiveType)

or

[]$(List OutputType)

Interestingly

[]$(List DataStructureType)

works.

A workaround for my purpuses is

[]$(PrimitiveArray PrimitiveType)

Martin

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

> 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