mirror of
https://github.com/golang/go.git
synced 2025-05-05 15:43:04 +00:00
cmd/compile: make sure shapes have proper indexes for sub-instantiation
The computation for determining the shapes to use at the top of getInstantation was not always creating shapes with the proper indexes. If an instantiation is being called from another instantiated function, we cannot just copy the shape types unchanged, because their indexes may have changed. So, for type args that already shapes, we still call Shapify() with the correct index. Fixes #48645 Change-Id: Ibb61c6f9a3c317220fb85135ca87eb5ad4dcff9e Reviewed-on: https://go-review.googlesource.com/c/go/+/353030 Trust: Dan Scales <danscales@google.com> Run-TryBot: Dan Scales <danscales@google.com> TryBot-Result: Go Bot <gobot@golang.org> Reviewed-by: Keith Randall <khr@golang.org>
This commit is contained in:
parent
aeb4fbabc0
commit
c2de759581
@ -610,21 +610,16 @@ func (g *irgen) getInstantiation(nameNode *ir.Name, shapes []*types.Type, isMeth
|
||||
// number of instantiations we have to generate. You can actually have a mix
|
||||
// of shape and non-shape arguments, because of inferred or explicitly
|
||||
// specified concrete type args.
|
||||
var s1 []*types.Type
|
||||
s1 := make([]*types.Type, len(shapes))
|
||||
for i, t := range shapes {
|
||||
if !t.IsShape() {
|
||||
if s1 == nil {
|
||||
s1 = make([]*types.Type, len(shapes))
|
||||
copy(s1[0:i], shapes[0:i])
|
||||
}
|
||||
s1[i] = typecheck.Shapify(t, i)
|
||||
} else if s1 != nil {
|
||||
s1[i] = shapes[i]
|
||||
} else {
|
||||
// Already a shape, but make sure it has the correct index.
|
||||
s1[i] = typecheck.Shapify(shapes[i].Underlying(), i)
|
||||
}
|
||||
}
|
||||
if s1 != nil {
|
||||
shapes = s1
|
||||
}
|
||||
shapes = s1
|
||||
|
||||
sym := typecheck.MakeFuncInstSym(nameNode.Sym(), shapes, false, isMeth)
|
||||
info := g.instInfoMap[sym]
|
||||
|
31
test/typeparam/issue48645a.go
Normal file
31
test/typeparam/issue48645a.go
Normal file
@ -0,0 +1,31 @@
|
||||
// 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"
|
||||
)
|
||||
|
||||
type Stream[T any] struct {
|
||||
}
|
||||
|
||||
func (s Stream[T]) DropWhile() Stream[T] {
|
||||
return Pipe[T, T](s)
|
||||
}
|
||||
|
||||
func Pipe[T, R any](s Stream[T]) Stream[R] {
|
||||
it := func(fn func(R) bool) {
|
||||
}
|
||||
fmt.Println(reflect.TypeOf(it).String())
|
||||
return Stream[R]{}
|
||||
}
|
||||
|
||||
func main() {
|
||||
s := Stream[int]{}
|
||||
s = s.DropWhile()
|
||||
}
|
1
test/typeparam/issue48645a.out
Normal file
1
test/typeparam/issue48645a.out
Normal file
@ -0,0 +1 @@
|
||||
func(func(int) bool)
|
81
test/typeparam/issue48645b.go
Normal file
81
test/typeparam/issue48645b.go
Normal file
@ -0,0 +1,81 @@
|
||||
// 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
|
||||
|
||||
type Iterator[T any] interface {
|
||||
Iterate(fn func(T) bool)
|
||||
}
|
||||
|
||||
type IteratorFunc[T any] func(fn func(T) bool)
|
||||
|
||||
func (f IteratorFunc[T]) Iterate(fn func(T) bool) {
|
||||
f(fn)
|
||||
}
|
||||
|
||||
type Stream[T any] struct {
|
||||
it Iterator[T]
|
||||
}
|
||||
|
||||
func (s Stream[T]) Iterate(fn func(T) bool) {
|
||||
if s.it == nil {
|
||||
return
|
||||
}
|
||||
s.it.Iterate(fn)
|
||||
}
|
||||
|
||||
func FromIterator[T any](it Iterator[T]) Stream[T] {
|
||||
return Stream[T]{it: it}
|
||||
}
|
||||
|
||||
func (s Stream[T]) DropWhile(fn func(T) bool) Stream[T] {
|
||||
return Pipe[T, T](s, func(t T) (T, bool) {
|
||||
return t, true
|
||||
})
|
||||
}
|
||||
|
||||
func Pipe[T, R any](s Stream[T], op func(d T) (R, bool)) Stream[R] {
|
||||
it := func(fn func(R) bool) {
|
||||
// XXX Not getting the closure right when converting to interface.
|
||||
// s.it.Iterate(func(t T) bool {
|
||||
// r, ok := op(t)
|
||||
// if !ok {
|
||||
// return true
|
||||
// }
|
||||
|
||||
// return fn(r)
|
||||
// })
|
||||
}
|
||||
|
||||
return FromIterator[R](IteratorFunc[R](it))
|
||||
}
|
||||
|
||||
func Reduce[T, U any](s Stream[T], identity U, acc func(U, T) U) (r U) {
|
||||
r = identity
|
||||
s.Iterate(func(t T) bool {
|
||||
r = acc(r, t)
|
||||
return true
|
||||
})
|
||||
|
||||
return r
|
||||
}
|
||||
|
||||
type myIterator struct {
|
||||
}
|
||||
|
||||
func (myIterator) Iterate(fn func(int) bool) {
|
||||
}
|
||||
|
||||
func main() {
|
||||
s := Stream[int]{}
|
||||
s.it = myIterator{}
|
||||
s = s.DropWhile(func(i int) bool {
|
||||
return false
|
||||
})
|
||||
Reduce(s, nil, func(acc []int, e int) []int {
|
||||
return append(acc, e)
|
||||
})
|
||||
}
|
Loading…
x
Reference in New Issue
Block a user