-
Andrei Paskevich authored
This may produce false positives in cases like let x, ghost y = true, 3 + 42 (* (+) is logical here *) The use of curly braces will suppress the warning (TODO). Otherwise, this behaves reasonably well: there were only two warnings inside examples/, both valid.
2f6f9ac4