search

uqbar-project / wollok

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

Language core changes #1888

Closed fdodino closed 4 years ago

fdodino commented 4 years ago

This PR needs to be merged after https://github.com/uqbar-project/wollok-language/pull/51, where a lot of issues are fixed.

coveralls commented 4 years ago

Coverage Status

Coverage increased (+0.01%) to 85.968% when pulling ba106ca0e20808fd549c4a4ca350413a220b00bb on language-core-changes into 1921816346521f8e047cba0293935714f390ee82 on dev.

fdodino commented 4 years ago

Esos cambios que aparecen de wollok-language qué onda? Afectan el otro repo? Desaparecerían cuando se mergea el otro PR?

Sí, primero hay que mergear el PR de Wollok Language porque si no el build de dev va a dar error.