PR #56509 Make world-age increments explicit

Make world-age increments explicit #56509

Keno merged 6 commits into master from kf/explicitageinc

aviatesk commented on 2024-11-09

Keno force pushed from d0853759 to 4330bad0 1 year ago

vtjnash commented on 2024-11-13

Keno force pushed from 4330bad0 to 3bbfc517 1 year ago

Keno force pushed from 3bbfc517 to a3ce5681 1 year ago

Keno force pushed from fe47407f to 02fac54e 1 year ago

aviatesk commented on 2024-11-20

Keno force pushed from 02fac54e to a5d52310 1 year ago

aviatesk commented on 2024-11-20

Keno changed the title ~~WIP: Make world-age increments explicit~~ Make world-age increments explicit 1 year ago

WIP: Make world-age increments explicit

703fe865

Drop unnecessary `latestworld` in anonymous function def

45749838

Try implicit world age increment in testset

b62d5e86

Add missing invokelatest in Serialization test

9f9ec82f

Teach codegen and inference about :latestworld

089ce9db

Keno force pushed from a5d52310 to 089ce9db 1 year ago

Keno added minor change

vtjnash commented on 2024-11-20

Address code review

c693de35

Keno force pushed from d47b8ec1 to c693de35 1 year ago

Keno merged 034e6093 into master 1 year ago

Keno deleted the kf/explicitageinc branch 1 year ago

Reviewers

vtjnash

aviatesk

Assignees

No one assigned

Labels

minor change

Milestone

No milestone