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

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

compiler: Do not evaluate map expressions with bad keys

2014-03-25T18:08:09+00:00

Map keys with large (non literal) binary keys must fail.

compiler: Throw 'nomatch' on matching with bad binary keys

2014-03-25T18:07:48+00:00

Even if a binary key is written as a literal the compiler may
choose to make an expression. Emit a warning in those cases
and saying the case will not match.

This is a limitation in current implementation.

compiler: Variable keys are not allowed in Maps

2014-03-25T17:01:07+00:00

No need to check for variables in Map keys.

compiler: map_pair cannot be a type clause in v3_life

2014-03-25T15:07:39+00:00

Map pairs are encapsulated in a map.

Correctly handle non-matching patterns against literal values

2014-03-25T03:34:24+00:00

The pass sys_core_fold did not correctly handle non-matching patterns in code
such as:

    0 = case <<>> of
            <<>> -> 0;
            a -> 1
        end.

Function case_opt_lit/3 is rewritten in two passes to first remove any
non-matching clause and only then potentially remove the related patterns
in each clause.

Reported-by: Ulf Norell