diff options
| author | Hans Bolinder <hasse@erlang.org> | 2019-04-14 11:24:47 +0200 |
|---|---|---|
| committer | Hans Bolinder <hasse@erlang.org> | 2019-05-07 08:25:03 +0200 |
| commit | c2cd09c3d6807d2e93d117d9c6b47a706a50c763 (patch) | |
| tree | 0f662080c53689b7123350b831647cc9a86e0416 /lib/dialyzer/test/opaque_SUITE_data | |
| parent | 77cbe3b6ced0ca42cf3ec5c8ca0333d9418a0372 (diff) | |
| download | erlang-c2cd09c3d6807d2e93d117d9c6b47a706a50c763.tar.gz | |
dialyzer: Remove quotes around operators
Diffstat (limited to 'lib/dialyzer/test/opaque_SUITE_data')
| -rw-r--r-- | lib/dialyzer/test/opaque_SUITE_data/results/simple | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/lib/dialyzer/test/opaque_SUITE_data/results/simple b/lib/dialyzer/test/opaque_SUITE_data/results/simple index 0e1bb934e9..5d13b56970 100644 --- a/lib/dialyzer/test/opaque_SUITE_data/results/simple +++ b/lib/dialyzer/test/opaque_SUITE_data/results/simple @@ -51,7 +51,7 @@ simple1_api.erl:294: The call erlang:is_function(T::simple1_api:o1(),A::simple1_ simple1_api.erl:300: The type test is_function(T::simple1_adt:o1(),A::simple1_api:i1()) breaks the opacity of the term T::simple1_adt:o1() simple1_api.erl:306: Guard test B::simple1_api:b2() =:= 'true' can never succeed simple1_api.erl:315: Guard test A::simple1_api:b1() =:= 'false' can never succeed -simple1_api.erl:319: Guard test not('and'('true','true')) can never succeed +simple1_api.erl:319: Guard test not(and('true','true')) can never succeed simple1_api.erl:337: Clause guard cannot succeed. simple1_api.erl:342: Guard test B::simple1_adt:b2() =:= 'true' contains an opaque term as 1st argument simple1_api.erl:347: Guard test A::simple1_adt:b1() =:= 'true' contains an opaque term as 1st argument |