From 5e92fb20b8eb83edee092ab3b28c4dd8035f3632 Mon Sep 17 00:00:00 2001
From: Robert Griesemer <gri@golang.org>
Date: Wed, 1 Oct 2008 17:21:19 -0700
Subject: [PATCH] Clarifications re: anonymous fields in structs: - typename
 cannot refer to interface types - clarified syntax - added TODO re: type name
 issue with qualified identifiers

Changed/fixed order of operators/keywords.

R=r
DELTA=10  (3 added, 0 deleted, 7 changed)
OCL=16337
CL=16339
---
 doc/go_spec.txt | 17 ++++++++++-------
 1 file changed, 10 insertions(+), 7 deletions(-)

diff --git a/doc/go_spec.txt b/doc/go_spec.txt
index 0e38d21d2f3..3ab38bb36ef 100644
--- a/doc/go_spec.txt
+++ b/doc/go_spec.txt
@@ -4,7 +4,7 @@ The Go Programming Language Specification (DRAFT)
 Robert Griesemer, Rob Pike, Ken Thompson
 
 ----
-(September 30, 2008)
+(October 1 2008)
 
 
 This document is a semi-formal specification of the Go systems
@@ -18,6 +18,8 @@ Any part may change substantially as design progresses.
 
 <!--
 Open issues according to gri:
+[ ] anonymous types are written using a type name, which can be a qualified identifier.
+    this might be a problem when referring to such a field using the type name.
 [ ] clarification on interface types, rules
 [ ] convert should not be used for composite literals anymore,
 	in fact, convert() should go away
@@ -53,6 +55,7 @@ Open issues according to gri:
 [ ] 6g allows: interface { f F } where F is a function type. fine, but then we should
     also allow: func f F {}, where F is a function type.
 [ ] provide composite literal notation to address array indices: []int{ 0: x1, 1: x2, ... }
+    and struct field names (both seem easy to do).
 
 Decisions in need of integration into the doc:
 [ ] pair assignment is required to get map, and receive ok.
@@ -439,8 +442,8 @@ The following special character sequences serve as operators or delimitors:
 	+    &     +=    &=     &&    ==    !=    (    )
 	-    |     -=    |=     ||    <     <=    [    ]
 	*    ^     *=    ^=     <-    >     >=    {    }
-	/    <<    /=    <<=    ++    =     :=    .    :
-	%    >>    %=    >>=    --    !     ...   ,    ;
+	/    <<    /=    <<=    ++    =     :=    ,    ;
+	%    >>    %=    >>=    --    !     ...   .    :
 
 
 Reserved words
@@ -450,8 +453,8 @@ The following words are reserved and must not be used as identifiers:
 
 	break        default      func         interface    select
 	case         else         go           map          struct
-	const        export       goto         package      switch
-	chan         fallthrough  if           range        type
+	chan         export       goto         package      switch
+	const        fallthrough  if           range        type
 	continue     for          import       return       var
 
 
@@ -999,7 +1002,7 @@ it is also visible within field selectors (§Primary Expressions).
 
 	StructType = "struct" "{" [ FieldList [ ";" ] ] "}" .
 	FieldList = FieldDecl { ";" FieldDecl } .
-	FieldDecl = [ IdentifierList ] Type .
+	FieldDecl = IdentifierList Type | TypeName .
 
 	// An empty struct.
 	struct {}
@@ -1014,7 +1017,7 @@ it is also visible within field selectors (§Primary Expressions).
 
 A struct may contain ``anonymous fields'', which are declared with
 a type name but no explicit field name. Instead, the type name acts as the
-field name.
+field name. Anonymous fields must not be interface types.
 
 	// A struct with a single anonymous field of type T.
 	struct {