From: Rob Pike <r@golang.org>
Date: Thu, 15 May 2008 21:13:44 +0000 (-0700)
Subject: add a couple of TODOs
X-Git-Tag: weekly.2009-11-06~3776
X-Git-Url: http://www.git.cypherpunks.su/?a=commitdiff_plain;h=9119f55e6dac9fd33bb94c4c00b7d5531286a56d;p=gostls13.git

add a couple of TODOs
fixed grammar for "Program"

SVN=118923
---

diff --git a/doc/go_lang.txt b/doc/go_lang.txt
index 11436131f5..e742aecd67 100644
--- a/doc/go_lang.txt
+++ b/doc/go_lang.txt
@@ -942,7 +942,7 @@ Incomplete types can be used together (and only) with pointer types.
   TypeSpecList = TypeSpec { ";" TypeSpec }.
 
 
-  type List  // foward declaration
+  type List  // forward declaration
   type IntArray [16] int
   type (
     Point struct { x, y float };
@@ -993,6 +993,7 @@ Also, in some contexts such as if or for statements,
 this construct can be used to
 declare local temporary variables.
 
+TODO: var a, b = 1, "x"; is permitted by grammar but not by current compiler
 
 Function and method declarations
 ----
@@ -1290,6 +1291,9 @@ These conversions are called ``compound conversions''.
 	convert(map[string]int, "1", 1, "2", 2)
 	convert(struct{ x int; y float }, 3, sqrt(2.0))
 
+TODO: are interface/struct and 'any' conversions legal? they're not
+equivalent, just compatible. convert([]any, 1, "hi", nil);
+
 There is syntactic help to make conversion expressions simpler to write.
 
 If the result type is of ConversionType (a type name, array type,
@@ -1876,7 +1880,7 @@ Program
 A program is package clause, optionally followed by import declarations,
 followed by a series of declarations.
 
-  Program = PackageClause { ImportDecl } { Declaration } .
+  Program = PackageClause { ImportDecl [ ";" ] } { Declaration [ ";" ] } .
 
 
 TODO
@@ -1885,3 +1889,4 @@ TODO
 - TODO: type switch?
 - TODO: words about slices
 - TODO: I (gri) would like to say that sizeof(int) == sizeof(pointer), always.
+- TODO: really lock down semicolons