mirror of
https://github.com/hanzoai/yaegi.git
synced 2026-10-01 00:49:47 +00:00
For a long time, there was a confusion between aliased types and named types (due to my misunderstanding of alias types in Go at that time). The type category `aliasT` has been renamed into `linkedT`, which is correct semantically. Aliased types are only declared using `typeSpecAssign`, and its processing is now distinct from `typeSpec` statement, used for named types. A `linkedT` type is obtained by a statement like `type A uint32`, where `A` type category is therefore `linkedT`. An aliased type is obtained by a statement like `type A = uint32` (notice the `=` sign, translating into `typeSpecAssign`). The semantic difference is that in the first linkedT form, `A` and `uint32` are 2 distinct types, instead of being strictly equivalent in the `typeSpecAssign` form (the 2 names lead to one type definition). Fixes #1416.
18 lines
203 B
Go
18 lines
203 B
Go
package main
|
|
|
|
type Number int32
|
|
|
|
type Number1 = Number
|
|
|
|
type Number2 = Number1
|
|
|
|
func (n Number2) IsValid() bool { return true }
|
|
|
|
func main() {
|
|
a := Number(5)
|
|
println(a.IsValid())
|
|
}
|
|
|
|
// Output:
|
|
// true
|