search

uqbar-project / wollok

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

Desvincular los constructores del Type System #1905

Closed PalumboN closed 4 years ago

PalumboN commented 4 years ago

Actualmente la única conexión que hay es al inferir Pair.

El tema es eliminar los constructores :skull:

PalumboN commented 4 years ago

Related https://github.com/uqbar-project/wollok-language/issues/35

fdodino commented 4 years ago

Agrego el log que está tirando por abajo el Type system 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)
fdodino commented 4 years ago

El commit no tiene nada que ver, me confundí el número con el anterior, el 1904.

PalumboN commented 4 years ago

@fdodino Jaaja ok. Cuándo tira ese error?? Cómo lo veo?

fdodino commented 4 years ago

Levanté la aplicación desde dev directamente... y si ves el Stack Trace de la consola de Eclipse RCP (la original) me aparece...