### 3.9.7 option(warn)

If this option is set some constructs which may lead to bug will result in a warning. While there are legitimate uses for them and they are not errors is is worth thinking about it.

- change of options during a procedure call: is this side effect intended?
- use of `def`: avoids type checking, but useful if a procedure handles several types at once
- `ASSUME` outside of procedures: while a failed `ASSUME` aborts the current procedures and return to the top level - what should it do at top level?

See option.

User manual for Singular version 4.4.1, 2025, generated by texi2html.