On Saturday, October 1, 2016 at 11:29:35 PM UTC+8, Axel Wagner wrote: > > It *is* possible to define two named types with the same name (which are > not identical according to the spec): > https://play.golang.org/p/PmkcvdNQnx >
Oh, never know we can define local types! But, from my understanding, according to the spec, the two local X types are identical. But the compiler doesn't think so. A compiler bug? > > On Sat, Oct 1, 2016 at 5:03 PM, Jan Mercl <0xj...@gmail.com <javascript:>> > wrote: > >> On Sat, Oct 1, 2016 at 4:28 PM T L <tapi...@gmail.com <javascript:>> >> wrote: >> >> > I know this byte and uint8 are identical in syntax. >> >> They are identical semantically. >> >> > But they are not defined with TypeSpec >> <https://golang.org/ref/spec#Type_declarations> style described in the >> go spec. >> >> It's not possible to define all predeclared Go types using Go syntax. The >> predeclared error type can be defined just normally, for example[0]. But >> there's no way how to define a byte using valid Go source code. Some basic >> building blocks must be predefined in every sane programming language. From >> those basic building blocks other types can be built in source, provided >> the language supports user defined types at all. >> >> > In addition to there is no ways to define identical custom named types, >> so I think the text "Two named types <https://golang.org/ref/spec#Types> >> are identical if their type names originate in the same TypeSpec >> <https://golang.org/ref/spec#Type_declarations>." in go spec is >> meaningless. >> >> It's been discussed earlier in this thread that without this >> "meaningless" specification detail a particular example program would be >> rejected. It is not, because of this specs sentence. How it could be >> meaningless then? >> >> > Sorry, my English is not good, I have tried my best to explain my >> opinion. >> >> No problem with your English ;-) >> >> [0]: >> https://github.com/cznic/gc/blob/c3bc1381b6d1fb6498e2ef9f76002fc09554b3f8/context.go#L59 >> >> -- >> >> -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...@googlegroups.com <javascript:>. >> 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.
