From 3d261b7cf4be4c93d30ab5064cfe2ebc49daf0b5 Mon Sep 17 00:00:00 2001 From: HOS Date: Wed, 6 May 2026 16:47:33 +0200 Subject: [PATCH 1/2] Clarify simple function call. --- chapters/equations.tex | 3 +++ 1 file changed, 3 insertions(+) diff --git a/chapters/equations.tex b/chapters/equations.tex index 4d02023cc..08a7985d3 100644 --- a/chapters/equations.tex +++ b/chapters/equations.tex @@ -59,6 +59,9 @@ \subsection{Simple Equality Equations}\label{simple-equality-equations} Also compare with \cref{assignments-from-called-functions-with-multiple-results} about calling functions with multiple outputs in assignment statements. \end{nonnormative} +Note that there is also \lstinline!function_name(inexpr1, inexpr2);! which calls the given function or operator. +It behaves similarly to a simple equation (calling the function or operator but ignoring any potential output), even if it uses a different production in the grammar. +It is used for special operators like \lstinline!reinit! (\cref{reinit}), \lstinline!assert! (\cref{assert}), and \lstinline!terminate! (\cref{terminate}). \subsection{For-Equations -- Repetitive Equation Structures}\label{for-equations-repetitive-equation-structures} From 323479306aec3ce017243bef660bb3fc31c55621 Mon Sep 17 00:00:00 2001 From: Hans Olsson Date: Thu, 7 May 2026 14:27:10 +0200 Subject: [PATCH 2/2] Update chapters/equations.tex Co-authored-by: Henrik Tidefelt --- chapters/equations.tex | 1 + 1 file changed, 1 insertion(+) diff --git a/chapters/equations.tex b/chapters/equations.tex index 08a7985d3..b343a8b01 100644 --- a/chapters/equations.tex +++ b/chapters/equations.tex @@ -63,6 +63,7 @@ \subsection{Simple Equality Equations}\label{simple-equality-equations} It behaves similarly to a simple equation (calling the function or operator but ignoring any potential output), even if it uses a different production in the grammar. It is used for special operators like \lstinline!reinit! (\cref{reinit}), \lstinline!assert! (\cref{assert}), and \lstinline!terminate! (\cref{terminate}). + \subsection{For-Equations -- Repetitive Equation Structures}\label{for-equations-repetitive-equation-structures} The syntax of a \lstinline!for!-equation\index{for@\robustinline{for}!equation}\index{loop@\robustinline{loop}!for-equation@\robustinline{for}-equation} is given by \productionref{for-equation} in the grammar.