The type checker does not currently report the set of pairs of types that are tested for assignability (though gri and I agree that it should). This information is useful for many applications. For example, refactoring tool needs to know the minimal set of interface satisfaction constraints that must be preserved during a refactoring. This package is a stopgap measure to deduce the same information using another pass. Unlike go/types, it is not robust against inputs containing type errors. LGTM=sameer R=gri, sameer CC=golang-codereviews https://golang.org/cl/136470043 |
||
|---|---|---|
| astutil | ||
| blog | ||
| cmd | ||
| container/intsets | ||
| cover | ||
| dashboard | ||
| go | ||
| godoc | ||
| imports | ||
| oracle | ||
| playground | ||
| present | ||
| refactor | ||
| .hgignore | ||
| AUTHORS | ||
| CONTRIBUTORS | ||
| LICENSE | ||
| PATENTS | ||
| README | ||
| codereview.cfg | ||
README
This subrepository holds the source for various packages and tools that support the Go programming language. Some of the tools, godoc and vet for example, are included in binary Go distributions. Others, including the Go oracle and the test coverage tool, can be fetched with "go get". Packages include a type-checker for Go and an implementation of the Static Single Assignment form (SSA) representation for Go programs. To submit changes to this repository, see http://golang.org/doc/contribute.html.