Skip to content

Commit

Permalink
Replace en-dash by parenthesis in constrainedby requirement
Browse files Browse the repository at this point in the history
  • Loading branch information
henrikt-ma committed Jul 14, 2020
1 parent 7de7439 commit 85cb658
Showing 1 changed file with 3 additions and 6 deletions.
9 changes: 3 additions & 6 deletions chapters/inheritance.tex
Expand Up @@ -983,12 +983,9 @@ \subsection{Constraining Type}\doublelabel{constraining-type}
replaceable type T=T1[n] constrainedby T2;
replaceable T1[n] x constrainedby T2;
\end{lstlisting}
In these examples the number of dimensions must be the same in \lstinline!T1!
and \lstinline!T2!, as well as in a redeclaration. Normally \lstinline!T1! and \lstinline!T2! are scalar
types, but both could also be defined as array types -- with the same
number of dimensions. Thus if \lstinline!T2! is a scalar type (e.g.\ \lstinline!type T2 = Real!)
then \lstinline!T1! must also be a scalar type; and if \lstinline!T2! is defined as vector type
(e.g.\ \lstinline!type T2 = Real[3]!) then \lstinline!T1! must also be vector type.
In these examples the number of dimensions must be the same in \lstinline!T1! and \lstinline!T2!, as well as in a redeclaration. Normally \lstinline!T1! and \lstinline!T2! are scalar types, but both
could also be defined as array types (with the same number of dimensions). Thus if \lstinline!T2! is a scalar type (e.g.\ \lstinline!type T2 = Real!) then \lstinline!T1! must also be a scalar type,
and if \lstinline!T2! is defined as vector type (e.g.\ \lstinline!type T2 = Real[3]!) then \lstinline!T1! must also be vector type.
\end{example}

\subsubsection{Constraining-clause annotations}\doublelabel{constraining-clause-annotations}
Expand Down

0 comments on commit 85cb658

Please sign in to comment.