search

uqbar-project / wollok

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

Errores silenciosos del TS #1907

Open PalumboN opened 4 years ago

PalumboN commented 4 years ago

Al levantar la aplicación desde Eclipse, en la consola original se tiran los siguientes errores (detectado en Wollok Ingalls):

java.lang.IllegalArgumentException: ConstraintBasedTypeSystem: tried to get a class type for wollok.lang.Pair but this is not possible because it is a generic type and must be instantiated before being used
    at org.uqbar.project.wollok.typesystem.constraints.ConstraintBasedTypeSystem.classType(ConstraintBasedTypeSystem.java:264)
    at org.uqbar.project.wollok.typesystem.constraints.ConstraintGenerator._addGlobals(ConstraintGenerator.java:141)
    at org.uqbar.project.wollok.typesystem.constraints.ConstraintGenerator.addGlobals(ConstraintGenerator.java:582)
    at org.uqbar.project.wollok.typesystem.constraints.ConstraintGenerator.lambda$0(ConstraintGenerator.java:130)

Esto sucede porque intenta agregar todas las clases como instancia de un tipo pero algunas tienen un tipo genérico.

PalumboN commented 4 years ago

Esto podría estar relacionado con https://github.com/uqbar-project/wollok/issues/1635