Skip to content

Commit

Permalink
Correct a typo about closurization
Browse files Browse the repository at this point in the history
  • Loading branch information
eernstg committed May 31, 2023
1 parent ada6b9e commit 1c7d5ac
Showing 1 changed file with 2 additions and 2 deletions.
4 changes: 2 additions & 2 deletions specification/dartLangSpec.tex
Original file line number Diff line number Diff line change
Expand Up @@ -15274,7 +15274,7 @@ \subsubsection{Instance Method Closurization}
\LMHash{}%
Otherwise $T$ is a generic instantiation of a generic class $G$.
Let $X''_1, \ldots, X''_{s''}$ be the formal type parameters of $G$,
and $t''_1, \ldots, t''_{s''}$ be the actual type arguments of $o$ at $T$.
and $t''_1, \ldots, t''_{s''}$ be the actual type arguments of $o$ at $G$.
Then $T_j$ is a type annotation that denotes
$[t''_1/X''_1, \ldots, t''_{s''}/X''_{s''}]S_j$,
where $S_j$ is the type annotation of the corresponding parameter in $D$.
Expand Down Expand Up @@ -15438,7 +15438,7 @@ \subsubsection{Super Closurization}
\LMHash{}%
Otherwise $S$ is a generic instantiation of a generic class $G$.
Let $X''_1, \ldots, X''_{s''}$ be the formal type parameters of $G$,
and $t''_1, \ldots, t''_{s''}$ be the actual type arguments of $o$ at $S$.
and $t''_1, \ldots, t''_{s''}$ be the actual type arguments of $o$ at $G$.
Then $T_j$ is a type annotation that denotes
$[t''_1/X''_1, \ldots, t''_{s''}/X''_{s''}]S_j$,
where $S_j$ is the type annotation of the corresponding parameter in $D$.
Expand Down

0 comments on commit 1c7d5ac

Please sign in to comment.