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: Dec 23 2024 at 13:07 UTC