From 75a03a5b00cdf0ca263063e570a0c7d190671375 Mon Sep 17 00:00:00 2001 From: Robert Griesemer Date: Sat, 27 Sep 2008 14:51:31 -0700 Subject: [PATCH] - added TODO - changed FieldDecl production in preparation for inlined types R=r DELTA=6 (4 added, 0 deleted, 2 changed) OCL=16046 CL=16046 --- doc/go_spec.txt | 8 ++++++-- 1 file changed, 6 insertions(+), 2 deletions(-) diff --git a/doc/go_spec.txt b/doc/go_spec.txt index 46f0bb830f..ce07c58b60 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 26, 2008) +(September 27, 2008) This document is a semi-formal specification of the Go systems @@ -51,6 +51,7 @@ Open issues according to gri: [ ] nil and interfaces - can we test for nil, what does it mean, etc. [ ] type switch or some form of type test needed [ ] what is the meaning of typeof() +[ ] at the moment: type T S; strips any methods of S. It probably shouldn't. Decisions in need of integration into the doc: @@ -975,6 +976,9 @@ to arrays and arrays. Struct types ---- +TODO: The language below needs to be adjusted for inlined types. The syntax +is probably all right. + A struct is a composite type consisting of a fixed number of elements, called fields, with possibly different types. The struct type declaration specifies the name and type for each field. The scope of each field identifier @@ -983,7 +987,7 @@ it is also visible within field selectors (§Primary Expressions). StructType = "struct" "{" [ FieldDeclList [ ";" ] ] "}" . FieldDeclList = FieldDecl { ";" FieldDecl } . - FieldDecl = IdentifierList FieldType . + FieldDecl = [ IdentifierList ] FieldType . FieldType = Type . Type equality: Two struct types are equal only if both have the same number -- 2.48.1