diff options
| author | John Högberg <[email protected]> | 2019-06-13 11:56:39 +0200 |
|---|---|---|
| committer | John Högberg <[email protected]> | 2019-06-13 11:56:39 +0200 |
| commit | 663379b01de745aad5119fe9f304c1bf351412c9 (patch) | |
| tree | 9ef6b2214ea770b8d4c6416495bb8360797ee0c7 /HOWTO | |
| parent | ed0d9414795d9b4183827393b9e5d3677eb9eb44 (diff) | |
| parent | 48f83e165a2dae8ed04a74ba3c6308250168f790 (diff) | |
| download | otp-663379b01de745aad5119fe9f304c1bf351412c9.tar.gz otp-663379b01de745aad5119fe9f304c1bf351412c9.tar.bz2 otp-663379b01de745aad5119fe9f304c1bf351412c9.zip | |
Merge branch 'john/compiler/common-type-representation/OTP-15792'
* john/compiler/common-type-representation/OTP-15792:
beam_validator: Replace old type representation with beam_types
beam_validator: Subtract types when inferring type test BIFs
beam_call_types: Improve type handling of lists:zip/2 and friends
compiler: Move "known functions" to beam_types
compiler: Break out SSA/beam type definitions into a separate module
beam_ssa_type: Fix meet/join inconsistency
beam_ssa_type: Fix 'band' type determination
beam_validator: Reduce literals to their types
beam_validator: Refactor local call validation
beam_validator: Simplify the match context type
beam_validator: Use integers as tuple element keys
Diffstat (limited to 'HOWTO')
0 files changed, 0 insertions, 0 deletions