mirror of
https://github.com/hanzoai/yaegi.git
synced 2026-11-03 04:34:19 +00:00
b3d122c908
* feat: generate go1.21 files * chore: update CI * feat: add support for generic symbols in standard library packages This is necessary to fully support go1.21 and beyond, which now provide some generic packages such as `cmp`, `maps` or `slices` in the standard library. The principle is to embed the generic symbols in source form (as strings) so they can be instantiated as required during interpretation. Extract() has been modified to skip the generic types, functions and constraint interfaces which can't be represented as reflect.Values. A new stdlib/generic package has been added to provide the corresponding source files as embedded strings. The `Use()` function has been changed to pre-parse generic symbols as doing lazy parsing was causing cyclic dependencies issues at compiling. This is something we may improve in the future. A unit test using `cmp` has been added. For now, there are still some issues with generic stdlib packages inter-dependencies, for example `slices` importing `cmp`, or when generic types or function signatures depends on pre-compiled types in the same package, which we will support shortly. * fixup * fixup * fixup * fixup * fixup * fixup * fixes for go1.20 * fix previous * update unsafe2 for go1.21, skip faky tests In go1.21, the reflect rtype definition has been move to internal/abi. We follow this change for maintainability, even if there is no layout change (the go1.20 unsafe2 is compatible with go1.21). We have isolated a few problematic tests which are failing sometimes in go1.21, but work in go1.20, and also in go1.22. Those tests are skipped if in go1.21. A preliminary investigation can not confirm that something is wrong in yaegi, and the problem disappears with go1.22. * add new wrapper for go1.21 package testing/slogtest * add missing wrapper for go/doc/comment * add support for slices generic package --------- Co-authored-by: Marc Vertes <[email protected]>
66 lines
1.2 KiB
Go
66 lines
1.2 KiB
Go
//go:build !go1.21
|
|
// +build !go1.21
|
|
|
|
// Package unsafe2 provides helpers to generate recursive struct types.
|
|
package unsafe2
|
|
|
|
import (
|
|
"reflect"
|
|
"unsafe"
|
|
)
|
|
|
|
type dummy struct{}
|
|
|
|
// DummyType represents a stand-in for a recursive type.
|
|
var DummyType = reflect.TypeOf(dummy{})
|
|
|
|
// the following type sizes must match their original definition in Go src/reflect/type.go.
|
|
|
|
type rtype struct {
|
|
_ uintptr
|
|
_ uintptr
|
|
_ uint32
|
|
_ uint32
|
|
_ uintptr
|
|
_ uintptr
|
|
_ uint32
|
|
_ uint32
|
|
}
|
|
|
|
type emptyInterface struct {
|
|
typ *rtype
|
|
_ unsafe.Pointer
|
|
}
|
|
|
|
type structField struct {
|
|
_ uintptr
|
|
typ *rtype
|
|
_ uintptr
|
|
}
|
|
|
|
type structType struct {
|
|
rtype
|
|
_ uintptr
|
|
fields []structField
|
|
}
|
|
|
|
// SetFieldType sets the type of the struct field at the given index, to the given type.
|
|
//
|
|
// The struct type must have been created at runtime. This is very unsafe.
|
|
func SetFieldType(s reflect.Type, idx int, t reflect.Type) {
|
|
if s.Kind() != reflect.Struct || idx >= s.NumField() {
|
|
return
|
|
}
|
|
|
|
rtyp := unpackType(s)
|
|
styp := (*structType)(unsafe.Pointer(rtyp))
|
|
f := styp.fields[idx]
|
|
f.typ = unpackType(t)
|
|
styp.fields[idx] = f
|
|
}
|
|
|
|
func unpackType(t reflect.Type) *rtype {
|
|
v := reflect.New(t).Elem().Interface()
|
|
return (*emptyInterface)(unsafe.Pointer(&v)).typ
|
|
}
|