Uh oh!
There was an error while loading. Please reload this page.
- Notifications
You must be signed in to change notification settings - Fork 33.9k
Closed
Labels
type-bugAn unexpected behavior, bug, or errorAn unexpected behavior, bug, or error
Description
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
Metadata
Metadata
Assignees
Labels
type-bugAn unexpected behavior, bug, or errorAn unexpected behavior, bug, or error