[Top][All Lists]
[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
Re: 23-less-ac-subst.patch, Raja R Harinath, 2001/01/23