Next: Well-formedness -- Data Parameters, Previous: Well-formedness -- Injection, Up: Well-formedness [Contents][Index]
action
s. See the sections on ’Mixing’ and ’Direction’ above,
• Missing return | ||
• Cannot use return outside of function | ||
• Cannot use statement after recursive call |