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 /lib/compiler/src/compiler.app.src | |
| 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 'lib/compiler/src/compiler.app.src')
| -rw-r--r-- | lib/compiler/src/compiler.app.src | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/lib/compiler/src/compiler.app.src b/lib/compiler/src/compiler.app.src index 9dc3b6e339..092757ae65 100644 --- a/lib/compiler/src/compiler.app.src +++ b/lib/compiler/src/compiler.app.src @@ -24,6 +24,7 @@ beam_a, beam_asm, beam_block, + beam_call_types, beam_clean, beam_dict, beam_disasm, @@ -46,6 +47,7 @@ beam_ssa_share, beam_ssa_type, beam_trim, + beam_types, beam_utils, beam_validator, beam_z, |