Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Errores silenciosos del TS #1907

Open
PalumboN opened this issue Aug 9, 2020 · 1 comment
Open

Errores silenciosos del TS #1907

PalumboN opened this issue Aug 9, 2020 · 1 comment

Comments

@PalumboN
Copy link
Contributor

PalumboN commented Aug 9, 2020

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.

  • Habría que detectar esos casos y evitarlos, ya que actualmente se agregan en la declaración del core y solamente las clases del core permiten ser genéricas.
@PalumboN
Copy link
Contributor Author

PalumboN commented Aug 9, 2020

Esto podría estar relacionado con #1635

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

No branches or pull requests

1 participant