Before, all values received on some channel by Select would flow to an empty interface, creating a spurious confluence for flow analyses. Now, the tuple returned by Select has one component for each 'receive' case. Also, fixes: - Removed workarounds for now-fixed typechecker bug in FuncLit+TypeAssert. - sanity check that all Value Instructions have non-nil Type(). - Convert: document and sanity-check that at least one of the types is basic. Also, other things to help clients: - Define CallInstruction interface: common parts of Call, Go, Defer. - Add CallCommon.Signature() method. - Literal.Pos() is now populated. R=gri CC=golang-dev https://golang.org/cl/10505043 |
||
|---|---|---|
| .. | ||
| testdata | ||
| external.go | ||
| external_plan9.go | ||
| external_unix.go | ||
| external_windows.go | ||
| interp.go | ||
| interp_test.go | ||
| map.go | ||
| ops.go | ||
| reflect.go | ||
| value.go | ||