Merge branch 'john/compiler/refactor-validator-type-management'

* john/compiler/refactor-validator-type-management:
  beam_validator: Clarify a comment
  beam_validator: Make call argument validation stricter
  beam_validator: Don't explode when building terms in receive
  beam_validator: Improve 'binary' type tracking
  beam_validator: Infer tuple element types
  beam_validator: Tolerate the 'receive' hack in prim_eval
  beam_validator: Track types by value rather than by register
  beam_validator: Disregard 'none' on join
  beam_validator: Handle is_number, and join(float,int) -> number
  beam_validator: Treat is_nil as is_eq_exact with nil
  beam_validator: Simplify get_element_type
  beam_validator: Fix literal handling in meet/2
  beam_validator: Use literals as keys in container (tuple) elements
  beam_validator: Refactor try/catch handling, again
  beam_validator: Refactor register initialization
  beam_validator: Refactor stack allocation
  beam_validator: Handle argument/return types for more functions
  beam_validator: Don't forget last element when using put_tuple
  beam_jump: Fail label of select_val is unsafe for move elimination
  cerl_sets: Use maps:filter/2 in filter/2

0 files changed, 0 insertions, 0 deletions