fix: custom boolean types in conditional statements

gnovm/cmd/gno/run_test.go

@@ -75,6 +75,10 @@ func TestRunApp(t *testing.T) {
  args: []string{"run", "-debug-addr", "invalidhost:17538", "../../tests/integ/debugger/sample.gno"},
  errShouldContain: "listen tcp: lookup invalidhost",
  },
+ {
+ args: []string{"run", "../../tests/integ/invalid_assign/main.gno"},
+ recoverShouldContain: "cannot use bool as main.C without explicit conversion",
+ },
  // TODO: a test file
  // TODO: args
  // TODO: nativeLibs VS stdlibs

gnovm/tests/files/for19.gno

@@ -0,0 +1,25 @@
+package main
+
+func main() {
+ v := T
+ i := 0
+ for v {
+ if i > 2 {
+ break
+ }
+ println(i)
+ i++
+ }
+}
+
+type C bool
+
+const (
+ F C = false
+ T C = true
+)
+
+// Output:
+// 0
+// 1
+// 2

gnovm/tests/files/if8.gno

@@ -0,0 +1,18 @@
+package main
+
+func main() {
+ v := T
+ if v {
+ println("true")
+ }
+}
+
+type C bool
+
+const (
+ F C = false
+ T C = true
+)
+
+// Output:
+// true

gnovm/tests/integ/invalid_assign/main.gno

@@ -0,0 +1,16 @@
+// This should result in a compilation error for assigning a bool to a custom bool type without conversion
+
+package main
+
+func main() {
+ b := true
+ var v C = b
+ fmt.Println(v)
+}
+
+type C bool
+
+const (
+ F C = false
+ T C = true
+)