search

uqbar-project / wollok

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

lookupMethod: checkear tipos de los métodos #1890

Open PalumboN opened 4 years ago

PalumboN commented 4 years ago

Al relacionar un envío de mensaje con su método hay que checkear los tipos de las entradas y salidas: https://github.com/uqbar-project/wollok/blob/1921816346521f8e047cba0293935714f390ee82/org.uqbar.project.wollok.typeSystem/src/org/uqbar/project/wollok/typesystem/AbstractContainerWollokType.xtend#L40-L44