Why comparing atoms gives typing violation warning? consider: defmodule MyModule do def test do :a < :b end end mix compile my_module.ex gives a warning: Compiling 1 file (.ex) warning: comparison between incompatible types found: :a < :b While Elixir can compare acros…

Because :a and :b are not considered to be of type atom() but respectively as type :a and :b. [image] Elixir v1.17.0-rc.0 released atom() - it represents all atoms and it is divisible. For instance, the atom :foo and :hello_world are also valid (distinct) types.

Typing violation warning when comparing atoms

Questions / Help

antoine-duchenet June 19, 2024, 7:34am 3

Because :a and :b are not considered to be of type atom() but respectively as type :a and :b.

4 Likes