From a7293be23f72c83400edb5aa0cf30d124d5bc592 Mon Sep 17 00:00:00 2001
From: Brujo Benavides <elbrujohalcon@gmail.com>
Date: Mon, 6 Feb 2023 10:10:52 +0100
Subject: [PATCH] Add more dialyzer checks (#40)

---
 .github/workflows/erlang.yml | 2 +-
 rebar.config                 | 2 +-
 src/proc.erl                 | 2 +-
 3 files changed, 3 insertions(+), 3 deletions(-)

diff --git a/.github/workflows/erlang.yml b/.github/workflows/erlang.yml
index 7b4094d..3c7507b 100644
--- 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
index 02fa96a..df95de7 100644
--- 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
index 898c203..7ba7e99 100644
--- 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(),