Skip to content

Commit 9a62716

Browse files
committed
Function type grammar is not part of *Type*; FT* can declare a pointer
1 parent 7abae85 commit 9a62716

File tree

1 file changed

+3
-2
lines changed

1 file changed

+3
-2
lines changed

spec/type.dd

Lines changed: 3 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -557,8 +557,9 @@ $(GRAMMAR_INFORMATIVE
557557
$(GLINK2 declaration, StorageClasses)$(OPT) $(GLINK Type) $(GLINK2 function, Parameters) $(GLINK2 function, FunctionAttributes)$(OPT)
558558
)
559559

560-
$(P A function type e.g. `int(int)` is only used for type tests.
561-
A function type $(DDSUBLINK spec/declaration, alias-function, can be aliased).)
560+
$(P Function types are not included in the $(GLINK Type) grammar.
561+
A function type e.g. `int(int)` $(DDSUBLINK spec/declaration, alias-function, can be aliased).
562+
A function type is only used for type tests or as the target type of a pointer.)
562563

563564
$(P Instantiating a function type is illegal. Instead, a pointer to function
564565
or delegate can be used. Those have these type forms respectively:)

0 commit comments

Comments
 (0)