otp.git, branch OTP_R14B03

Prepare release

2011-05-24T11:16:24+00:00

Merge branch 'hb/kernel/opaque_decls/OTP-9337' into dev

2011-05-24T10:39:19+00:00

* hb/kernel/opaque_decls/OTP-9337:
  Modify two opaque types

Modify two opaque types

2011-05-24T10:35:39+00:00

Two opaque types that could cause warnings when running Dialyzer have
been modified.

Merge branch 'ia/ssl/ets-table-cleanup' into dev

2011-05-24T10:27:49+00:00

* ia/ssl/ets-table-cleanup:
  Corrected last argument to timer:apply_after also corrected a dilyzer spec

Merge branch 'ks/erl_bif_types-fixes' into dev

2011-05-24T10:26:02+00:00

* ks/erl_bif_types-fixes:
  Fix crash when a contract range warning is emitted for a module already in plt
  Fix erroneous definition of t_binary_compiled_pattern()

Corrected last argument to timer:apply_after also corrected a dilyzer spec

2011-05-24T09:53:56+00:00

Merge branch 'hb/stdlib/spec_fix/OTP-9333' into dev

2011-05-23T14:49:47+00:00

* hb/stdlib/spec_fix/OTP-9333:
  Fix a spec and a type

Fix crash when a contract range warning is emitted for a module already in plt

2011-05-23T14:21:06+00:00

Warnings about wrong contract ranges are post-processed to be displayed in the
file/line that contains the contract, although they can also be emitted while
processing other modules. For this relocation to succeed the module that
contains the contract should be currently under analysis. If this is not the
case the warning is displayed in the file/line of the call that proves the
discrepancy in the contract.

Fix erroneous definition of t_binary_compiled_pattern()

2011-05-23T14:14:14+00:00

While at it:
  1. Moved types in their proper place
  2. Did minor cleanups and
  3. Took out an unused function

Fix a spec and a type

2011-05-23T14:12:41+00:00

A specification that could cause problems for Dialyzer has been fixed.
An opaque type in erl_eval has been turned in to a ordinary type. This
is a temporary fix.