autoconf-patches
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: 23-less-ac-subst.patch


From: Pavel Roskin
Subject: Re: 23-less-ac-subst.patch
Date: Tue, 23 Jan 2001 12:41:49 -0500 (EST)

On 23 Jan 2001, Akim Demaille wrote:

> >>>>> "Pavel" == Pavel Roskin <address@hidden> writes:
>
> >> * m4sugar.m4 (m4_expand_once): Let the user specify the witness.
>
> Pavel> Witness? I don't understand why you use this word and how it's
> Pavel> supposed to work.
>
> Arg, I did it again.  It's a word coming from logic.  When you say
>
>         ``there exist x such that P(x) holds''
>
> an `t' such that P(t) holds is a witness of the property.  I'll take
> whatever word you'd suggest to mean ``something which testifies
> something happened''.

Ok, I need to see the implementation first. Probably "witness" is Ok, but
maybe you should use something like "indirect arguments".

> BTW, Pavel, what is your opinion on AS_EXECUTABLE_P vs AS_TEST_X vs etc.

Will do right now.

Regards,
Pavel Roskin




reply via email to

[Prev in Thread] Current Thread [Next in Thread]