From 2f5b6134a81716c5568d98a5ecda2a73a52d0c8c Mon Sep 17 00:00:00 2001
From: jaekwon <jae@tendermint.com>
Date: Tue, 18 Jun 2024 15:02:08 -0700
Subject: [PATCH] ...

---
 gnovm/pkg/gnolang/preprocess.go               | 40 ++++++++++++-------
 gnovm/tests/file.go                           |  8 +++-
 .../method/declaredType6b_filetest.gno        |  2 +-
 .../unnamedtype0b_filetest.gno                |  2 +-
 gnovm/tests/files/types/eql_0a1a1.gno         |  2 +-
 gnovm/tests/files/types/eql_0f14.gno          |  2 +-
 6 files changed, 36 insertions(+), 20 deletions(-)

diff --git a/gnovm/pkg/gnolang/preprocess.go b/gnovm/pkg/gnolang/preprocess.go
index b2d41508275..98a85240c09 100644
--- a/gnovm/pkg/gnolang/preprocess.go
+++ b/gnovm/pkg/gnolang/preprocess.go
@@ -847,11 +847,18 @@ func Preprocess(store Store, ctx BlockNode, n Node) Node {
 						if isUntyped(rt) { // e.g. int(1) + 1<<x
 							checkOrConvertType(store, last, &n.Right, lt, false)
 						} else { // both typed, left typed const, right typed non-const
-							if lt.TypeID() != rt.TypeID() {
-								panic(fmt.Sprintf(
-									"incompatible types in binary expression: %v %v %v",
-									lt.TypeID(), n.Op, rt.TypeID()))
+							if !shouldSwapOnSpecificity(lt, rt) {
+								checkOrConvertType(store, last, &n.Left, rt, false)
+							} else {
+								checkOrConvertType(store, last, &n.Right, lt, false)
 							}
+							/*
+								if lt.TypeID() != rt.TypeID() {
+									panic(fmt.Sprintf(
+										"incompatible types in XXX binary expression: %v %v %v",
+										lt.TypeID(), n.Op, rt.TypeID()))
+								}
+							*/
 						}
 					}
 				} else if ric { // right is const, left is not
@@ -894,11 +901,18 @@ func Preprocess(store Store, ctx BlockNode, n Node) Node {
 						if isUntyped(lt) {
 							checkOrConvertType(store, last, &n.Left, rt, false)
 						} else {
-							if lt.TypeID() != rt.TypeID() {
-								panic(fmt.Sprintf(
-									"incompatible types in binary expression: %v %v %v",
-									lt.TypeID(), n.Op, rt.TypeID()))
+							if !shouldSwapOnSpecificity(lt, rt) {
+								checkOrConvertType(store, last, &n.Left, rt, false)
+							} else {
+								checkOrConvertType(store, last, &n.Right, lt, false)
 							}
+							/*
+								if lt.TypeID() != rt.TypeID() {
+									panic(fmt.Sprintf(
+										"incompatible types in XXX binary expression: %v %v %v",
+										lt.TypeID(), n.Op, rt.TypeID()))
+								}
+							*/
 						}
 					}
 				} else { // ---both not const---
@@ -1002,14 +1016,10 @@ func Preprocess(store Store, ctx BlockNode, n Node) Node {
 						} else if riu { // left typed, right untyped
 							checkOrConvertType(store, last, &n.Right, lt, false)
 						} else { // both typed, refer to 0a1g.gno
-							if n.Op == EQL || n.Op == NEQ {
-								// nothing to do
+							if !shouldSwapOnSpecificity(lt, rt) {
+								checkOrConvertType(store, last, &n.Left, rt, false)
 							} else {
-								if !shouldSwapOnSpecificity(lt, rt) {
-									checkOrConvertType(store, last, &n.Left, rt, false)
-								} else {
-									checkOrConvertType(store, last, &n.Right, lt, false)
-								}
+								checkOrConvertType(store, last, &n.Right, lt, false)
 							}
 						}
 					}
diff --git a/gnovm/tests/file.go b/gnovm/tests/file.go
index 3d69b60bda6..8ab60145bd5 100644
--- a/gnovm/tests/file.go
+++ b/gnovm/tests/file.go
@@ -269,7 +269,12 @@ func RunFileTest(rootDir string, path string, opts ...RunFileTestOption) error {
 						errstr = parts[0]
 					}
 					if errstr != errWanted {
-						panic(fmt.Sprintf("fail on %s: got %q, want: %q", path, errstr, errWanted))
+						if f.syncWanted {
+							// write error to file
+							replaceWantedInPlace(path, "Error", errstr)
+						} else {
+							panic(fmt.Sprintf("fail on %s: got %q, want: %q", path, errstr, errWanted))
+						}
 					}
 
 					// NOTE: ignores any gno.GetDebugErrors().
@@ -293,6 +298,7 @@ func RunFileTest(rootDir string, path string, opts ...RunFileTestOption) error {
 						ctl := errstr +
 							"\n*** CHECK THE ERR MESSAGES ABOVE, MAKE SURE IT'S WHAT YOU EXPECTED, " +
 							"DELETE THIS LINE AND RUN TEST AGAIN ***"
+						// write error to file
 						replaceWantedInPlace(path, "Error", ctl)
 						panic(fmt.Sprintf("fail on %s: err recorded, check the message and run test again", path))
 					}
diff --git a/gnovm/tests/files/assign_unnamed_type/method/declaredType6b_filetest.gno b/gnovm/tests/files/assign_unnamed_type/method/declaredType6b_filetest.gno
index 88b3203a805..9e46c884252 100644
--- a/gnovm/tests/files/assign_unnamed_type/method/declaredType6b_filetest.gno
+++ b/gnovm/tests/files/assign_unnamed_type/method/declaredType6b_filetest.gno
@@ -17,4 +17,4 @@ func main() {
 }
 
 // Error:
-// main/files/assign_unnamed_type/method/declaredType6b_filetest.gno:15: cannot use uint as main.word without explicit conversion
+// main/files/assign_unnamed_type/method/declaredType6b_filetest.gno:15: cannot use []uint as []main.word
diff --git a/gnovm/tests/files/assign_unnamed_type/unnamedtype0b_filetest.gno b/gnovm/tests/files/assign_unnamed_type/unnamedtype0b_filetest.gno
index cc1d54cfa2a..8f1eb5399b2 100644
--- a/gnovm/tests/files/assign_unnamed_type/unnamedtype0b_filetest.gno
+++ b/gnovm/tests/files/assign_unnamed_type/unnamedtype0b_filetest.gno
@@ -14,4 +14,4 @@ func main() {
 }
 
 // Error:
-// main/files/assign_unnamed_type/unnamedtype0b_filetest.gno:11: cannot use main.word as int without explicit conversion
+// main/files/assign_unnamed_type/unnamedtype0b_filetest.gno:11: cannot use []main.word as []int
diff --git a/gnovm/tests/files/types/eql_0a1a1.gno b/gnovm/tests/files/types/eql_0a1a1.gno
index 99be92ff10c..0af8aa45943 100644
--- a/gnovm/tests/files/types/eql_0a1a1.gno
+++ b/gnovm/tests/files/types/eql_0a1a1.gno
@@ -6,4 +6,4 @@ func main() {
 }
 
 // Error:
-// main/files/types/eql_0a1a1.gno:5: cannot use uint64 as uint
+// main/files/types/eql_0a1a1.gno:5: cannot use uint as uint64
diff --git a/gnovm/tests/files/types/eql_0f14.gno b/gnovm/tests/files/types/eql_0f14.gno
index 9ac257384a4..500157d7303 100644
--- a/gnovm/tests/files/types/eql_0f14.gno
+++ b/gnovm/tests/files/types/eql_0f14.gno
@@ -11,4 +11,4 @@ func main() {
 }
 
 // Error:
-// main/files/types/eql_0f14.gno:10: cannot use string as int
+// main/files/types/eql_0f14.gno:10: cannot use [2]string as [2]int