fix: test

gnolang · Nov 26, 2024 · 13136c5 · 13136c5
1 parent 194883a
commit 13136c5
Show file tree

Hide file tree

Showing 4 changed files with 15 additions and 6 deletions.
diff --git a/gnovm/pkg/gnolang/preprocess.go b/gnovm/pkg/gnolang/preprocess.go
@@ -2436,6 +2436,15 @@ func parseAssignFromExprList(
 		for i := 0; i < numNames; i++ {
 			sts[i] = nt
 		}
+		if isConst {
+			if xnt, ok := nt.(*NativeType); ok {
+				nt = go2GnoBaseType(xnt.Type)
+			}
+
+			if _, ok := baseOf(nt).(PrimitiveType); !ok {
+				panic(fmt.Sprintf("invalid constant type %s", nt.String()))
+			}
+		}
 		// Convert if const to nt.
 		for i := range valueExprs {
 			checkOrConvertType(store, bn, &valueExprs[i], nt, false)

diff --git a/gnovm/tests/files/const30.gno b/gnovm/tests/files/const30.gno
@@ -12,4 +12,4 @@ func main() {
 }
 
 // Error:
-// main/files/const30.gno:10:8: v<VPBlock(3,0)>() (no value) used as value
+// main/files/const30.gno:10:8: v<VPBlock(3,0)> (no value) used as value
diff --git a/gnovm/tests/files/const37_native.gno b/gnovm/tests/files/const37_native.gno
@@ -7,4 +7,4 @@ func main() {
 }
 
 // Error:
-// main/files/const37_native.gno:6:8: time<VPBlock(2,0)>.UTC (variable of type gonative{*time.Location}) is not constant
+// main/files/const37_native.gno:6:8: time<VPBlock(2,0)>.UTC (variable of type *time.Location) is not constant
diff --git a/gnovm/tests/files/const38.gno b/gnovm/tests/files/const38.gno
@@ -1,11 +1,11 @@
 package main
 
-import "net"
+import "std"
 
 func main() {
-	v := net.TCPAddr{}
-	const c = v.IP
+	v := std.Coin{}
+	const c = v.Denom
 }
 
 // Error:
-// main/files/const38.gno:7:8: v<VPBlock(1,0)>.IP (variable of type gonative{net.TCPAddr}) is not constant
+// main/files/const38.gno:7:8: v<VPBlock(1,0)>.Denom (variable of type std.Coin) is not constant