abstract class $GENERATE_AM |
---|
**** | This stage does a code walk from main and generates the AM form It causes errors for failures of type checking, name clashes, etc. It is inlined in time with the back-end for each emitted routine. |
GENERATE_AM |
generate_am; |
---|
**** | sig_out:FSET{SIG}; -- return table of SIGs which have been output. |
output_sig(sig:SIG); |
---|
**** | output a signature, if it hasn't been done. sig_out:FSET{SIG}; -- return table of SIGs which have been output. |
sig_recursive:FSET{SIG}; |
---|
**** | signatures of routines known to be recursive. |