Differences
This shows you the differences between two versions of the page.
| Next revisionBoth sides next revision | |||
| teaching:cc4101:tareas:2020-1:tarea1 [2020/04/13 12:49] – Copia de la tarea 1 de 2019-1 kmaillard | teaching:cc4101:tareas:2020-1:tarea1 [2020/04/14 07:08] – [2. Verificación de Tipos [1.5pt]] kmaillard | ||
|---|---|---|---|
| Line 68: | Line 68: | ||
| * Para la aplicación de función se valida que la expresión en posición de función sea efectivamente una función. | * Para la aplicación de función se valida que la expresión en posición de función sea efectivamente una función. | ||
| * Para la aplicación de función también se valida que el tipo de la expresión de argumento de la aplicación coincide con el tipo esperado del argumento de la función. | * Para la aplicación de función también se valida que el tipo de la expresión de argumento de la aplicación coincide con el tipo esperado del argumento de la función. | ||
| - | * Para la aplicación de un operador se valida que sus operandos tengan el tipo correcto. | + | * Para la aplicación de un operador |
| Los mensaje de error de tipo tienen que seguir el siguiente patrón: | Los mensaje de error de tipo tienen que seguir el siguiente patrón: | ||