Commits on Apr 25, 2023

1. Fix two type-related bugs …

   Issue erlang#7147 uncovered two bugs in the compiler.
   
   The first one is in the swapping of operands for commutative operands,
   which the compiler does to simplify for the JIT. When the operands
   were swapped, types for the operands in the annotation were not
   updated.
   
   The second one is in `beam_validator`, which assumed that if the
   binary construction `<<F/float>>` succeeded, then `F` must be a
   float. That is not correct, because `F` could also be an integer.
   
   Closes erlang#7147

   

   bjorng committed Apr 25, 2023
   Configuration menu

   • View commit details
   • Copy full SHA for b178b93
   • Browse repository at this point

   Copy the full SHA

   b178b93 View commit details

   Browse the repository at this point in the history