File 2321-erts-Make-types-nonempty_-binary-bitstring... of Package erlang

Overview Repositories Revisions Requests Users Attributes Meta

File 2321-erts-Make-types-nonempty_-binary-bitstring-builtin.patch of Package erlang

From 1b8eec0834fe08421c94bf9eb40f38ba14e180e7 Mon Sep 17 00:00:00 2001
From: Hans Bolinder <hasse@erlang.org>
Date: Wed, 9 Jun 2021 08:18:03 +0200
Subject: [PATCH] erts: Make types nonempty_{binary,bitstring} builtin

Addendum to commit 10a4f5a.
---
 .../small_SUITE_data/src/binary_redef.erl     | 22 -------------------
 1 file changed, 22 deletions(-)
 delete mode 100644 lib/dialyzer/test/small_SUITE_data/src/binary_redef.erl

diff --git a/lib/dialyzer/test/small_SUITE_data/src/binary_redef.erl b/lib/dialyzer/test/small_SUITE_data/src/binary_redef.erl
deleted file mode 100644
index 851b8180d3..0000000000
--- a/lib/dialyzer/test/small_SUITE_data/src/binary_redef.erl
+++ /dev/null
@@ -1,22 +0,0 @@
--module(binary_redef).
-
--export([t/0]).
-
--export_type([nonempty_binary/0, nonempty_bitstring/0]).
-
--type nonempty_binary() :: integer().
--type nonempty_bitstring() :: integer().
-
-t() ->
-    I = new(),
-    t1(I).
-
--spec t1(nonempty_bitstring()) -> nonempty_bitstring().
-
-t1(A) ->
-    A + A.
-
--spec new() -> nonempty_binary().
-
-new() ->
-    3.
-- 
2.26.2

Places

File 2321-erts-Make-types-nonempty_-binary-bitstring-builtin.patch of Package erlang

Places