How to type a function returning an Erlang type?
|
|
1
|
1061
|
January 5, 2020
|
Dialyxir: reason why default plt location is `priv/plts/`?
|
|
1
|
1115
|
November 20, 2019
|
Making dialyxir _and_ dialyzex available in mix?
|
|
3
|
769
|
July 11, 2019
|
How did Dialyzer come up with an empty list success type?
|
|
2
|
1146
|
July 6, 2019
|
Property generators make Dialyzer complain, ideas how to make it happy?
|
|
11
|
1158
|
June 12, 2019
|
Opaque types and spec warning in dialyxir
|
|
9
|
1594
|
May 7, 2019
|
Dialyxir warning about unknown functions
|
|
5
|
2440
|
May 6, 2019
|
Dialyxir: unknown_type for some :crypto types
|
|
2
|
882
|
January 30, 2019
|
Which version of elixir-otp-erlang can we use with dialyzer?
|
|
10
|
1411
|
November 16, 2018
|
Dialyxir can't detect error of anonymous function while Erlang can
|
|
2
|
1259
|
November 15, 2018
|
Dialyzer giving warnings that make no sense
|
|
13
|
3074
|
November 14, 2018
|
Dialyzer not compiling correctly
|
|
11
|
4715
|
November 13, 2018
|
Confused about spec/dialyxir: "Invalid type specification for function"
|
|
18
|
2975
|
September 14, 2018
|
Dialyzer returns warnings connected with dependencies
|
|
3
|
1898
|
September 11, 2018
|
Help with dialyzer warning on typespec that includes anonymous function
|
|
7
|
1581
|
August 25, 2018
|
Dialyxir Pretty Printing: All your errors are belong to us (please)!
|
|
20
|
3313
|
June 29, 2018
|
Is Dialyzer fetching incorrect specs, or are they incorrect in Meeseeks?
|
|
21
|
1801
|
June 15, 2018
|
How to declare type variables using elixir/dialyixir?
|
|
16
|
3963
|
May 4, 2018
|
Dialyxir - Recent Updates and Request for Feedback
|
|
43
|
6085
|
April 24, 2017
|