spec: Remove definitions redundant with MissingFunctionBody

CyberShadow · Geod24 · commit 3f09ed63cfd3 · 2021-07-05T09:20:42.000+09:00
$(D ;) is already a possible FunctionBody (as MissingFunctionBody).
diff --git a/spec/class.dd b/spec/class.dd
@@ -314,7 +314,6 @@ $(H2 $(LNAME2 constructors, Constructors))
 
 $(GRAMMAR
 $(GNAME Constructor):
-    $(D this) $(GLINK2 function, Parameters) $(GLINK2 function, MemberFunctionAttributes)$(OPT) $(D ;)
     $(D this) $(GLINK2 function, Parameters) $(GLINK2 function, MemberFunctionAttributes)$(OPT) $(GLINK2 function, FunctionBody)
     $(GLINK2 template, ConstructorTemplate)
 )
@@ -677,7 +676,6 @@ $(H2 $(LNAME2 destructors, Destructors))
 
 $(GRAMMAR
 $(GNAME Destructor):
-    $(D ~ this ( )) $(GLINK2 function, MemberFunctionAttributes)$(OPT) $(D ;)
     $(D ~ this ( )) $(GLINK2 function, MemberFunctionAttributes)$(OPT) $(GLINK2 function, FunctionBody)
 )
 
@@ -1008,7 +1006,6 @@ $(H2 $(LNAME2 allocators, Class Allocators))
 $(B Note): Class allocators are deprecated in D2.
 $(GRAMMAR
 $(GNAME Allocator):
-    $(D new) $(GLINK2 function, Parameters) $(D ;)
     $(D new) $(GLINK2 function, Parameters) $(GLINK2 function, FunctionBody)
 )
 
@@ -1088,7 +1085,6 @@ assert(foo.x == int.init);  // object is still accessible
 
 $(GRAMMAR
 $(GNAME Deallocator):
-    $(D delete) $(GLINK2 function, Parameters) $(D ;)
     $(D delete) $(GLINK2 function, Parameters) $(GLINK2 function, FunctionBody)
 )
 

Original file line number	Diff line number	Diff line change
`@@ -314,7 +314,6 @@ $(H2 $(LNAME2 constructors, Constructors))`
`314`	`314`
`315`	`315`	`$(GRAMMAR`
`316`	`316`	`$(GNAME Constructor):`
`317`		`- $(D this) $(GLINK2 function, Parameters) $(GLINK2 function, MemberFunctionAttributes)$(OPT) $(D ;)`
`318`	`317`	`$(D this) $(GLINK2 function, Parameters) $(GLINK2 function, MemberFunctionAttributes)$(OPT) $(GLINK2 function, FunctionBody)`
`319`	`318`	`$(GLINK2 template, ConstructorTemplate)`
`320`	`319`	`)`
`@@ -677,7 +676,6 @@ $(H2 $(LNAME2 destructors, Destructors))`
`677`	`676`
`678`	`677`	`$(GRAMMAR`
`679`	`678`	`$(GNAME Destructor):`
`680`		`- $(D ~ this ( )) $(GLINK2 function, MemberFunctionAttributes)$(OPT) $(D ;)`
`681`	`679`	`$(D ~ this ( )) $(GLINK2 function, MemberFunctionAttributes)$(OPT) $(GLINK2 function, FunctionBody)`
`682`	`680`	`)`
`683`	`681`
`@@ -1008,7 +1006,6 @@ $(H2 $(LNAME2 allocators, Class Allocators))`
`1008`	`1006`	`$(B Note): Class allocators are deprecated in D2.`
`1009`	`1007`	`$(GRAMMAR`
`1010`	`1008`	`$(GNAME Allocator):`
`1011`		`- $(D new) $(GLINK2 function, Parameters) $(D ;)`
`1012`	`1009`	`$(D new) $(GLINK2 function, Parameters) $(GLINK2 function, FunctionBody)`
`1013`	`1010`	`)`
`1014`	`1011`
`@@ -1088,7 +1085,6 @@ assert(foo.x == int.init); // object is still accessible`
`1088`	`1085`
`1089`	`1086`	`$(GRAMMAR`
`1090`	`1087`	`$(GNAME Deallocator):`
`1091`		`- $(D delete) $(GLINK2 function, Parameters) $(D ;)`
`1092`	`1088`	`$(D delete) $(GLINK2 function, Parameters) $(GLINK2 function, FunctionBody)`
`1093`	`1089`	`)`
`1094`	`1090`