carbon-lang icon indicating copy to clipboard operation
carbon-lang copied to clipboard

Generate parameter pattern-match IR from pattern IR

Open geoffromer opened this issue 1 year ago • 1 comments

Also propagate the pattern IR along with the pattern-match IR, and use it where appropriate.

Strictly speaking, some parts of the pattern-match IR are allocated eagerly, while traversing the pattern's parse tree, but they still aren't actually emitted until we traverse the associated pattern insts.

geoffromer avatar Oct 08 '24 19:10 geoffromer

I don't expect that we both need to review this, I'm going to let zygoloid handle it if he wants. :)

jonmeow avatar Oct 08 '24 20:10 jonmeow

Looks good, hopefully the merge isn't too painful.

One of the least painful merges I've done recently, in fact :-)

geoffromer avatar Oct 16 '24 17:10 geoffromer