You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
There's something fishy in the family definition for SEND -- the family name is incorrectly for_iter. But it's not so simple to fix because apparently SEND_GEN has an inconsistent cache effect (which wasn't detected previously because of the duplicate family name -- it's a bug in the cases generator that it doesn't complain about that).
We should both
Fix the stack effect of SEND_GEN
Fix the generator to complain about duplicate family names
The text was updated successfully, but these errors were encountered:
There's something fishy in the family definition for SEND -- the family name is incorrectly
for_iter
. But it's not so simple to fix because apparently SEND_GEN has an inconsistent cache effect (which wasn't detected previously because of the duplicate family name -- it's a bug in the cases generator that it doesn't complain about that).We should both
The text was updated successfully, but these errors were encountered: