]> Cypherpunks repositories - gostls13.git/commit
go/types: expose types.IsIdentical, the Type equivalence relation.
authorAlan Donovan <adonovan@google.com>
Thu, 24 Jan 2013 19:22:17 +0000 (14:22 -0500)
committerAlan Donovan <adonovan@google.com>
Thu, 24 Jan 2013 19:22:17 +0000 (14:22 -0500)
commit0cbf289b36c27945dee513d29062f6894768a075
tree2271303e8379609c1b3ee2fb2ed9730c2b3a30c2
parentf8fb95f288d54f7459d08e6b47bfa48e46b79315
go/types: expose types.IsIdentical, the Type equivalence relation.

This function is absolutely critical for clients such as
exp/ssa, and too complex for clients to duplicate.

As with CL 7200046, gri expressed in the doc below [gophers
only] before going on leave that he intended to expose such a
predicate, though his wording suggests as an interface method
of Type rather than a standalone function.  (My preference is
for binary methods to be standalone; see "On Binary Methods",
Kim Bruce, 1995).  In any case if he wishes to move it that's
easily accommodated by clients.

https://docs.google.com/a/google.com/document/d/1-DQ4fxlMDs9cYtnkKhAAehX6MArjOQyJsRXp-6kiJLA/edit#heading=h.k3bwja7xony9

R=iant, gri, iant
CC=golang-dev
https://golang.org/cl/7203051
src/pkg/go/types/builtins.go
src/pkg/go/types/conversions.go
src/pkg/go/types/expr.go
src/pkg/go/types/operand.go
src/pkg/go/types/predicates.go