Primary Type Syntax

spec/expression.dd

@@ -2242,8 +2242,8 @@ $(H3 $(LNAME2 function_literals, Function Literals))
 
 $(GRAMMAR
 $(GNAME FunctionLiteral):
-    $(D function) $(GLINK RefOrAutoRef)$(OPT) $(GLINK2 type, Type)$(OPT) $(GLINK ParameterWithAttributes)$(OPT) $(GLINK FunctionLiteralBody)
-    $(D delegate) $(GLINK RefOrAutoRef)$(OPT) $(GLINK2 type, Type)$(OPT) $(GLINK ParameterWithMemberAttributes)$(OPT) $(GLINK FunctionLiteralBody)
+    $(D function) $(GLINK2 attribute, LinkageAttribute)$(opt) $(GLINK RefOrAutoRef)$(OPT) $(GLINK SuffixedBasicType)$(OPT) $(GLINK ParameterWithAttributes)$(OPT) $(GLINK FunctionLiteralBody)
+    $(D delegate) $(GLINK2 attribute, LinkageAttribute)$(opt) $(GLINK RefOrAutoRef)$(OPT) $(GLINK SuffixedBasicType)$(OPT) $(GLINK ParameterWithMemberAttributes)$(OPT) $(GLINK FunctionLiteralBody)
     $(GLINK RefOrAutoRef)$(OPT) $(GLINK ParameterWithMemberAttributes) $(GLINK FunctionLiteralBody)
     $(GLINK2 statement, BlockStatement)
     $(IDENTIFIER) $(D =>) $(GLINK AssignExpression)
@@ -2261,6 +2261,9 @@ $(GNAME FunctionLiteralBody):
 $(GNAME RefOrAutoRef):
     $(D ref)
     $(D auto ref)
+
+$(GNAME SuffixedBasicType):
+    $(GLINK2 type, BasicType) $(GLINK2 type, TypeSuffixes)$(OPT)
 )
 
     $(P $(I FunctionLiteral)s enable embedding anonymous functions

spec/function.dd

@@ -48,6 +48,8 @@ $(GNAME Parameter):
 
 $(GNAME ParameterDeclaration):
     $(GLINK ParameterAttributes)$(OPT) $(GLINK2 type, BasicType) $(GLINK2 declaration, Declarator)
+    $(GLINK ParameterAttributes)$(OPT) $(GLINK2 attribute, LinkageAttribute) $(GLINK2 type, TypeCtors)$(opt) $(GLINK2 type, BasicType) $(GLINK2 declaration, Declarator)
+    $(GLINK ParameterAttributes)$(OPT) $(GLINK2 attribute, LinkageAttribute) $(D ref) $(GLINK2 type, TypeCtors)$(opt) $(GLINK2 type, BasicType) $(GLINK2 declaration, Declarator)
     $(GLINK ParameterAttributes)$(OPT) $(GLINK2 type, Type)
 
 $(GNAME ParameterAttributes):

spec/statement.dd

@@ -241,6 +241,8 @@ $(GNAME IfCondition):
     $(EXPRESSION)
     $(GLINK IfConditionStorageClasses) $(GLINK_LEX Identifier) $(D =) $(EXPRESSION)
     $(GLINK IfConditionStorageClasses)$(OPT) $(GLINK2 type, BasicType) $(GLINK2 declaration, Declarator) $(D =) $(EXPRESSION)
+    $(GLINK IfConditionStorageClasses)$(OPT) $(GLINK2 attribute, LinkageAttribute) $(GLINK2 type, TypeCtors)$(OPT) $(GLINK2 type, BasicType) $(GLINK2 declaration, Declarator) $(D =) $(EXPRESSION)
+    $(GLINK IfConditionStorageClasses)$(OPT) $(GLINK2 attribute, LinkageAttribute) $(D ref) $(GLINK2 type, TypeCtors)$(OPT) $(GLINK2 type, BasicType) $(GLINK2 declaration, Declarator) $(D =) $(EXPRESSION)
 
 $(GNAME IfConditionStorageClasses):
     $(GLINK IfConditionStorageClass)
@@ -501,6 +503,8 @@ $(GNAME ForeachTypeList):
 
 $(GNAME ForeachType):
     $(GLINK ForeachTypeAttributes)$(OPT) $(GLINK2 type, BasicType) $(GLINK2 declaration, Declarator)
+    $(GLINK ForeachTypeAttributes)$(OPT) $(GLINK2 attribute, LinkageAttribute) $(GLINK2 type, BasicType) $(GLINK2 declaration, Declarator)
+    $(GLINK ForeachTypeAttributes)$(OPT) $(GLINK2 attribute, LinkageAttribute) $(D ref) $(GLINK2 type, BasicType) $(GLINK2 declaration, Declarator)
     $(GLINK ForeachTypeAttributes)$(OPT) $(GLINK_LEX Identifier)
     $(GLINK ForeachTypeAttributes)$(OPT) $(D alias) $(GLINK_LEX Identifier)
 

spec/traits.dd

@@ -1795,13 +1795,15 @@ static assert(__traits(isSame, foo, daz));
 )
 
         $(P The result is `true` if the two arguments are expressions
-        made up of literals or enums that evaluate to the same value.)
+        none of which are just symbols
+        that evaluate to the same value at compile-time.)
 
 $(SPEC_RUNNABLE_EXAMPLE_COMPILE
 ---
 enum e = 3;
-static assert(__traits(isSame, (e), 3));
-static assert(__traits(isSame, 5, 2 + e));
+static assert(!__traits(isSame,                 e,  3)); //  e  is a symbol
+static assert( __traits(isSame, cast(typeof(e)) e,  3)); // cast is an expression
+static assert( __traits(isSame, 5, 2 + e)); // 5 and 2 + e are expressions
 ---
 )
         $(P If the two arguments are both

spec/type.dd

@@ -13,6 +13,9 @@ $(H2 $(LNAME2 grammar, Grammar))
 $(GRAMMAR
 $(GNAME Type):
     $(GLINK TypeCtors)$(OPT) $(GLINK BasicType) $(GLINK TypeSuffixes)$(OPT)
+    $(GLINK TypeCtors)$(OPT) $(D ref) $(GLINK TypeCtors)$(OPT) $(GLINK BasicType) $(GLINK TypeSuffixes)
+    $(GLINK TypeCtors)$(OPT) $(GLINK2 attribute, LinkageAttribute) $(GLINK TypeCtors)$(OPT) $(GLINK BasicType) $(GLINK TypeSuffixes)
+    $(GLINK TypeCtors)$(OPT) $(GLINK2 attribute, LinkageAttribute) $(D ref) $(GLINK TypeCtors)$(OPT) $(GLINK BasicType) $(GLINK TypeSuffixes)
 
 $(GNAME TypeCtors):
     $(GLINK TypeCtor)
@@ -30,7 +33,7 @@ $(GNAME BasicType):
     $(GLINK QualifiedIdentifier)
     $(GLINK Typeof)
     $(GLINK Typeof) $(D .) $(GLINK QualifiedIdentifier)
-    $(GLINK TypeCtor) $(D $(LPAREN)) $(GLINK Type) $(D $(RPAREN))
+    $(GLINK TypeCtor)$(OPT) $(D $(LPAREN)) $(GLINK Type) $(D $(RPAREN))
     $(GLINK Vector)
     $(GLINK2 traits, TraitsExpression)
     $(GLINK MixinType)
@@ -77,6 +80,9 @@ $(GNAME TypeSuffix):
     $(D [) $(GLINK2 expression, AssignExpression) $(D ])
     $(D [) $(GLINK2 expression, AssignExpression) $(D ..) $(GLINK2 expression, AssignExpression) $(D ])
     $(D [) $(GLINK Type) $(D ])
+    $(GLINK CallableSuffix)
+
+$(GNAME CallableSuffix):
     $(D delegate) $(GLINK2 function, Parameters) $(GLINK2 function, MemberFunctionAttributes)$(OPT)
     $(D function) $(GLINK2 function, Parameters) $(GLINK2 function, FunctionAttributes)$(OPT)
 
@@ -93,6 +99,11 @@ $(GNAME QualifiedIdentifier):
     * $(RELATIVE_LINK2 derived-data-types, Derived Data Types) build on leaf types.
     * $(RELATIVE_LINK2 user-defined-types, User-Defined Types) are aggregates of basic and derived types.
 
+$(P For a $(GLINK Type) to be well-formed,
+if it uses a $(GLINK2 attribute, LinkageAttribute) and/or `ref`,
+the sequence of $(GLINK TypeSuffixes) must include exactly one $(GLINK CallableSuffix).)
+
+
 $(H2 $(LEGACY_LNAME2 Basic Data Types, basic-data-types, Basic Data Types))
 
     $(TABLE_3COLS Basic Data Types,
@@ -606,19 +617,29 @@ A function type e.g. `int(int)` $(DDSUBLINK spec/declaration, alias-function, ca
 A function type is only used for type tests or as the target type of a pointer.)
 
 $(P Instantiating a function type is illegal. Instead, a pointer to function
-or delegate can be used. Those have these type forms respectively:)
+or delegate can be used. Somewhat simplified, those have these type forms respectively:)
 
 $(INFORMATIVE_GRAMMAR
-$(GLINK Type) `function` $(GLINK2 function, Parameters) $(GLINK2 function, FunctionAttributes)$(OPT)
-$(GLINK Type) `delegate` $(GLINK2 function, Parameters) $(GLINK2 function, MemberFunctionAttributes)$(OPT)
+$(GLINK2 attribute, LinkageAttribute)$(OPT) $(GLINK Type) `function` $(GLINK2 function, Parameters) $(GLINK2 function, FunctionAttributes)$(OPT)
+$(GLINK2 attribute, LinkageAttribute)$(OPT) $(GLINK Type) `delegate` $(GLINK2 function, Parameters) $(GLINK2 function, MemberFunctionAttributes)$(OPT)
+
+$(GLINK2 attribute, LinkageAttribute)$(OPT) $(D ref) $(GLINK BasicType) `function` $(GLINK2 function, Parameters) $(GLINK2 function, FunctionAttributes)$(OPT)
+$(GLINK2 attribute, LinkageAttribute)$(OPT) $(D ref) $(GLINK BasicType) `delegate` $(GLINK2 function, Parameters) $(GLINK2 function, MemberFunctionAttributes)$(OPT)
 )
 
+$(P When linkage attributes and/or `ref` are present, a function pointer or delegate type is not a $(GLINK BasicType),
+and some contexts require surrounding them by parentheses.
+
 $(SPEC_RUNNABLE_EXAMPLE_COMPILE
 ---
 void f(int);
 alias Fun = void(int);
 static assert(is(typeof(f) == Fun));
 static assert(is(Fun* == void function(int)));
+
+// ref int g(ref int x) => x;
+// (ref int function(ref int)) fp = &g; // variable declaration requires `()`
+// static assert(is(typeof(fp) == ref int function(ref int))); // `is` requires no extra `()`
 ---
 )