The ex_union from alexocode

ex_union's People

Contributors

Stargazers

Watchers

ex_union's Issues

Dialyzer warnings

👋🏼 Hi there. Thanks for sharing this library 🙌🏼 .
I'm playing around with it to implement some basic union types. However, Elixir's LD Dialyzer is complaining about overloaded contracts and invalid specifications:

defmodule MyApp.Result do
  import ExUnion

  defunion(ok(value) | error(value))
end

Overloaded contract for 'Elixir.MyApp.Result.Error':new/1 has overlapping domains; such contracts are currently unsupported and are simply ignored (ElixirLS Dialyzer)
──────────────────────────────────────────────────────────────────────────────
Overloaded contract for 'Elixir.MyApp.Result.Ok':new/1 has overlapping domains; such contracts are currently unsupported and are simply ignored (ElixirLS Dialyzer)
──────────────────────────────────────────────────────────────────────────────
Invalid type specification for function 'Elixir.MyApp.Result':'__union__'/0. The success typing is 
          () ->
             #{'__struct__' := 'Elixir.ExUnion.Definition',
               'module' := 'Elixir.MyApp.Result',
               'name' := <<_:48>>,
               'types' :=
                   [#{'__struct__' := 'Elixir.ExUnion.Definition.Type',
                      'fields' := [any(), ...],
                      'module' :=
                          'Elixir.MyApp.Result.Error' |
                          'Elixir.MyApp.Result.Ok',
                      'name' := 'error' | 'ok'},
                    ...]} (ElixirLS Dialyzer)

Are you also experiencing this?

Recommend Projects