Path: ...!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: bart <bc@freeuk.com>
Newsgroups: comp.lang.c
Subject: Re: question about linker
Date: Thu, 12 Dec 2024 12:29:30 +0000
Organization: A noiseless patient Spider
Lines: 51
Message-ID: <vjekv9$23rfd$3@dont-email.me>
References: <vi54e9$3ie0o$1@dont-email.me> <viaqh0$nm7q$1@dont-email.me>
 <877c8nt255.fsf@nosuchdomain.example.com> <viasv4$nm7q$2@dont-email.me>
 <vibr1l$vvjf$1@dont-email.me> <vic73f$1205f$1@dont-email.me>
 <20241129142810.00007920@yahoo.com> <vicfra$13nl4$1@dont-email.me>
 <20241129161517.000010b8@yahoo.com> <vicque$15ium$2@dont-email.me>
 <vid110$16hte$1@dont-email.me> <vifcll$1q9rj$1@dont-email.me>
 <vifiib$1s07p$1@dont-email.me> <87ldwx10gv.fsf@bsb.me.uk>
 <vimtt4$27vv$1@dont-email.me> <86ser1kgp5.fsf@linuxsc.com>
 <vit69t$1qfgg$1@dont-email.me> <87ldwtzlc0.fsf@nosuchdomain.example.com>
 <vitjgg$1tukq$2@dont-email.me> <vj1bss$325uo$1@dont-email.me>
 <vj1h4i$335q1$2@dont-email.me> <vj1mhi$34p7h$1@dont-email.me>
 <vj1prj$35je4$1@dont-email.me> <vj7dup$he7i$1@dont-email.me>
 <slrnvlik4j.ns4.ike@iceland.freeshell.org> <vjcens$1kcos$1@dont-email.me>
 <vjcfnc$1kfcq$1@dont-email.me> <vjcftu$1kk6l$1@dont-email.me>
 <vjchk5$1kmm9$1@dont-email.me> <vjdq1p$1vslc$1@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Thu, 12 Dec 2024 13:29:29 +0100 (CET)
Injection-Info: dont-email.me; posting-host="021d91925d3f1b965194e346b20c998a";
	logging-data="2223597"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX1/11YYV0PGy8DXLVdiLqyE/"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:lPwXJ9hoKo27t4TMjK6aaxoY9ro=
Content-Language: en-GB
In-Reply-To: <vjdq1p$1vslc$1@dont-email.me>
Bytes: 3353

On 12/12/2024 04:50, Janis Papanagnou wrote:
> On 11.12.2024 18:20, bart wrote:
>> On 11/12/2024 16:51, Janis Papanagnou wrote:
>>> [ dangling else ]
>>
>> So here you finally acknowledge there may be ambiguity from a human
>> perspective.
> 
>  From a semantical perspective, not from a syntactical. There's rules
> to disambiguate a dangling-else. And there's languages that designed
> a syntax without an inherent semantical ambiguity (that would need to
> be cleared by such rules).
> 
> For (yet another) example; my K&R shows a syntax for expressions like
> 
>    expression := binary
>    binary := binary + binary
>    binary := binary * binary
> 
> An actual expression   x = 2 + 3 * 4   would be "ambiguous" (without
> precedence rules).

That doesn't look right to me; what page is that from?

For a table-driven grammar, I'd write it like this:

      expr    = term {op term}*

      term    = number etc

With precedence defined by the grammar, it might be:

      expr    = factor {{'+' | '-'} factor}*

      factor  = term {{'*' | '/'} term}*

      term    = ...

But it would needed a production (and a production name) for each 
precedence level.


> (What a waste of time!)

Sorry for wasting your time; I didn't realise I was holding a gun to 
your head.

But your arrogant attacks on my remarks pretty much forced me to defend 
myself. My time of course isn't valuable.