more tests

gnovm/pkg/gnolang/preprocess.go

@@ -2954,13 +2954,20 @@ func predefineNow2(store Store, last BlockNode, d Decl, m map[Name]struct{}) (De
 			ft = ft.UnboundType(rft)
 			dt := (*DeclaredType)(nil)
 
-			debug.Println("---predefine now, funcDecl")
+			// check against base type, should not be pointer type or interface type as a receiver
 			if dt, ok := rt.(*DeclaredType); ok {
 				if _, ok := baseOf(dt).(*PointerType); ok {
-					panic("invalid receiver type IntPtr (pointer or interface type)")
+					panic(fmt.Sprintf("invalid receiver type %v (pointer type)\n", rt))
+				}
+				if _, ok := baseOf(dt).(*InterfaceType); ok {
+					panic(fmt.Sprintf("invalid receiver type %v (interface type)\n", rt))
 				}
 			}
+
 			if pt, ok := rt.(*PointerType); ok {
+				if _, ok := pt.Elem().(*PointerType); ok {
+					panic(fmt.Sprintf("invalid receiver type %v (pointer type)\n", rt))
+				}
 				dt = pt.Elem().(*DeclaredType)
 			} else {
 				dt = rt.(*DeclaredType)

gnovm/tests/files/type37.gno

@@ -17,4 +17,4 @@ func main() {
 }
 
 // Error:
-// main/debug/type37.gno:8: invalid receiver type IntPtr (pointer or interface type)
+// main/debug/type37.gno:8: invalid receiver type main.Arr (pointer type)

gnovm/tests/files/type37c.gno

@@ -0,0 +1,20 @@
+package main
+
+import "fmt"
+
+type Integer int
+
+func (i *Integer) Add(x int) { // receiver is val, not ptr
+	println(int(*i) + x)
+}
+
+func main() {
+	a := new(Integer)
+	a.Add(4)
+
+	fmt.Println(*a)
+}
+
+// Output:
+// 4
+// 0

gnovm/tests/files/type37d.gno

@@ -0,0 +1,22 @@
+package main
+
+import "fmt"
+
+type Integer int
+
+func (i **Integer) Add(x int) {
+	**i += Integer(x) // Dereference twice to get to the actual Integer value and modify it
+}
+
+func main() {
+	a := new(Integer) // a is a pointer to Integer
+	b := &a           // b is a pointer to a pointer to Integer
+
+	// Since Add is defined on **Integer, you need to pass b
+	b.Add(4) // Adds 4 to the value **b points to
+
+	fmt.Println(**b) // Should print 4, as **b is the same as *a
+}
+
+// Error:
+// main/debug/type37d.gno:7: invalid receiver type **main.Integer (pointer type)

gnovm/tests/files/type37e.gno

@@ -0,0 +1,21 @@
+package main
+
+import "fmt"
+
+type IntArray []int
+type Arr *IntArray
+
+func print(arr Arr) { // receiver is val, not ptr
+	println(arr)
+}
+
+func main() {
+	a := new(IntArray)
+	print(a)
+
+	fmt.Println(*a)
+}
+
+// Output:
+// &(nil main.IntArray)
+// []

gnovm/tests/files/type37e1.gno

@@ -0,0 +1,26 @@
+package main
+
+import "fmt"
+
+type IntArray []int
+type Arr *IntArray
+
+func add(arr Arr) { // receiver is val, not ptr
+	*arr = append(*arr, 1)
+}
+
+func main() {
+	a := new(IntArray)
+	add(a)
+
+	fmt.Println(a)
+	fmt.Println(*a)
+	fmt.Println(len(*a))
+	fmt.Println((*a)[0])
+}
+
+// Output:
+// &[1]
+// [1]
+// 1
+// 1

gnovm/tests/files/type38.gno

@@ -13,4 +13,4 @@ func main() {
 }
 
 // Error:
-// main/debug/type38.gno:7: invalid receiver type IntPtr (pointer or interface type)
+// main/debug/type38.gno:7: invalid receiver type main.IntPtr (pointer type)

gnovm/tests/files/type39.gno

@@ -0,0 +1,22 @@
+package main
+
+type foo interface {
+	say()
+}
+
+func (f foo) echo() int {
+	return 1
+}
+
+type Bar struct{}
+
+func (b *Bar) say() {}
+
+func main() {
+	var f foo
+	f = &Bar{}
+	println(f.echo())
+}
+
+// Error:
+// main/debug/type39.gno:7: invalid receiver type main.foo (interface type)

gnovm/tests/files/type39a.gno

@@ -0,0 +1,24 @@
+package main
+
+type foo interface {
+	say()
+}
+
+type FF foo
+
+func (f FF) echo() int {
+	return 1
+}
+
+type Bar struct{}
+
+func (b *Bar) say() {}
+
+func main() {
+	var f foo
+	f = &Bar{}
+	println(f.echo())
+}
+
+// Error:
+// main/debug/type39a.gno:9: invalid receiver type main.FF (interface type)