[Aldor-l] LabelSpecies for L: LabelType -> CombinatorialSpecies L

[Ralf Hemmecke]

On 10/22/2006 07:54 PM, Martin Rubey wrote:
> Dear all,
> 
> is there a way to check whether two constants are identical. I.e., I'd like to
> have
> 
> foo(A: SomeCat, B: SomeCat): Boolean
> 
> return true, if A and B are identical, false otherwise. In Axiom, we have "is"
> for that purpose, but it seems that "is" does not work in Aldor.

Right. "is" is only reserved but not defined.

What about

   (A pretend Pointer) = (B pretend Pointer)

?

Isn't that what "identical" means?

Ralf