Commits on Aug 31, 2023

1. improve effects of typejoin and simplify implementation of Tuple _com… …

   …pute_eltype
   
     - Repair definition of Core._foldable_meta
     - Handle Vararg better in eltype
     - Mark has_free_typevars ccall as total
     - Mark tailjoin foldable explicitly also, since it calls typejoin recursively
     - Handle non-constructable Tuple{:a,2} and Tuple{T} types
     - Prepare special code for inlining (improves generic effects too)
     - Only optimize typejoin in concrete eval, not needlessly generating
       specializations otherwise on specific types
   
   The compiler seems better able to deal with this version of
   _compute_eltype, and it does not seem that necessary to form the IdSet.

   

   vtjnash committed Aug 31, 2023
   Configuration menu

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

   Copy the full SHA

   8307dbf View commit details

   Browse the repository at this point in the history

2. inference: teach tfunc that typeof tuples must have fixed lengths

   

   vtjnash committed Aug 31, 2023
   Configuration menu

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

   Copy the full SHA

   00c6ea7 View commit details

   Browse the repository at this point in the history

3. inference: fix bad effects for recursion …

   Effects are not converged, so they need to always be correct, and not a
   bestguess, even during recursion.

   

   vtjnash committed Aug 31, 2023
   Configuration menu

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

   Copy the full SHA

   15f7db8 View commit details

   Browse the repository at this point in the history