 
 
 
 
 
 
 
 
 
 










 
 Sig: Ejemplo de Árbol Decorado
Sup: Análisis de Tipos
 Ant: Comprobación de Tipos: Sentencia
 Err: Si hallas una errata ...
 
Comprobación de Tipos: Sentencias sin tipo
Usamos el tipo $VOID como tipo de aquellos constructos del
lenguaje que carecen de tipo:
nereida:~/doc/casiano/PLBOOK/PLBOOK/code/Simple-Types/lib/Simple> \
                                           sed -ne '67p' Trans.trg
statements: /STATEMENTS|PROGRAM|BREAK|CONTINUE/ => { $_[0]->{t} = $VOID }
 
 
 
 
 
 
 
 
 
 










 
 Sig: Ejemplo de Árbol Decorado
Sup: Análisis de Tipos
 Ant: Comprobación de Tipos: Sentencia
 Err: Si hallas una errata ...
Casiano Rodríguez León 
2012-05-22