From: Rob Pike <r@golang.org>
Date: Sun, 19 Apr 2009 00:21:00 +0000 (-0700)
Subject: tests for redeclaration in :=
X-Git-Tag: weekly.2009-11-06~1801
X-Git-Url: http://www.git.cypherpunks.su/?a=commitdiff_plain;h=549a60046b54b14ed93f3fb9136beb007030cf15;p=gostls13.git

tests for redeclaration in :=

R=ken
DELTA=71  (71 added, 0 deleted, 0 changed)
OCL=27616
CL=27616
---

diff --git a/test/decl.go b/test/decl.go
new file mode 100644
index 0000000000..6229db9b1e
--- /dev/null
+++ b/test/decl.go
@@ -0,0 +1,29 @@
+// $G $F.go && $L $F.$A && ./$A.out
+
+// Copyright 2009 The Go Authors. All rights reserved.
+// Use of this source code is governed by a BSD-style
+// license that can be found in the LICENSE file.
+
+// Correct short declarations and redeclarations.
+
+package main
+
+func f1() int { return 1 }
+func f2() (float, int) { return 1, 2 }
+func f3() (float, int, string) { return 1, 2, "3" }
+
+func main() {
+	i, f, s := f3();
+	j, f := f2();	// redeclare f
+	k := f1();
+	m, g, s := f3();
+	m, h, s := f3();
+	{
+		// new block should be ok.
+		i, f, s := f3();
+		j, f := f2();	// redeclare f
+		k := f1();
+		m, g, s := f3();
+		m, h, s := f3();
+	}
+}
diff --git a/test/declbad.go b/test/declbad.go
new file mode 100644
index 0000000000..8115b2cf6e
--- /dev/null
+++ b/test/declbad.go
@@ -0,0 +1,50 @@
+// errchk $G -e $F.go
+
+// Copyright 2009 The Go Authors. All rights reserved.
+// Use of this source code is governed by a BSD-style
+// license that can be found in the LICENSE file.
+
+// Incorrect short declarations and redeclarations.
+
+package main
+
+func f1() int { return 1 }
+func f2() (float, int) { return 1, 2 }
+func f3() (float, int, string) { return 1, 2, "3" }
+
+func main() {
+	{
+		// simple redeclaration
+		i := f1();
+		i := f1();	// ERROR "redeclared"
+	{
+		// change of type for f
+		i, f, s := f3();
+		f, g, t := f3();	// ERROR "redeclared"
+	}
+	{
+		// change of type for i
+		i, f, s := f3();
+		j, i, t := f3();	// ERROR "redeclared"
+	}
+	{
+		// no new variables
+		i, f, s := f3();
+		i, f := f2();	// ERROR "redeclared"
+	}
+	{
+		// single redeclaration
+		i, f, s := f3();
+		i := f1();	// ERROR "redeclared"
+	}
+		// double redeclaration
+	{
+		i, f, s := f3();
+		i, f := f2();	// ERROR "redeclared"
+	}
+	{
+		// triple redeclaration
+		i, f, s := f3();
+		i, f, s := f3();	// ERROR "redeclared"
+	}
+}