if/1¶

if( : Goal)*

Compile subsequent code only if Goal succeeds. For enhanced portability, Goal is processed by expand_goal//22 before execution. If an error occurs, the error is printed and processing proceeds as if Goal has failed.