`PW0031`

logical_mixed

The program must hold to this: | and & mixed in one chain are parenthesized: neither binds tighter.

A program the compiler refuses with it

Refused: PW0031

module shop.logic

fn shown(open: Bool, count: Int) -> Bool !{} {
    open & count > 0 | !open
}

From Values and types, in The language. A test holds the guide's examples to the compiler.

The decisions behind it

0322

Reading the diagnostic

pw check prints the code in brackets, [PW0031], with the sentence above and the place in your program. Errors and diagnostics explains how to read one, and every code is listed with its rule.