Sign Up
Log In
Log In
or
Sign Up
Places
All Projects
Status Monitor
Collapse sidebar
home:Ledest:erlang:23
erlang
5051-beam_ssa-Correct-a-few-specs.patch
Overview
Repositories
Revisions
Requests
Users
Attributes
Meta
File 5051-beam_ssa-Correct-a-few-specs.patch of Package erlang
From 212a889a4ca3b13f3e2601358974dbee9cd7ca38 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Bj=C3=B6rn=20Gustavsson?= <bjorn@erlang.org> Date: Mon, 28 Feb 2022 09:34:24 +0100 Subject: [PATCH 2/2] beam_ssa: Correct a few specs While at it, also fix a few cosmetic issues in specs. --- lib/compiler/src/beam_ssa.erl | 13 +++++++------ 1 file changed, 7 insertions(+), 6 deletions(-) diff --git a/lib/compiler/src/beam_ssa.erl b/lib/compiler/src/beam_ssa.erl index 9eb0b0413c..e07a38ca85 100644 --- a/lib/compiler/src/beam_ssa.erl +++ b/lib/compiler/src/beam_ssa.erl @@ -132,9 +132,10 @@ -import(lists, [foldl/3,mapfoldl/3,member/2,reverse/1,sort/1]). --spec add_anno(Key, Value, Construct) -> Construct when +-spec add_anno(Key, Value, Construct0) -> Construct when Key :: atom(), Value :: any(), + Construct0 :: construct(), Construct :: construct(). add_anno(Key, Val, #b_function{anno=Anno}=Bl) -> @@ -155,7 +156,7 @@ add_anno(Key, Val, #b_switch{anno=Anno}=Bl) -> get_anno(Key, Construct) -> map_get(Key, get_anno(Construct)). --spec get_anno(atom(), construct(),any()) -> any(). +-spec get_anno(atom(), construct(), any()) -> any(). get_anno(Key, Construct, Default) -> maps:get(Key, get_anno(Construct), Default). @@ -369,7 +370,7 @@ successors(#b_blk{last=Terminator}) -> %% switch list to a #b_br{}. -spec normalize(b_set() | terminator()) -> - b_set() | terminator(). + b_set() | terminator(). normalize(#b_set{op={bif,Bif},args=Args}=Set) -> case {is_commutative(Bif),Args} of @@ -487,7 +488,7 @@ common_dominators(Ls, Dom, Numbering) -> dom_intersection(Doms, Numbering). -spec fold_instrs(Fun, Labels, Acc0, Blocks) -> any() when - Fun :: fun((b_blk()|terminator(), any()) -> any()), + Fun :: fun((b_set()|terminator(), any()) -> any()), Labels :: [label()], Acc0 :: any(), Blocks :: block_map(). @@ -517,7 +518,7 @@ mapfold_blocks_1(Fun, Lbl, {Blocks0, Acc0}) -> {Blocks, Acc}. -spec mapfold_instrs(Fun, Labels, Acc0, Blocks0) -> {Blocks,Acc} when - Fun :: fun((b_blk()|terminator(), any()) -> any()), + Fun :: fun((b_set()|terminator(), any()) -> any()), Labels :: [label()], Acc0 :: any(), Acc :: any(), @@ -528,7 +529,7 @@ mapfold_instrs(Fun, Labels, Acc0, Blocks) -> mapfold_instrs_1(Labels, Fun, Blocks, Acc0). -spec flatmapfold_instrs(Fun, Labels, Acc0, Blocks0) -> {Blocks,Acc} when - Fun :: fun((b_blk()|terminator(), any()) -> any()), + Fun :: fun((b_set()|terminator(), any()) -> any()), Labels :: [label()], Acc0 :: any(), Acc :: any(), -- 2.34.1
Locations
Projects
Search
Status Monitor
Help
OpenBuildService.org
Documentation
API Documentation
Code of Conduct
Contact
Support
@OBShq
Terms
openSUSE Build Service is sponsored by
The Open Build Service is an
openSUSE project
.
Sign Up
Log In
Places
Places
All Projects
Status Monitor