Fix type system config - Githubissues

uqbar-project / wollok

Wollok Programming Language

GNU General Public License v3.0

60 stars 16 forks source link

Fix type system config #1969

Closed fdodino closed 3 years ago

fdodino commented 3 years ago

Este PR permite activar/desactivar el type system o que en lugar de mensajes de warning que tire error o info, y que no tire NPE como se reportó en el issue #1966.

Los dos primeros commit pertenecen a otro PR => #1968 que debería mergearse primero.

coveralls commented 3 years ago

Coverage remained the same at 86.195% when pulling b049a786764d69442402e8d64a4e241f3f89f697 on fix-type-system-config into b0fa409a81d1844b3bb4bfa50c73f73457b5d0ca on dev.