aboutsummaryrefslogtreecommitdiff
path: root/test/typeparam/map.go
diff options
context:
space:
mode:
authorDan Scales <danscales@google.com>2021-02-08 14:33:51 -0800
committerDan Scales <danscales@google.com>2021-02-10 01:44:48 +0000
commit12e15d430d408ff9a961bdfb72cfc7f0b521a354 (patch)
treefe0963bbd6e9d454d65d7c1ac6e611dd5e59947f /test/typeparam/map.go
parentca18c4205442dc49eb35272b9f4b7f0cd8f2c079 (diff)
downloadgo-12e15d430d408ff9a961bdfb72cfc7f0b521a354.tar.gz
go-12e15d430d408ff9a961bdfb72cfc7f0b521a354.zip
[dev.typeparams] cmd/compile: handle calling a method on a type param in stenciling
- Have to delay the extra transformation on methods invoked on a type param, since the actual transformation (including path through embedded fields) will depend on the instantiated type. I am currently doing the transformation during the stencil substitution phase. We probably should have a separate pass after noder2 and stenciling, which drives the extra transformations that were in the old typechecker. - We handle method values (that are not called) and method calls. We don't currently handle method expressions. - Handle type substitution in function types, which is needed for function args in generic functions. - Added stringer.go and map.go tests, testing the above changes (including constraints with embedded interfaces). Change-Id: I3831a937d2b8814150f75bebf9f23ab10b93fa00 Reviewed-on: https://go-review.googlesource.com/c/go/+/290550 TryBot-Result: Go Bot <gobot@golang.org> Trust: Dan Scales <danscales@google.com> Trust: Robert Griesemer <gri@golang.org> Run-TryBot: Dan Scales <danscales@google.com> Reviewed-by: Robert Griesemer <gri@golang.org>
Diffstat (limited to 'test/typeparam/map.go')
-rw-r--r--test/typeparam/map.go39
1 files changed, 39 insertions, 0 deletions
diff --git a/test/typeparam/map.go b/test/typeparam/map.go
new file mode 100644
index 0000000000..720a52ffbd
--- /dev/null
+++ b/test/typeparam/map.go
@@ -0,0 +1,39 @@
+// run -gcflags=-G=3
+
+// Copyright 2021 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.
+
+package main
+
+import (
+ "fmt"
+ "reflect"
+ "strconv"
+)
+
+// Map calls the function f on every element of the slice s,
+// returning a new slice of the results.
+func mapper[F, T any](s []F, f func(F) T) []T {
+ r := make([]T, len(s))
+ for i, v := range s {
+ r[i] = f(v)
+ }
+ return r
+}
+
+func main() {
+ got := mapper([]int{1, 2, 3}, strconv.Itoa)
+ want := []string{"1", "2", "3"}
+ if !reflect.DeepEqual(got, want) {
+ panic(fmt.Sprintf("Got %s, want %s", got, want))
+ }
+
+ fgot := mapper([]float64{2.5, 2.3, 3.5}, func(f float64) string {
+ return strconv.FormatFloat(f, 'f', -1, 64)
+ })
+ fwant := []string{"2.5", "2.3", "3.5"}
+ if !reflect.DeepEqual(fgot, fwant) {
+ panic(fmt.Sprintf("Got %s, want %s", fgot, fwant))
+ }
+}