~sircmpwn/hare-dev

This thread contains a patchset. You're looking at the original emails, but you may wish to use the patch review UI. Review patch
1

[PATCH hare-specification] allow at most one function attribute in the grammar

Details
Message ID
<20250117025910.29515-1-bgs@turminal.net>
Sender timestamp
1737086345
DKIM signature
pass
Download raw message
Patch: +3 -8
Signed-off-by: Bor Grošelj Simić <bgs@turminal.net>
---
 language/unit.tex | 11 +++--------
 1 file changed, 3 insertions(+), 8 deletions(-)

diff --git a/language/unit.tex b/language/unit.tex
index 8e59a36..5bcdb7b 100644
--- a/language/unit.tex
+++ b/language/unit.tex
@@ -232,12 +232,8 @@ diagnostic message shall be printed and the translation phase shall be aborted.

\begin{grammar}
\nonterminaldef{function-declaration} \\
	\optional{\nonterminal{fndec-attrs}} \terminal{fn} \nonterminal{identifier} \nonterminal{prototype} \\
	\optional{\nonterminal{fndec-attrs}} \terminal{fn} \nonterminal{identifier} \nonterminal{prototype} \terminal{=} \nonterminal{expression} \\

\nonterminaldef{fndec-attrs} \\
	\nonterminal{fndec-attr} \\
	\nonterminal{fndec-attr} \nonterminal{fndec-attrs} \\
	\optional{\nonterminal{fndec-attr}} \terminal{fn} \nonterminal{identifier} \nonterminal{prototype} \\
	\optional{\nonterminal{fndec-attr}} \terminal{fn} \nonterminal{identifier} \nonterminal{prototype} \terminal{=} \nonterminal{expression} \\

\nonterminaldef{fndec-attr} \\
	\terminal{@fini} \\
@@ -282,8 +278,7 @@ named parameters have been made visible.
The \terminal{@fini} form of \nonterminal{fndec-attr} shall cause the
function to be a \textit{finalization function}. \terminal{@init} shall cause it
to be an \textit{initialization function}. \terminal{@test} shall cause it to be
a \textit{test function}. If multiple \nonterminal{fndec-attr}s of the same type
are specified, the last one shall override all previous ones.
a \textit{test function}.

\specsubsubitem
Functions declared with \terminal{@test}, \terminal{@init}, or \terminal{@fini}
-- 
2.47.1
Details
Message ID
<D78SNU4F847W.2W0VGJ4P8GR9P@d2evs.net>
In-Reply-To
<20250117025910.29515-1-bgs@turminal.net> (view parent)
Sender timestamp
1737568597
DKIM signature
pass
Download raw message
thanks!

to git@git.sr.ht:~sircmpwn/hare-specification
  1ee4386..f07ed81  master -> master
Reply to thread Export thread (mbox)