How many kinds of declarations can a named type hold?


(Daryle Walker) #1

I think I got most of this, but it’s hard to completely figure out because the information is scattered across the grammar.

So, I’m coming up with a statement to copy over a member from one type to another:

publish MEMBER-FROM-OTHER-TYPE

and I’m trying to encapsulate this into a grammar. This requires me to figure out how to name every single declaration in a type. I got so far:

published-member → decimal-digits
published-member → type-identifier
published-member → identifier | identifier ( argument-names_opt )
published-member → operator | operator (argument-names_opt )
published-member → init | init (argument-names_opt )
published-member → init ? | init ? (argument-names_opt )
published-member → init ! | init ! (argument-names_opt )
published-member → subscript | subscript ( argument-names_opt )

The first line is for tuples, and the rest are for struct/enum/class. The second line covers some generics, but I don’t mention generics anywhere else. The third line covers properties and functions, while all the following lines over functions. There are two branches for those lines to cover all overloads sharing a name and to cover a specific overload.

Do I have to mention generic stuff in any of the lines past the second? Are there declaration kinds I’m straight-up missing? (Remember that identifier covers constants; variables; type-aliases; enumeration cases; inner structure, enumeration, class, and extensions; and operator precedence groups.)

···


Daryle Walker
Mac, Internet, and Video Game Junkie
darylew AT mac DOT com