fitzgen commented on issue #3556:
Oh, one thing I forgot to add, which I want to note for posterity: our rules/extractors should always match the exact structure of the input (CLIF) as much as possible, to avoid things like redundant matches (that the hand-written lowering code does today).
Last updated: Jan 24 2025 at 00:11 UTC