Re: Name discussion for new primtive

From: Herbert Kuchen <kuchen_at_uni-muenster.de>
Date: Thu, 11 Nov 2004 11:48:45 +0100

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

This archive was generated by hypermail 2.3.0 : Do Jun 20 2024 - 07:15:07 CEST