Incompatibility closure types

uqbar-project / wollok

Wollok Programming Language

GNU General Public License v3.0

61 stars 16 forks source link

Incompatibility closure types #1900

Closed PalumboN closed 4 years ago

PalumboN commented 4 years ago

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

El problema originalmente reportado ya había sido solucionado hace tiempo, cuando unificamos los GenericTypeInfo.
El problema que se cuenta al final del issue era debido a que se quería armar un tipo recursivo infinito, se agregó esa validación.
De paso testié y arreglé otros casos relacionados.

coveralls commented 4 years ago

Coverage remained the same at 86.151% when pulling a80682beb30d49995927279009fc37fe1a311d02 on incompatibility-closure-types into 75ef9d3cd65a4ea8deb528c6d2cd80b57f4833a9 on dev.