From 4ceb6be1cccae283785fdc5ff7e3f2b99c711d5d Mon Sep 17 00:00:00 2001 From: Erik Ernst Date: Fri, 18 Oct 2024 14:19:18 +0200 Subject: [PATCH] WIP --- specification/dartLangSpec.tex | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/specification/dartLangSpec.tex b/specification/dartLangSpec.tex index fd4009f6f..70e45006b 100644 --- a/specification/dartLangSpec.tex +++ b/specification/dartLangSpec.tex @@ -23483,7 +23483,7 @@ \section*{Appendix: Algorithmic Subtyping} then \SubtypeNE{T_0}{T_1} if{}f \SubtypeNE{S_i}{T_1} for some $i$. \item \textbf{Positional Function Types:} - $T_0$ is + If $T_0$ is \code{$U_0$ \FUNCTION<% $X_0$\,\EXTENDS\,$B_{00}$, \ldots, $X_k$\,\EXTENDS\,$B_{0k}$>(% @@ -23497,7 +23497,7 @@ \section*{Appendix: Algorithmic Subtyping} $S_0$\,$y_0$, \ldots, $S_p$\,$y_p$, % [$S_{p+1}$\,$y_{p+1}$, \ldots, $S_q$\,$y_q$])} - such that each of the following criteria is satisfied, + then \SubtypeNE{T_0}{T_1} if{}f each of the following criteria is satisfied, where the $Z_i$ are fresh type variables with bounds $B_{0i}[Z_0/X_0, \ldots, Z_k/X_k]$: @@ -23512,7 +23512,7 @@ \section*{Appendix: Algorithmic Subtyping} \end{itemize} \item \textbf{Named Function Types:} - $T_0$ is + If $T_0$ is \code{% $U_0$ \FUNCTION<$X_0$\,\EXTENDS\,$B_{00}$, \ldots, % @@ -23530,7 +23530,7 @@ \section*{Appendix: Algorithmic Subtyping} \{$r_{1,n+1}$\,$S_{n+1}$\,$y_{n+1}$, \ldots, $r_{1q}$\,$S_q$\,$y_q$\})} where $r_{1j}$ is empty or \REQUIRED{} for $j \in n+1 .. q$ - and the following criteria are all satisfied, + then \SubtypeNE{T_0}{T_1} if{}f the following criteria are all satisfied, where \List{Z}{1}{k} are fresh type variables with bounds $B_{0i}[Z_0/X_0, \ldots, Z_k/X_k]$: