Add more dialyzer checks (#40)

AdRoll · Feb 6, 2023 · a7293be · a7293be
1 parent fbd8b90
commit a7293be
Show file tree

Hide file tree

Showing 3 changed files with 3 additions and 3 deletions.
diff --git a/.github/workflows/erlang.yml b/.github/workflows/erlang.yml
@@ -13,7 +13,7 @@ jobs:
 
     strategy:
       matrix:
-        otp: ['23.3', '24.3', '25.2.1']
+        otp: ['25.2.1']
         rebar: ['3.20.0']
 
     steps:

diff --git a/rebar.config b/rebar.config
@@ -10,7 +10,7 @@
 {deps, []}.
 
 {dialyzer,
- [{warnings, [no_return, error_handling]},
+ [{warnings, [unknown, no_return, error_handling, missing_return, extra_return]},
   {plt_apps, top_level_deps},
   {plt_extra_apps, []},
   {plt_location, local},

diff --git a/src/proc.erl b/src/proc.erl
@@ -31,7 +31,7 @@
 %%==============================================================================
 
 %% @doc: Creates a new process.
--spec new() -> Proc :: pid().
+-spec new() -> pid() | {error, _}.
 new() ->
     process_flag(trap_exit, true),
     Parent = self(),