File 0135-beam_call_types-Correct-type-for-list_to_b... of Package erlang

Overview Repositories Revisions Requests Users Attributes Meta

File 0135-beam_call_types-Correct-type-for-list_to_bitstring-1.patch of Package erlang (Revision db1acd30fa2136b2cf32ed954074cb8e)

Currently displaying revision db1acd30fa2136b2cf32ed954074cb8e , Show latest

From 7cdd9c9013eba89e8bf06f5eac87537e4c88ada1 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Bj=C3=B6rn=20Gustavsson?= <bjorn@erlang.org>
Date: Sun, 11 Dec 2022 08:03:32 +0100
Subject: [PATCH 1/4] beam_call_types: Correct type for list_to_bitstring/1

list_to_bitstring/1 accepts a bitstring in the tail of the list.
---
 lib/compiler/src/beam_call_types.erl | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/lib/compiler/src/beam_call_types.erl b/lib/compiler/src/beam_call_types.erl
index 73f704695e..1dd4256ccf 100644
--- a/lib/compiler/src/beam_call_types.erl
+++ b/lib/compiler/src/beam_call_types.erl
@@ -388,7 +388,7 @@ types(erlang, 'list_to_binary', [_]) ->
     sub_unsafe(#t_bitstring{size_unit=8}, [#t_list{}]);
 types(erlang, 'list_to_bitstring', [_]) ->
     %% As list_to_binary but with bitstrings rather than binaries.
-    sub_unsafe(#t_bitstring{}, [proper_list()]);
+    sub_unsafe(#t_bitstring{}, [#t_list{}]);
 
 %% Process operations
 types(erlang, alias, []) ->
-- 
2.35.3

Places

File 0135-beam_call_types-Correct-type-for-list_to_bitstring-1.patch of Package erlang (Revision db1acd30fa2136b2cf32ed954074cb8e)

Places