21:35:03Bikei guess this is how we can do type check functions correctly and performantly. first, we write the functions to return all values, by doing something stupid like (multiple-value-call #'values ,@required (values-list ignore)). then we derive the type of ignore to be NIL (if we figure out the number of values), which lets that be reduced to (multiple-value-call #'values ,@required), which is just (values
21:54:39Bikealright, rtype slot is gone now. next on the chopping block is multiple-to-fixed
21:56:54Bikeit might be necessary to rethink values-collect a bit. right now it's a little magical in having all its inputs but one be a specific kind of instruction
21:57:31Bikein reality we might have some heterogeneity in values counts, having various numbers of known values forms and unknown values forms
21:57:42Bikewhich we can't really describe right now