In your representation, P means "identifiers are different", so the resulting false means the identifiers are the same, which is what the OP asked.
On Mon, Oct 10, 2016 at 8:47 AM, Jan Mercl <0xj...@gmail.com> wrote: > > On Mon, Oct 10, 2016 at 5:39 PM T L <tapir....@gmail.com> wrote: > > > Two identifiers are different if they are spelled differently, or if > they appear in different packages <https://golang.org/ref/spec#Packages> > and are not exported <https://golang.org/ref/spec#Exported_identifiers>. > Otherwise, they are the same. > > > > So, two exported identifiers spelled same but in different packages are > the same identifiers? > > Is my understanding right? > > No. > > P = spelledDifferently || appearInDifferentPackages && !exported > > For "two exported identifiers spelled same but in different packages" we > have > > P = false || true && false. > > -- > > -j > > -- > You received this message because you are subscribed to the Google Groups > "golang-nuts" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to golang-nuts+unsubscr...@googlegroups.com. > For more options, visit https://groups.google.com/d/optout. > -- You received this message because you are subscribed to the Google Groups "golang-nuts" group. To unsubscribe from this group and stop receiving emails from it, send an email to golang-nuts+unsubscr...@googlegroups.com. For more options, visit https://groups.google.com/d/optout.