[Aldor-l] Is this warning serious?

Ralf Hemmecke ralf at hemmecke.de
Tue Feb 6 16:21:51 EST 2007


Hello,

could someone tell me about the seriousness of the message that I get 
with the following code.

I must admit that I don't see something recursive at all here.
That I have "Rep == SetSpecies L" should actually be not an issue sinde 
I don't inherit anything from SetSpecies. So what is the compiler 
complaining about?

Thank you in advance.

Ralf

CharacteristicSpecies(n:Integer)(L:LabelType): CombinatorialSpecies L == 
add {
     Rep == SetSpecies L;
     import from Rep;
     nn: I == machine n;
     cycleIndexSeries: CycleIndexSeries == {
	term(coefficient(cycleIndexSeries$SetSpecies(L), nn), nn);
     }
     ...
}

"csspecies.as", line 401: cycleIndexSeries: CycleIndexSeries == {
                           ^
[L401 C1] #8 (Warning) Illegal recursive definition: 
<cycleIndexSeries:CycleIndexSeries, cycleIndexSeries:CycleIndexSeries>





More information about the Aldor-l mailing list