otp.git/lib/dialyzer/test/small_SUITE_data, branch KennethL-patch-1

dialyzer: Fix bsl/2 bug

2018-01-12T14:49:35+00:00

Also modified erl_bif_types:infinity_bsl() when called with zero as
first argument. As of writing this, erlang:'bsl'/2 is modified on the
master branch to never fail if called with a huge second argument.

dialyzer: Add a test of erl_tar:table/1,2

2018-01-09T14:08:57+00:00

dialyzer: Correct handling of erlang:abs/1

2018-01-08T11:45:55+00:00

See also https://bugs.erlang.org/browse/ERL-551.

Fixed typos in lib/dialyzer

2017-02-14T09:31:30+00:00

Merge branch 'maint'

2017-01-12T14:38:25+00:00

* maint:
  stdlib: Correct signatures of functions in erl_parse

stdlib: Correct signatures of functions in erl_parse

2017-01-10T14:05:24+00:00

The signatures of erl_parse:anno_to_term/1 and
erl_parse:anno_from_term/1 are corrected. Using these function no
longer results in false Dialyzer warnings.

Merge branch 'maint'

2017-01-10T09:52:38+00:00

* maint:
  stdlib: Allow characters in types and constant patterns

stdlib: Allow characters in types and constant patterns

2016-12-21T14:54:24+00:00

Characters ($char) can be used in constant pattern expressions. They
can also be used in types and contracts.

Merge branch 'maint'

2016-11-23T07:36:18+00:00

* maint:
  dialyzer: Substitute 'opacity' for 'opaqueness'
  dialyzer: Improve a warning message
  dialyzer: Improve a warning message
  dialyzer: Correct a warnings message

dialyzer: Improve a warning message

2016-11-22T09:29:04+00:00

Messages regarding guards with orelse/andalso could look
like "Clause guard cannot succeed. The variable A was matched
against the type any()". Now they look like as if or/and is
used: "Guard test is_integer(A::atom()) can never succeed".