Sign Up
Log In
Log In
or
Sign Up
Places
All Projects
Status Monitor
Collapse sidebar
home:Ledest:erlang:19
erlang
1328-Fix-typos-in-lib-dialyzer.patch
Overview
Repositories
Revisions
Requests
Users
Attributes
Meta
File 1328-Fix-typos-in-lib-dialyzer.patch of Package erlang
From 064f9f74fc800470988c8b25944a09180d73b3db Mon Sep 17 00:00:00 2001 From: "Kian-Meng, Ang" <kianmeng@cpan.org> Date: Fri, 10 Dec 2021 06:57:37 +0800 Subject: [PATCH] Fix typos in lib/dialyzer --- lib/dialyzer/RELEASE_NOTES | 2 +- lib/dialyzer/src/dialyzer_callgraph.erl | 6 +++--- lib/dialyzer/src/dialyzer_dot.erl | 8 ++++---- lib/dialyzer/src/erl_types.erl | 4 ++-- lib/dialyzer/src/typer.erl | 2 +- lib/dialyzer/test/plt_SUITE.erl | 2 +- 6 files changed, 12 insertions(+), 12 deletions(-) diff --git a/lib/dialyzer/RELEASE_NOTES b/lib/dialyzer/RELEASE_NOTES index 299cc8642f..909cada009 100644 --- a/lib/dialyzer/RELEASE_NOTES +++ b/lib/dialyzer/RELEASE_NOTES @@ -257,7 +257,7 @@ Version 1.5.1 (in Erlang/OTP R11B-3) Version 1.5.0 (in Erlang/OTP R11B-2) ------------------------------------ - Dialyzer's building of PLT is based on a different type inference algorithm. - More specifically, Dialyzer uses inferrence of refined success typings to + More specifically, Dialyzer uses inference of refined success typings to infer function prototypes. As a result, Dialyzer bases its analysis on a significantly more powerful basis and thus is able to detect more discrepancies. The downside is that building the PLT is a considerably diff --git a/lib/dialyzer/src/dialyzer_callgraph.erl b/lib/dialyzer/src/dialyzer_callgraph.erl index 506a785885..4f53e99d6f 100644 --- a/lib/dialyzer/src/dialyzer_callgraph.erl +++ b/lib/dialyzer/src/dialyzer_callgraph.erl @@ -573,8 +573,8 @@ digraph_remove_external(DG) -> Unconfirmed = remove_unconfirmed(Vertices, DG), {DG, Unconfirmed}. -remove_unconfirmed(Vertexes, DG) -> - remove_unconfirmed(Vertexes, DG, []). +remove_unconfirmed(Vertices, DG) -> + remove_unconfirmed(Vertices, DG, []). remove_unconfirmed([V|Left], DG, Unconfirmed) -> case digraph:vertex(DG, V) of @@ -774,7 +774,7 @@ condensation(G) -> Ints = lists:seq(1, length(SCCs)), IntToSCC = lists:zip(Ints, SCCs), IntScc = sofs:relation(IntToSCC, [{int, scc}]), - %% Subsitute strong components for vertices in edges using the + %% Substitute strong components for vertices in edges using the %% unique numbers: C2V = sofs:relation([{SC, V} || SC <- SCCs, V <- SC], [{scc, v}]), I2V = sofs:relative_product(IntScc, C2V), % [{v, int}] diff --git a/lib/hipe/cerl/erl_types.erl b/lib/hipe/cerl/erl_types.erl index f82251d1f0..3b79e625a4 100644 --- a/lib/hipe/cerl/erl_types.erl +++ b/lib/hipe/cerl/erl_types.erl @@ -3696,7 +3696,7 @@ is_type_name(_Mod1, _Name1, _Arity1, _Mod2, _Name2, _Arity2) -> %% assign_vars_lists(Elements1, Elements2, Dict); %%assign_vars(?tuple_set(_) = T, ?tuple_set(List2), Dict) -> %% %% All Rhs tuples must already be subtypes of Lhs, so we can take -%% %% each one separatly. +%% %% each one separately. %% assign_vars_lists([T || _ <- List2], List2, Dict); %%assign_vars(?tuple(?any, ?any, ?any), ?tuple_set(_), Dict) -> %% Dict; @@ -5036,7 +5036,7 @@ separate_key(?union(List)) -> {T1, L2, C2} = list_from_form(Tail, S, D, L1, C1), {[H1|T1], L2, C2}. -%% Sorts, combines non-singleton pairs, and applies precendence and +%% Sorts, combines non-singleton pairs, and applies precedence and %% mandatoriness rules. map_from_form([], ShdwPs, MKs, Pairs, DefK, DefV) -> verify_possible(MKs, ShdwPs), diff --git a/lib/typer/src/typer.erl b/lib/typer/src/typer.erl index 7f597f146e..8eb3453fe6 100644 --- a/lib/typer/src/typer.erl +++ b/lib/typer/src/typer.erl @@ -1047,7 +1047,7 @@ help_message() -> -pa dir -pz dir Set code path options to TypEr - (This is useful for files that use parse tranforms.) + (This is useful for files that use parse transforms.) --version (or -v) prints the Typer version and exits --help (or -h) diff --git a/lib/dialyzer/test/plt_SUITE.erl b/lib/dialyzer/test/plt_SUITE.erl index 800f1fd307..c7bed8b866 100644 --- a/lib/dialyzer/test/plt_SUITE.erl +++ b/lib/dialyzer/test/plt_SUITE.erl @@ -213,7 +213,7 @@ local_fun_same_as_callback(Config) when is_list(Config) -> -export([bad/0]). - %% @doc This function incorreclty implements bad_behaviour. + %% @doc This function incorrectly implements bad_behaviour. bad() -> not_bad.">>, {ok, TestBeam} = compile(Config, Prog2, bad_child, []), -- 2.31.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