Fix type system issues - Githubissues

uqbar-project / wollok

Wollok Programming Language

GNU General Public License v3.0

60 stars 16 forks source link

Fix type system issues #1991

Closed PalumboN closed 3 years ago

PalumboN commented 3 years ago

Fix https://github.com/uqbar-project/wollok/issues/1751 Fix https://github.com/uqbar-project/wollok/issues/1958 Fix https://github.com/uqbar-project/wollok/issues/1641 Fix https://github.com/uqbar-project/wollok/issues/1965

coveralls commented 3 years ago

Coverage remained the same at 83.946% when pulling bc376c3e69b4454358a97b03a110dc336a8076cb on fix-type-system-issues into 1b57de0468ec9059cc7f13e96bfe8bae0cdfa6ba on dev.

PalumboN commented 3 years ago

Buenísimo @fdodino, ahora cuando termine el CI mergeo. Vengo trabajando en más cosas pero lo mando a otro PR para ir cerrando issues.