[Aldor-l] [fricas-devel] Re: "has" in the interpreter

[Bill Page]

On Wed, Nov 19, 2008 at 3:30 PM, Ralf Hemmecke wrote:
>
> In some experimental code, I had myself some need of 'is' in Aldor.
> Since there is no 'is' I used some workaround.
>
> Here I don't need it for selecting special cases, but rather to check
> whether the domains are identical so that I could safely 'pretend'
> that one value 'y' of type Y is also of type X.
>
> Instead of the line
>                 if List X has ListType Y then {
> you should read
>                 if X is Y then {
> .

I do not understand. If two domains are identical than why is there
any need to "pretend" that they are the same?

Regards,
Bill Page.