search

carbon-language / carbon-lang

Carbon Language's main repository: documents, design, implementation, and related tools. (NOTE: Carbon Language is experimental; see README)
http://docs.carbon-lang.dev/
Other
32.24k stars 1.48k forks source link

Compute specific constant values. #4128

Closed zygoloid closed 2 months ago

zygoloid commented 2 months ago

When forming a specific (previously called a generic instance), evaluate the eval block of the generic to determine the values of any constants used in that specific. The majority of the work here is updating eval.cpp so that it can use the results of prior evaluations in the same block when computing later values.

Include the computed results in the formatted SemIR output.

jonmeow commented 1 month ago

@Bonniemarie216 I see you approved a lot of different changes. Please don't do that anymore, because it's not contributing to the review, but it does create notifications for people who are monitoring repository activity. Thanks!