uqbar-project / wollok

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

Fix #1769 reload source repl #1921

Closed fdodino closed 4 years ago

fdodino commented 4 years ago

Bueno @PalumboN , con esto pienso cerrar el milestone, el fix al #1769 tiene todos los chiches que nos gustarían:

PR_REPL_1769

Una vez que mergeemos esta historia, largo el deploy de la 2.0.1 si te parece bien...

coveralls commented 4 years ago

Coverage Status

Coverage remained the same at 86.19% when pulling f94717e1eb6d62b20fe7337d35d61ab5c8510d52 on fix-#1769-reload-source-REPL into 8791c5b64b4216e543486bb27eedb9c345c8f410 on dev.