Mascot

Support for checks based on binary annotations, and for binary output mode have been added. Two new checks ('catch_all' to detect patterns catching all exceptions, and 'code.ignore_unit' check to detect application of 'ignore' to expression whose type is 'unit') have been added. Numerous bugs have been fixed. The codebase has been updated for OCaml 4.00.0.

Support for checks based on annotation files and support for checks using a state were added. The code checks "empty_for", "empty_try", and "empty_while" were added. The "deprecated" code check was added to detect deprecated elements. The "tuple_size" code check was added to detect lengthy tuples. Strict mode was added for documentation checks. Allowed modules in "code.open" check was fixed. Detection of useless parentheses in "if", "when", "while", and "for" constructs was fixed. The "code.physical_comparisons" check was fixed. Support for preprocessors was fixed. Detection of textual code duplication was fixed.