From b235410459df2a9f680ef13e7a7e5c5e88eb7e0c Mon Sep 17 00:00:00 2001 From: Henrik Tidefelt Date: Tue, 3 Nov 2020 07:43:58 +0100 Subject: [PATCH] Put spaces in correct locations of overloaded constructor call --- chapters/overloaded.tex | 16 ++++++---------- 1 file changed, 6 insertions(+), 10 deletions(-) diff --git a/chapters/overloaded.tex b/chapters/overloaded.tex index a9e0f7d9b..af51c4003 100644 --- a/chapters/overloaded.tex +++ b/chapters/overloaded.tex @@ -106,20 +106,16 @@ \section{Matching Function}\label{matching-function} \section{Overloaded Constructors}\label{overloaded-constructors} Let \lstinline!C! denote an operator record class and consider an expression -\lstinline!C($A_1$, $a_{2}$, $\ldots$, $a_{k}$, $b_{1}$ = $w_{1}$, $\ldots$, $b_{p}$ = $w_{p}$)!. +\lstinline!C($A_1$, $a_{2}$, $\ldots$, $a_{k}$, $b_{1}$=$w_{1}$, $\ldots$, $b_{p}$=$w_{p}$)!. \begin{enumerate} \item\label{overloaded-constructor-unique} If there exists a unique function $f$ in \lstinline!C.'constructor'! such that - ($A_1$, $a_{2}$,\ldots{}, $a_{k}$, - $b_{1}$= $w_{1}$ ,\ldots{}, $b_{p}$= - $w_{p}$) is a valid match for the function $f$, then - C($A_1$, $a_{2}$,\ldots{}, $a_{k}$, - $b_{1}$= $w_{1}$ ,\ldots{}, $b_{p}$= - $w_{p}$) is resolved to\\ - C.'constructor'.f($A_1$, $a_{2}$,\ldots{}, - $a_{k}$, $b_{1}$= $w_{1}$ ,\ldots{}, - $b_{p}$= $w_{p}$). + ($A_1$, $a_{2}$, \ldots{}, $a_{k}$, $b_{1}$=$w_{1}$, \ldots{}, $b_{p}$=$w_{p}$) + is a valid match for the function $f$, then + \lstinline!C($A_1$, $a_{2}$, $\ldots$, $a_{k}$, $b_{1}$=$w_{1}$, $\ldots$, $b_{p}$=$w_{p}$)! + is resolved to + \lstinline!C.'constructor'.$f$($A_1$, $a_{2}$, $\ldots$, $a_{k}$, $b_{1}$=$w_{1}$, $\ldots$, $b_{p}$=$w_{p}$)!. \item If there is no operator \lstinline!C.'constructor'! the automatically generated record constructor is called. \item