| 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. |
