Same parameter length for TypeExpr method invocation

2024-02-19 18:53:41 +01:00 · 2024-02-19 18:53:41 +01:00 · a3d92c2b1d
commit a3d92c2b1d
parent 1f2acff7f7
1 changed files with 1 additions and 1 deletions
--- a/constraints.tex
+++ b/constraints.tex
@ -173,7 +173,7 @@ The ones to already typed methods and calls to untyped methods.
                  \end{array}\\
            & \ |\ 
            (\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} }
        \end{array}\\
      \mathbf{in} & \consSet_R \cup \overline{\consSet} \cup \constraint