uqbar-project / wollok

Wollok Programming Language
GNU General Public License v3.0
61 stars 16 forks source link

Inferir Key del mensaje -> #1908

Closed PalumboN closed 4 years ago

PalumboN commented 4 years ago

Al crear un Pair con -> actualmente no se está infiriendo el tipo de la Key porque depende del receiver y no de la definición del método. Habría que hacer algo similar al SelfType (del método filter por ejemplo) pero a la inversa: no define el tipo genérico sino uno de sus parámetros.