[Aldor-l] Raw % is the same as % ?

[Ralf Hemmecke]

The file
https://svn.origo.ethz.ch/algebraist/trunk/aldor/lib/axllib/test/packdefs.as
can be compiled, if one add the line

   #include "axllib"

at the top. But how come the compiler does not complain?

GenericType : Category == Packable with {
	RawType:	% -> %;
	default {
		RawType (x: %) : % == raw x;
		raw (x: %) : Raw % == x;     <------(*)
		box (x: Raw %) : % == x;     <------(*)
	}
}

How come that this (*) can be compiled? Is there some compiler magic? 
Otherwise I don't see why

   x of type %

is auto converted to

   x of type Raw(%)

without any "pretend".

Ralf