Dialyzer and raise exception behavior

[kokolegorille]

I had a similar question…

Type and spec - Dialyzer not detecting error

Hello everyone, I have been reading this book [Functional Programming] Domain Modeling Made Functional (Pragprog) (F#) and liked it a lot. I am trying to mimic conditional type from F# to Elixir with the use of spec, type and dyalixir defmodule Ddd.OrderTaking do @type result :: :ok | :error @spec create_unit_quantity(integer) :: result def create_unit_quantity(qty) when is_integer(qty) do cond do qty < 0 -> :error qty > 1_000 -> :error true -> :ok end end end If …