WIP fix(gnovm): PoC of inter-realm spec

examples/gno.land/p/demo/tests/tests.gno

@@ -6,6 +6,10 @@ import (
 	psubtests "gno.land/p/demo/tests/subtests"
 )
 
+type Foo struct{ name string }
+
+var F = Foo{"p"}
+
 const World = "world"
 
 func CurrentRealmPath() string {

examples/gno.land/r/demo/boards/z_4_filetest.gno

@@ -341,7 +341,7 @@ func main() {
 //                 "Base": {
 //                     "@type": "/gno.RefValue",
 //                     "Escaped": true,
-//                     "ObjectID": "336074805fc853987abe6f7fe3ad97a6a6f3077a:2"
+//                     "ObjectID": "purePkg:336074805fc853987abe6f7fe3ad97a6a6f3077a:2"
 //                 },
 //                 "Index": "182",
 //                 "TV": null
@@ -504,7 +504,7 @@ func main() {
 //             },
 //             "V": {
 //                 "@type": "/gno.RefValue",
-//                 "Hash": "0fd3352422af0a56a77ef2c9e88f479054e3d51f",
+//                 "Hash": "4f0883532c1f35946dd4ca240781157e91447a92",
 //                 "ObjectID": "f6dbf411da22e67d74cd7ddba6a76cd7e14a4822:131"
 //             }
 //         },
@@ -541,7 +541,7 @@ func main() {
 //         },
 //         "V": {
 //             "@type": "/gno.RefValue",
-//             "Hash": "c45bbd47a46681a63af973db0ec2180922e4a8ae",
+//             "Hash": "92761e5476881f637dd3b1c511e7f2beedec200f",
 //             "ObjectID": "f6dbf411da22e67d74cd7ddba6a76cd7e14a4822:127"
 //         }
 //     }
@@ -792,7 +792,7 @@ func main() {
 //             },
 //             "V": {
 //                 "@type": "/gno.RefValue",
-//                 "Hash": "a416a751c3a45a1e5cba11e737c51340b081e372",
+//                 "Hash": "92919a731f2816f8ac28938c1ee66fb12d95810c",
 //                 "ObjectID": "f6dbf411da22e67d74cd7ddba6a76cd7e14a4822:86"
 //             }
 //         },
@@ -810,7 +810,7 @@ func main() {
 //             },
 //             "V": {
 //                 "@type": "/gno.RefValue",
-//                 "Hash": "36299fccbc13f2a84c4629fad4cb940f0bd4b1c6",
+//                 "Hash": "f00c735099ba634c00dc3076978e16fd9899e9d0",
 //                 "ObjectID": "f6dbf411da22e67d74cd7ddba6a76cd7e14a4822:87"
 //             }
 //         },
@@ -905,7 +905,7 @@ func main() {
 //         },
 //         "V": {
 //             "@type": "/gno.RefValue",
-//             "Hash": "a88a9b837af217656ee27084309f7cd02cd94cb3",
+//             "Hash": "bbf8cb63d9a27d3cb74e676801c92239fe00a159",
 //             "ObjectID": "f6dbf411da22e67d74cd7ddba6a76cd7e14a4822:85"
 //         }
 //     }

examples/gno.land/r/demo/tests/crossrealm/array/crossrealm_array.gno

@@ -0,0 +1,17 @@
+package crossrealm_array
+
+type Foo struct{ name string }
+
+var f = Foo{"foo"}
+
+func GetArray() [2]Foo {
+	return [2]Foo{Foo{"a"}, Foo{"b"}}
+}
+
+func GetArray2() [2]*Foo {
+	return [2]*Foo{&Foo{"a"}, &Foo{"b"}}
+}
+
+func GetArray3() [1]*Foo {
+	return [1]*Foo{&f}
+}

examples/gno.land/r/demo/tests/crossrealm/crossrealm.gno → examples/gno.land/r/demo/tests/crossrealm/crossrealm_p.gno

@@ -17,7 +17,7 @@ func (ls *LocalStruct) String() string {
 var local *LocalStruct
 
 func init() {
-	local = &LocalStruct{A: 123}
+	local = &LocalStruct{A: 123} // this is attached first
 }
 
 // Make1 returns a local object wrapped by a p struct

examples/gno.land/r/demo/tests/crossrealm/func/crossrealm_func.gno

@@ -0,0 +1,47 @@
+package crossrealm_func
+
+type F func() bool
+
+var f F
+
+func SetCallback(ff F) {
+	f = ff
+}
+
+func ExecuteCallback() {
+	f()
+}
+
+var ff = func() string { return "a" } // parent object already escaped
+
+// XXX, this is special case, for ff, it's closure is referenced,
+// so need to check all embedded items attached?
+// see zrealm_crossrealm38.gno
+func GetFunc() func() string {
+	return ff
+}
+
+func GetFunc2() func() string {
+	return func() string {
+		return "b"
+	}
+}
+
+type MyStruct struct{}
+type MyStruct2 struct{ name string }
+
+func (sv *MyStruct) M() string { return "a" }
+
+var mysv *MyStruct = &MyStruct{}
+
+func (sv2 MyStruct2) M2() string { return "a2" }
+
+var mysv2 = MyStruct2{name: "struct_val"}
+
+func GetMethod() func() string {
+	return mysv.M
+}
+
+func GetMethod2() func() string {
+	return mysv2.M2
+}

examples/gno.land/r/demo/tests/crossrealm/iface/crossrealm_iface.gno

@@ -0,0 +1,35 @@
+package iface
+
+type Foo2 struct{}
+
+// XXX, how about not interface
+type Fooer interface{ Foo() }
+
+var fooer Fooer
+
+func SetFooer(f Fooer) Fooer {
+	fooer = f
+	return fooer
+}
+
+func CallFoo() { fooer.Foo() }
+
+// container in external realm
+type Container struct {
+	name string
+	f    Fooer
+}
+
+var container Container // attached
+
+func RunF() {
+	container.f.Foo()
+}
+func SetContainer(f Fooer) {
+	container.f = f // update
+}
+
+func SetContainer2(f Fooer) {
+	ff := f          // associate to non-attached object
+	SetContainer(ff) // attach container, while ff is not attached
+}

examples/gno.land/r/demo/tests/crossrealm/map/crossrealm_map.gno

@@ -0,0 +1,37 @@
+package crossrealm_map
+
+type Foo struct{}
+
+var f = Foo{}
+
+var m map[string]int
+
+func init() {
+	m = make(map[string]int)
+	m["a"] = 1
+}
+
+func GetMap() map[string]int {
+	return m
+}
+
+func GetMap2(f func(map[string]int)) {
+	m1 := map[string]int{"a": 1}
+	f(m1)
+}
+
+func GetMap4() map[string]Foo {
+	var m1 = map[string]Foo{"foo": f}
+	return m1
+}
+
+// --------------------------------------
+type MyMap map[string]int
+
+var m2 = MyMap{"a": 1}
+
+func GetMap3() MyMap {
+	return m2
+}
+
+// TODO: add some map with elements of object

examples/gno.land/r/demo/tests/crossrealm/slice/crossrealm_slice.gno

@@ -0,0 +1,124 @@
+package crossrealm_slice
+
+import "gno.land/p/demo/tests/p_crossrealm"
+
+type Fooer interface{ Foo() }
+
+var S []Fooer
+
+func SetSlice(fs []Fooer) {
+	S = fs
+	for _, f := range fs {
+		f.Foo()
+	}
+}
+
+var Arr [3]Fooer
+
+func SetArray(arr [3]Fooer) {
+	Arr = arr
+	for _, f := range Arr {
+		println(f)
+	}
+}
+
+// -------------------------------------
+type XYZ struct{ name string }
+
+var s1 []XYZ // underlying array is real after decl
+var s3 []XYZ
+
+// var s4 []XYZ
+var s4 = make([]XYZ, 1, 2)
+
+// NOTE that if new list allocated, XYZ{"4"} will be copied, and it's a new object
+// var s4 = make([]XYZ, 1)
+var s5 []*XYZ
+var s6 = make([]*XYZ, 2)
+
+var s7 [2]XYZ
+
+var s10 []int
+
+func init() {
+	s1 = append(s1, XYZ{"1"})
+	s1 = append(s1, XYZ{"2"})
+
+	s3 = append(s3, XYZ{"3"})
+	//s4 = append(s4, XYZ{"4"})
+	s4[0] = XYZ{"4"}
+
+	s5 = append(s5, &XYZ{"5"})
+
+	s6[0] = &XYZ{"6"}
+
+	s7[0] = XYZ{"7"}
+	s7[1] = XYZ{"7.1"} // should be real after this
+	s10 = append(s10, 1)
+}
+
+func GetSlice() []XYZ {
+	return s1[:]
+}
+
+// -------------------------------------------------------
+var e1 = XYZ{"1"}
+var e2 = XYZ{"2"}
+
+func GetSlice2() []XYZ {
+	var s2 []XYZ
+	s2 = append(s2, e1)
+	s2 = append(s2, e2)
+	return s2
+}
+
+// ------------------------------------------------------
+func GetSlice3() []XYZ {
+	s3 = append(s3, XYZ{"0"}) // this is real after function
+	return s3
+}
+
+func GetSlice4(f func(s []XYZ)) {
+	s4 = append(s4, XYZ{"0"}) // this is real after this function
+	f(s4)
+}
+
+func GetSlice5() []*XYZ { // TODO, unwrap
+	return s5
+}
+
+func GetSlice6(f func(s []*XYZ)) {
+	s6[1] = &XYZ{"6.1"}
+	f(s6)
+}
+
+func GetSlice7(f func(s [2]XYZ)) {
+	//s7[1] = XYZ{"7.1"}
+	f(s7)
+}
+
+var s8 [1]p_crossrealm.Stringer
+
+func GetSlice8(f p_crossrealm.Stringer) [1]p_crossrealm.Stringer {
+	s8[0] = f
+	return s8
+}
+
+func GetSlice9(f p_crossrealm.Stringer) [1]p_crossrealm.Stringer {
+	var s9 [1]p_crossrealm.Stringer
+	s9[0] = f
+	return s9
+}
+
+// XXX, s10 under array is real, and owned by this realm.
+func GetSlice10() []int {
+	return s10
+}
+
+func GetSlice11(f func(s []int)) {
+	// XXX, this is valid cuz the type of
+	// array is not defined in current realm(or any other),
+	// and the underlying array is not owned by this realm.
+	s11 := []int{1}
+	f(s11)
+}