Pair type by initializers

uqbar-project / wollok

Wollok Programming Language

GNU General Public License v3.0

61 stars 16 forks source link

Pair type by initializers #1909

Closed PalumboN closed 4 years ago

PalumboN commented 4 years ago

Fix https://github.com/uqbar-project/wollok/issues/1905 Fix https://github.com/uqbar-project/wollok/issues/1908

@fdodino bueno al final tomé sopa y salió :muscle:

Se infiere Pair desde la inicialización.
Saqué su constructor (tanto acá como de language, sino rompe).

Por otro lado dejé

El tuyo de los errores silenciosos: https://github.com/uqbar-project/wollok/issues/1907

coveralls commented 4 years ago

Coverage remained the same at 86.151% when pulling 1b531369e5565478c61df5bbac9c417c990ce30e on pair-type-by-initializers into 75393bdc68298b6ac39d73f7dda23638d12aaaff on dev.

PalumboN commented 4 years ago

Me quedó mal un build que no puedo restartear (creo que por un tema de permisos) :cry:

fdodino commented 4 years ago

Ahí lo restarteé, pero veamos qué permisos te faltan y te lo damos. Groso!! En un rato lo veo.

nscarcella commented 4 years ago

adsdflasfjasfdlaskf BRAVO!!!

PalumboN commented 4 years ago

Bueno, me quedé un poco con la bronca de terminar de tipar -> (https://github.com/uqbar-project/wollok/issues/1908) y ahí lo logré con el último commit :tada: Mergeo!