Recursion detection: Currently the FunnelWeb analyser flags, with
an error, all macros with an infinite expansion. This would be best
changed to flagging all macros that are directly or indirectly recursive.
To do this, Tarjan's algorithm[Tarjan72]
[1]
for the detection of strong components should
be installed.
Once only macros: By default FunnelWeb prevents a macro from being called more than once unless it has a ``@M'' associated with it. However, FunnelWeb does allow a macro that calls such a macro to be called more than once. Perhaps this ``loophole'' should be plugged somehow.