[Cfp-interest 3203] Re: Various Updates to Annex F+G

Damian McGuckin damianm at esi.com.au
Wed Aug 14 19:18:23 PDT 2024


On Thu, 15 Aug 2024, Damian McGuckin wrote:

> If I could badly use the syntax of John Bacchus and Peter Naur, a BNF
> syntax of each special case is:
>
>     <function-name> ( <arguments> )
>     [ STORES <value-expression> INTO <pointer-name> ]
>     [ RETURNS <result> [ FOR <domain> ] [ ( <comment> ) ] ]
>     [ RAISES <floating point exception> [ WHEN <scenario> ] ]
>
>     RAISES is the lower-case keyword 'raises'
>     - it may be preceded by AND for reasons of English grammar

Add:

       - it may be preceded by the word 'optionally' where applicable

Sorry for the slipup - Damian


More information about the Cfp-interest mailing list