From c2cd09c3d6807d2e93d117d9c6b47a706a50c763 Mon Sep 17 00:00:00 2001 From: Hans Bolinder Date: Sun, 14 Apr 2019 11:24:47 +0200 Subject: dialyzer: Remove quotes around operators --- lib/dialyzer/src/dialyzer.erl | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) (limited to 'lib/dialyzer/src/dialyzer.erl') diff --git a/lib/dialyzer/src/dialyzer.erl b/lib/dialyzer/src/dialyzer.erl index d114980a91..cfe5fa9b3f 100644 --- a/lib/dialyzer/src/dialyzer.erl +++ b/lib/dialyzer/src/dialyzer.erl @@ -347,9 +347,9 @@ message_to_string({neg_guard_fail, [Arg1, Infix, Arg2]}, I) -> io_lib:format("Guard test not(~ts ~s ~ts) can never succeed\n", [a(Arg1, I), Infix, a(Arg2, I)]); % a/2 rather than c/2 message_to_string({guard_fail, [Guard, Args]}, I) -> - io_lib:format("Guard test ~w~ts can never succeed\n", [Guard, a(Args, I)]); + io_lib:format("Guard test ~s~ts can never succeed\n", [Guard, a(Args, I)]); message_to_string({neg_guard_fail, [Guard, Args]}, I) -> - io_lib:format("Guard test not(~w~ts) can never succeed\n", + io_lib:format("Guard test not(~s~ts) can never succeed\n", [Guard, a(Args, I)]); message_to_string({guard_fail_pat, [Pat, Type]}, I) -> io_lib:format("Clause guard cannot succeed. The ~ts was matched" @@ -702,7 +702,7 @@ indentation(I) -> pp_type(Type) -> Form = {attribute, erl_anno:new(0), type, {t, Type, []}}, - TypeDef = erl_pp:form(Form), + TypeDef = erl_pp:form(Form, [{quote_singleton_atom_types, true}]), {match, [S]} = re:run(TypeDef, <<"::\\s*(.*)\\.\\n*">>, [{capture, all_but_first, list}, dotall]), S. -- cgit v1.2.3