| commit | 4b7f7eef3fc09f7a595378179ed867f52daea55f | [log] [tgz] |
|---|---|---|
| author | Robert Griesemer <gri@golang.org> | Thu Jan 26 15:39:04 2023 -0800 |
| committer | Gopher Robot <gobot@golang.org> | Wed Feb 01 21:30:29 2023 +0000 |
| tree | 687a94d45e161abb4913705e743dfcafe8a9a724 | |
| parent | dd44d981dbad7191278fb629ed83bf2fd94cf1e5 [diff] |
go/types, types2: replace unifier type parameter list with a map Further simplify the unifier by using a mapping from type parameter to type (argument) handle, where a handle is just an indirection to the actual type associated with the type parameter. If multiple type parameters are "joined", i.e., share the same type (argument), then they use the same handle. Thus, if one of the type parameters gets a type, all type parameters sharing the same handle get the same type. The handles mapping replaces the indices list (mapping from type parameter index to types index). Because each handle holds any associated type directly, we also don't need a types list anymore. We still keep the incoming type parameter list to maintain the same order for printing and reporting inferred types. We may be able to eliminate this list as well in future CLs. Change-Id: I389527dbb325b828c91050e59902ae546c3d0347 Reviewed-on: https://go-review.googlesource.com/c/go/+/463228 Reviewed-by: Robert Findley <rfindley@google.com> Reviewed-by: Robert Griesemer <gri@google.com> Auto-Submit: Robert Griesemer <gri@google.com> Run-TryBot: Robert Griesemer <gri@google.com> TryBot-Result: Gopher Robot <gobot@golang.org>
Go is an open source programming language that makes it easy to build simple, reliable, and efficient software.
Gopher image by Renee French, licensed under Creative Commons 4.0 Attributions license.
Our canonical Git repository is located at https://go.googlesource.com/go. There is a mirror of the repository at https://github.com/golang/go.
Unless otherwise noted, the Go source files are distributed under the BSD-style license found in the LICENSE file.
Official binary distributions are available at https://go.dev/dl/.
After downloading a binary release, visit https://go.dev/doc/install for installation instructions.
If a binary distribution is not available for your combination of operating system and architecture, visit https://go.dev/doc/install/source for source installation instructions.
Go is the work of thousands of contributors. We appreciate your help!
To contribute, please read the contribution guidelines at https://go.dev/doc/contribute.
Note that the Go project uses the issue tracker for bug reports and proposals only. See https://go.dev/wiki/Questions for a list of places to ask questions about the Go language.