search

carbon-language / carbon-lang

Carbon Language's main repository: documents, design, implementation, and related tools. (NOTE: Carbon Language is experimental; see README)
https://github.com/carbon-language/carbon-lang/blob/trunk/README.md
Other
32.31k stars 1.48k forks source link

Format types in SemIR using the formatting for their instruction. #4035

Closed zygoloid closed 3 weeks ago

zygoloid commented 3 weeks ago

Don't use the pretty-printed type name, because that's intended for diagnostics, not for a theoretically machine-readable format like SemIR.

Types are always constants, so omit the leading constant. on the type instruction name.