Compare commits
2 Commits
1f2acff7f7
...
132f34e2b9
Author | SHA1 | Date | |
---|---|---|---|
|
132f34e2b9 | ||
|
a3d92c2b1d |
@ -173,7 +173,7 @@ The ones to already typed methods and calls to untyped methods.
|
|||||||
\end{array}\\
|
\end{array}\\
|
||||||
& \ |\
|
& \ |\
|
||||||
(\exptype{C}{\ol{X} \triangleleft \ol{N}}.\texttt{m} : \generics{\ol{Y} \triangleleft \ol{N'}}\overline{\type{T}} \to \type{T}) \in
|
(\exptype{C}{\ol{X} \triangleleft \ol{N}}.\texttt{m} : \generics{\ol{Y} \triangleleft \ol{N'}}\overline{\type{T}} \to \type{T}) \in
|
||||||
{\mtypeEnvironment}
|
{\mtypeEnvironment}, \, |\ol{T}| = |\ol{e}|
|
||||||
, \, \overline{\wtv{a}} \text{ fresh}, \, \overline{\wtv{b}} \text{ fresh} }
|
, \, \overline{\wtv{a}} \text{ fresh}, \, \overline{\wtv{b}} \text{ fresh} }
|
||||||
\end{array}\\
|
\end{array}\\
|
||||||
\mathbf{in} & \consSet_R \cup \overline{\consSet} \cup \constraint
|
\mathbf{in} & \consSet_R \cup \overline{\consSet} \cup \constraint
|
||||||
|
@ -95,12 +95,12 @@ $\begin{array}{l}
|
|||||||
$\begin{array}{l}
|
$\begin{array}{l}
|
||||||
\typerule{S-Extends}\\
|
\typerule{S-Extends}\\
|
||||||
\begin{array}{@{}c}
|
\begin{array}{@{}c}
|
||||||
\texttt{class}\ \exptype{C}{\overline{\type{X} \triangleleft \type{U}}} \triangleleft \exptype{D}{\ol{S}} \ \{ \ldots \} \\
|
\texttt{class}\ \exptype{C}{\overline{\type{X} \triangleleft \type{U}}} \triangleleft \type{N} \ \{ \ldots \} \\
|
||||||
\ol{X} \cap \text{dom}(\Delta) = \emptyset
|
\ol{X} \cap \text{dom}(\Delta) = \emptyset
|
||||||
\\
|
\\
|
||||||
\hline
|
\hline
|
||||||
\vspace*{-0.3cm}\\
|
\vspace*{-0.3cm}\\
|
||||||
\Delta \vdash \wcNtype{\Delta'}{\type{N}} <: \wcNtype{\Delta'}{[\ol{T}/\ol{X}]\type{N}}
|
\Delta \vdash \wctype{\Delta'}{C}{\ol{T}} <: \wcNtype{\Delta'}{[\ol{T}/\ol{X}]\type{N}}
|
||||||
\end{array}
|
\end{array}
|
||||||
\end{array}$
|
\end{array}$
|
||||||
$\begin{array}{l}
|
$\begin{array}{l}
|
||||||
|
Loading…
x
Reference in New Issue
Block a user