ClarifyMore

modelica · May 26, 2021 · 73d81d1 · 73d81d1
1 parent 548ef1d
commit 73d81d1
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/chapters/interface.tex b/chapters/interface.tex
@@ -540,7 +540,7 @@ \section{Function-Compatibility or Function-Subtyping for Functions}\label{funct
   constraining interface of the function being redeclared.
 \end{itemize}
 
-Note that function-compatibilty does currently not ensure that the function call has the correct variability, and that must then be checked after re-declaration.
+Note that function-compatibilty does currently not ensure that the function call has the correct variability, and that must then be checked after re-declaration - due the possibility of default arguments with higher variability.
 \begin{nonnormative}
 Thus any call of a function that is replaceable will need to be checked after redeclarations.
 \end{nonnormative}

diff --git a/chapters/operatorsandexpressions.tex b/chapters/operatorsandexpressions.tex
@@ -1378,7 +1378,7 @@ \section{Variability of Expressions}\label{variability-of-expressions}
   If \lstinline!v! is a discrete-time component then \lstinline!expr! needs to be a
   discrete-time expression.
 \end{itemize}
-
+Note that for a function call it is also necessary to consider the variability of any used default arguments, which can circumvent these rules - see \cref{function-compatibility}.
 \subsection{Constant Expressions}\label{constant-expressions}
 
 Constant expressions\index{constant expression}\index{expression variability!constant} are: