Extension types feature specification#3182

Merged

eernstg merged 29 commits intomainfrom spec_extension_types_jun23

Jul 21, 2023

+1,406

Commits on Jul 3, 2023

Add missing <metadata> to primary constructor-ish syntax
eernstg
committed
Review response: Reword introduction to emphasize that the main case is to receive the representation object as an actual argument to the constructor
eernstg
committed
Review response: Removed "initializing expression", the new syntax does not allow that
eernstg
committed

Commits on Jul 4, 2023

Add discussion section about implements T where T is final
eernstg
committed

Commits on Jul 6, 2023

Commits on Jul 7, 2023

Adjust the proposal to make the representation getter accessible from the outside (in other words: drop the lexical-only-access exception)
eernstg
committed

Commits on Jul 11, 2023

Review response
eernstg
committed

Commits on Jul 13, 2023

Add change log entry
eernstg
committed

Commits on Jul 14, 2023

Commits on Jul 19, 2023

Adjust the grammar and primary constructor rule to say that it is constant if there is an explicit const, otherwise not
eernstg
committed