Mensajes de error múltiples
La implementación de los chequeos estáticos, actualmente solo informa del primer error encontrado durante la verificación de un programa. Puede ser útil poder añadir la capacidad de generar múltiples mensajes de error durante el análisis estático. Un ejemplo donde tener varios mensajes de error puede ser beneficioso es el siguiente:
fun f() ret r : bool
r := 1
end fun
fun g() ret r : real
r := true
end fun
Para esto, puede que sea necesario realizar dos pasadas al arbol sintáctico. La primera, se encargaría de verificar solo los prototipos de las distintas declaraciones de tipos y de funciones / procedimientos. Si esta verificación no encuentra errores semánticos, se procede a la parte siguiente. En la segunda, se verifican los cuerpos de las declaraciones anteriormente mencionadas. De esta forma, se puede concatenar todos los mensajes de error que suceden propiamente en alguna de las dos pasadas.