Bernd Brassel wrote:
> ...
> 7) nonVar
> + seems to describe the behaviour well
>
>> Similarly to other selectors (e.g., "snd" returns the second component
>> of a pair), nonVar returns the "non-variable part" of a term,
>> i.e., the term itself if it is a non-variable. If it is a variable,
>> it cannot return anything until the variable is known.
>
> - bad meaning in Prolog
I am convinced. nonVar seems to be the best choice.
Herbert
_______________________________________________
curry mailing list
curry_at_lists.RWTH-Aachen.DE
http://MailMan.RWTH-Aachen.DE/mailman/listinfo/curry
Received on Do Nov 11 2004 - 12:30:09 CET