From 1430d47cfd5cc978617744cb2ab8f9c602895b17 Mon Sep 17 00:00:00 2001
From: Aleksey Kashapov <nanodirijabl@gmail.com>
Date: Tue, 19 May 2026 16:58:42 +0300
Subject: [PATCH 1/4] Updates typespec to follow new dialyzer rules in
 Erlang/OTP 28

See https://www.erlang.org/patches/otp-28.0#OTP-19364

- Changes opaque for `genlib_rational` to regular type since we expect it to be
non-opaquely refered outside of this module/lib
---
 src/genlib_rational.erl | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/genlib_rational.erl b/src/genlib_rational.erl
index db728c1..b99a100 100644
--- a/src/genlib_rational.erl
+++ b/src/genlib_rational.erl
@@ -33,7 +33,7 @@
 
 %%
 
--opaque t() :: {integer(), pos_integer()}.
+-type t() :: {integer(), pos_integer()}.
 
 -type rounding_method() :: round_half_towards_zero | round_half_away_from_zero.
 

From 2fffba065536b2c6e339691608b9c63a6a5c3391 Mon Sep 17 00:00:00 2001
From: Aleksey Kashapov <nanodirijabl@gmail.com>
Date: Tue, 19 May 2026 17:03:50 +0300
Subject: [PATCH 2/4] Bumps CI workflow

---
 .github/workflows/erlang-checks.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/workflows/erlang-checks.yml b/.github/workflows/erlang-checks.yml
index da30f02..21412ba 100644
--- a/.github/workflows/erlang-checks.yml
+++ b/.github/workflows/erlang-checks.yml
@@ -26,7 +26,7 @@ jobs:
   run:
     name: Run checks
     needs: setup
-    uses: valitydev/erlang-workflows/.github/workflows/erlang-parallel-build.yml@v1.0.16
+    uses: valitydev/erlang-workflows/.github/workflows/erlang-parallel-build.yml@v1
     with:
       otp-version: ${{ needs.setup.outputs.otp-version }}
       rebar-version: ${{ needs.setup.outputs.rebar-version }}

From c815a9da0ec300e6ad02b3e73bb07bda28c6705f Mon Sep 17 00:00:00 2001
From: Aleksey Kashapov <nanodirijabl@gmail.com>
Date: Tue, 19 May 2026 17:08:51 +0300
Subject: [PATCH 3/4] Bumps `.env`

---
 .env | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/.env b/.env
index 9d17a1c..839106d 100644
--- a/.env
+++ b/.env
@@ -1,2 +1,2 @@
-OTP_VERSION=27.1.2
-REBAR_VERSION=3.24
\ No newline at end of file
+OTP_VERSION=28.5.0
+REBAR_VERSION=3.26
\ No newline at end of file

From b63b77a918d0312242677889086a85992b5d9187 Mon Sep 17 00:00:00 2001
From: Aleksey Kashapov <nanodirijabl@gmail.com>
Date: Tue, 19 May 2026 17:41:00 +0300
Subject: [PATCH 4/4] Removes obsolete `map/0` type - now provided by `proper`
 lib

---
 test/prop_genlib_map.erl | 3 ---
 1 file changed, 3 deletions(-)

diff --git a/test/prop_genlib_map.erl b/test/prop_genlib_map.erl
index b4613f2..b5ee0e8 100644
--- a/test/prop_genlib_map.erl
+++ b/test/prop_genlib_map.erl
@@ -114,9 +114,6 @@ maps_common_keys(LeftMap, RightMap) ->
         )
     ).
 
-map() ->
-    ?LET(KVList, list({term(), term()}), maps:from_list(KVList)).
-
 non_empty_map() ->
     ?LET(KVList, non_empty(list({term(), term()})), maps:from_list(KVList)).