otp.git/lib/syntax_tools/src, branch OTP-19.0.4

Merge branch 'hasse/dialyzer/improve_from_form/OTP-13547'

2016-06-10T08:32:04+00:00

* hasse/dialyzer/improve_from_form/OTP-13547:
  Update primary bootstrap
  stdlib: Correct types and specs
  dialyzer: Minor adjustments
  dialyzer: Suppress unmatched_return for send/2
  dialyzer: Improve the translation of forms to types
  dialyzer: Use a cache when translating forms to types
  dialyzer: Prepare erl_types:t_from_form() for a cache
  dialyzer: Optimize erl_types:t_form_form()
  dialyzer: Correct types
  syntax_tools: Correct types
  erts: Correct character repr in doc of the abstract format
  stdlib: Correct types and specs

Remove support for '...' in Maps types

2016-06-09T13:13:05+00:00

It is possible that '...' is added later (OTP 20.0), but for now we
are not sure of all details.

syntax_tools: Correct types

2016-06-09T09:28:00+00:00

stdlib: Correct types and specs

2016-06-09T09:28:00+00:00

syntax_tools: Add support for new map type syntax

2016-05-09T06:27:22+00:00

The pretty-printing of `...' in map types is complex. The
representation of `...' can be changed before OTP 19.

syntax_tools: Correct types and specs

2016-05-09T06:27:22+00:00

syntax_tools: Update igor to handle typed records

2016-05-09T06:27:22+00:00

syntax_tools: Add support for types and specs

2016-05-09T06:27:22+00:00

In particular, types and specs can be pretty-printed.

There are issues with macros (left behind by epp_dodger).

Typed record fields are handled. Fields are represented by triples
instead of two-tuples, which is an incompatible change.

Some attributes (-export_type, -spec, -type, &c) have been given
meaning in recent time, but the set of wild attributes (see Barklund's
spec) is not changed.

syntax_tools: Fix pretty-printing of the \x{...} syntax

2016-05-09T06:27:21+00:00

syntax_tools: Update runtime dependencies

2016-05-04T14:28:02+00:00