otp.git/lib/compiler/src, branch OTP-17.1

[dialyzer] Use the option 'dialyzer' to control the compiler

2014-06-17T10:32:52+00:00

[dialyzer] Fix handling of literal records

2014-06-17T10:32:51+00:00

This ticket is about records in Erlang code, and when to check the
fields against the (optional) types given when defining records.

Dialyzer operates on the Erlang Core format, where there are no trace
of records. The fix implemented is a Real Hack:

Given the new option 'dialyzer' erl_expand_records marks the line
number of records in a way that is undone by v3_core, which in turn
inserts annotations that can be recognized by Dialyzer.

Merge branch 'egil/fix-maps-pretty-layout/OTP-11947' into maint

2014-05-26T09:04:45+00:00

* egil/fix-maps-pretty-layout/OTP-11947:
  dialyzer: Add Maps type mismatch test
  hipe,compiler: Fix Map literals pretty printing

Support maps in cerl:ann_make_tree/3

2014-05-04T09:04:17+00:00

hipe,compiler: Fix Map literals pretty printing

2014-04-28T14:50:51+00:00

compiler: Fix compiling map keys in patterns from core

2014-04-03T12:32:44+00:00

compiler,stdlib: Fix Map literals as keys for Maps in patterns

2014-04-03T12:32:44+00:00

Take out no_native compiler attribute

2014-03-28T16:46:34+00:00

Support the translation of the is_map BEAM instruction to Icode

2014-03-28T16:08:15+00:00

Merge branch 'egil/maps-compiler-coverage'

2014-03-26T13:19:55+00:00

* egil/maps-compiler-coverage:
  compiler: Do not evaluate map expressions with bad keys
  compiler: Throw 'nomatch' on matching with bad binary keys
  compiler: Variable keys are not allowed in Maps
  compiler: Strengthen Maps warnings tests
  compiler: map_pair cannot be a type clause in v3_life
  compiler: Remove redudant code in v3_codegen
  compiler: Test deep map structure
  compiler: Remove redundant clause in v3_codegen
  compiler: Cover #{ [] => Var } in testcase