Simplify function pointer/delegate grammar with *Type*

ntrel · ntrel · commit 93cb9a937765 · 2023-11-14T12:49:13.000Z
diff --git a/spec/type.dd b/spec/type.dd
@@ -565,8 +565,8 @@ $(P Instantiating a function type is illegal. Instead, a pointer to function
 or delegate can be used. Those have these type forms respectively:)
 
 $(GRAMMAR_INFORMATIVE
-$(GLINK TypeCtor)$(OPT) $(GLINK BasicType) $(GLINK TypeSuffixes) `function` $(GLINK2 function, Parameters) $(GLINK2 function, FunctionAttributes)$(OPT)
-$(GLINK TypeCtor)$(OPT) $(GLINK BasicType) $(GLINK TypeSuffixes) `delegate` $(GLINK2 function, Parameters) $(GLINK2 function, MemberFunctionAttributes)$(OPT)
+$(GLINK Type) `function` $(GLINK2 function, Parameters) $(GLINK2 function, FunctionAttributes)$(OPT)
+$(GLINK Type) `delegate` $(GLINK2 function, Parameters) $(GLINK2 function, MemberFunctionAttributes)$(OPT)
 )
 
 $(SPEC_RUNNABLE_EXAMPLE_COMPILE

Original file line number	Diff line number	Diff line change
`@@ -565,8 +565,8 @@ $(P Instantiating a function type is illegal. Instead, a pointer to function`
`565`	`565`	`or delegate can be used. Those have these type forms respectively:)`
`566`	`566`
`567`	`567`	`$(GRAMMAR_INFORMATIVE`
`568`		-$(GLINK TypeCtor)$(OPT) $(GLINK BasicType) $(GLINK TypeSuffixes) `function` $(GLINK2 function, Parameters) $(GLINK2 function, FunctionAttributes)$(OPT)
`569`		-$(GLINK TypeCtor)$(OPT) $(GLINK BasicType) $(GLINK TypeSuffixes) `delegate` $(GLINK2 function, Parameters) $(GLINK2 function, MemberFunctionAttributes)$(OPT)
	`568`	+$(GLINK Type) `function` $(GLINK2 function, Parameters) $(GLINK2 function, FunctionAttributes)$(OPT)
	`569`	+$(GLINK Type) `delegate` $(GLINK2 function, Parameters) $(GLINK2 function, MemberFunctionAttributes)$(OPT)
`570`	`570`	`)`
`571`	`571`
`572`	`572`	`$(SPEC_RUNNABLE_EXAMPLE_COMPILE`