diff options
| author | Hans Bolinder <[email protected]> | 2017-04-26 15:32:14 +0200 |
|---|---|---|
| committer | Hans Bolinder <[email protected]> | 2017-04-27 11:55:07 +0200 |
| commit | 8c9f699a0735e10a9fdfa06a0868a2816d99faf8 (patch) | |
| tree | 3e7ab5eaa7cdcfe03ffaf12bf9f4f18deae607a1 | |
| parent | c48332af886ed5ed444a9b8d04bb62f3b14ffd98 (diff) | |
| download | otp-8c9f699a0735e10a9fdfa06a0868a2816d99faf8.tar.gz otp-8c9f699a0735e10a9fdfa06a0868a2816d99faf8.tar.bz2 otp-8c9f699a0735e10a9fdfa06a0868a2816d99faf8.zip | |
hipe: Fix unknown type
Due to a bug in Dialyzer, unknown types have been introduced.
| -rw-r--r-- | lib/hipe/regalloc/hipe_range_split.erl | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/lib/hipe/regalloc/hipe_range_split.erl b/lib/hipe/regalloc/hipe_range_split.erl index 39b086d9f7..385df695f2 100644 --- a/lib/hipe/regalloc/hipe_range_split.erl +++ b/lib/hipe/regalloc/hipe_range_split.erl @@ -270,8 +270,8 @@ defbutlast(L, Defs) -> maps:get(L, Defs). -spec defseti_new() -> defseti(). -spec defseti_union(defseti(), defseti()) -> defseti(). --spec defseti_add_ordset(ordset:ordset(temp()), defseti()) -> defseti(). --spec defseti_from_ordset(ordset:ordset(temp())) -> defseti(). +-spec defseti_add_ordset(ordsets:ordset(temp()), defseti()) -> defseti(). +-spec defseti_from_ordset(ordsets:ordset(temp())) -> defseti(). -spec defseti_finalise(defseti()) -> defsetf(). -spec defsetf_member(temp(), defsetf()) -> boolean(). -spec defsetf_intersect_ordset(ordsets:ordset(temp()), defsetf()) @@ -415,7 +415,7 @@ rdefset_finalise(Ord) -> {arr, bitarr_from_bitord(Ord)}. %% rdefsetf_top() -> top. rdefsetf_empty() -> {arr, bitarr_new()}. --spec rdefsetf_add_ordset(ordset:ordset(temp()), rdefsetf()) -> rdefsetf(). +-spec rdefsetf_add_ordset(ordsets:ordset(temp()), rdefsetf()) -> rdefsetf(). rdefsetf_add_ordset(_, top) -> top; rdefsetf_add_ordset(OS, {arr, Arr}) -> {arr, lists:foldl(fun bitarr_set/2, Arr, OS)}. |