Skip to main content

W0019 - Expression can be simplified

Warning​

-module(main).
foo(X) ->
  bar([] ++ [1]).
%% ^^^^^^^^^ 💡 warning: Can be simplified to `[1]`.

Explanation​

The warning indicates that an expression can be trivially simplified to a more concise form without changing its behavior. This diagnostic helps improve code readability and can be especially useful during code refactoring and optimization.

Supported Simplifications​

List Operations​

  • Append with empty list: [] ++ X → X and X ++ [] → X
  • Subtract with empty list: [] -- X → [] and X -- [] → X

Arithmetic Operations​

  • Addition with zero: 0 + X → X and X + 0 → X
  • Subtraction with zero: 0 - X → -X and X - 0 → X
  • Multiplication by one: 1 * X → X and X * 1 → X
  • Division by one: X div 1 → X
  • Remainder by one: X rem 1 → 0

Boolean Operations​

  • Short-circuit evaluation: true andalso X → X and false orelse X → X
  • Negation of literals: not true → false and not false → true

Note on Macros​

This diagnostic does not apply to expressions that involve macro expansions, as simplifying them might change the intended behavior or readability of the code.