[Aldor-l] define keyword

[Christian Aistleitner]

Hello,

I am puzzled about the necessity and correct use of the „define” keyword.
According to the Aldor User Guide, it is necessary to use the define
keyword when defining Categories, for its functions to be visible. For
example:

#include "aldor"
define CatA: Category == with {
    funcA: Integer -> Integer;
}


is considered necessary to see that CatA is of type Category AND has the
funcA function. However, I did not come across a case, where the „define”
is really necessary.

Is the previous example equivalent with

#include "aldor"
CatA: Category == with {
    funcA: Integer -> Integer;
}

, or is there any difference between these two versions of defining CatA?

--
Best regards,
Christian