Makefile, testdata, tests: set up test for #284

Author: ydnar

Makefile

@@ -53,3 +53,7 @@ test:
 	tinygo test -target=wasip1 $(GOTESTARGS) $(GOTESTMODULES)
 	tinygo test -target=wasip2 $(GOTESTARGS) $(GOTESTMODULES)
 	tinygo test -target=wasip2 $(GOTESTARGS) ./tests/...
+
+.PHONY: tests
+tests:
+	tinygo test -target=wasip2 $(GOTESTARGS) ./tests/...

testdata/issues/issue284.wit

@@ -0,0 +1,9 @@
+package issues:issue284;
+
+interface i {
+	type bool-s8-result = result<bool, s8>;
+}
+
+world w {
+	import i;
+}

testdata/issues/issue284.wit.json

@@ -0,0 +1,51 @@
+{
+  "worlds": [
+    {
+      "name": "w",
+      "imports": {
+        "interface-0": {
+          "interface": {
+            "id": 0
+          }
+        }
+      },
+      "exports": {},
+      "package": 0
+    }
+  ],
+  "interfaces": [
+    {
+      "name": "i",
+      "types": {
+        "bool-s8-result": 0
+      },
+      "functions": {},
+      "package": 0
+    }
+  ],
+  "types": [
+    {
+      "name": "bool-s8-result",
+      "kind": {
+        "result": {
+          "ok": "bool",
+          "err": "s8"
+        }
+      },
+      "owner": {
+        "interface": 0
+      }
+    }
+  ],
+  "packages": [
+    {
+      "name": "issues:issue284",
+      "interfaces": {
+        "i": 0
+      },
+      "worlds": {
+        "w": 0
+      }
+    }
+  ]
+}

testdata/issues/issue284.wit.json.golden.wit

@@ -0,0 +1,9 @@
+package issues:issue284;
+
+interface i {
+	type bool-s8-result = result<bool, s8>;
+}
+
+world w {
+	import i;
+}

tests/generated/issues/issue284/i/i.wit.go

@@ -0,0 +1,51 @@
+package issue284
+
+import (
+	"fmt"
+	"testing"
+
+	"tests/generated/issues/issue284/i"
+
+	"go.bytecodealliance.org/cm"
+)
+
+func TestIssue284(t *testing.T) {
+	tests := []struct {
+		isErr bool
+		ok    bool
+		err   int8
+	}{
+		{false, false, 0},
+		{false, true, 0},
+		{true, false, 0},
+		{true, false, 1},
+		{true, false, 5},
+		{true, false, 126},
+		{true, false, 127},
+	}
+	for _, tt := range tests {
+		if !tt.isErr {
+			t.Run(fmt.Sprintf("cm.OK[i.BoolS8Result](%t)", tt.ok), func(t *testing.T) {
+				r := cm.OK[i.BoolS8Result](tt.ok)
+				ok, _, isErr := r.Result()
+				if isErr != tt.isErr {
+					t.Errorf("isErr == %t, expected %t", isErr, tt.isErr)
+				}
+				if ok != tt.ok {
+					t.Errorf("ok == %t, expected %t", ok, tt.ok)
+				}
+			})
+		} else {
+			t.Run(fmt.Sprintf("cm.Err[i.BoolS8Result](%d)", tt.err), func(t *testing.T) {
+				r := cm.Err[i.BoolS8Result](tt.err)
+				_, err, isErr := r.Result()
+				if isErr != tt.isErr {
+					t.Errorf("isErr == %t, expected %t", isErr, tt.isErr)
+				}
+				if err != tt.err {
+					t.Errorf("err == %d, expected %d", err, tt.err)
+				}
+			})
+		}
+	}
+}

tests/generated/issues/issue284/w/w.wit.go

@@ -7,3 +7,4 @@ package tests
 //go:generate rm -rf ./generated/*
 //go:generate mkdir -p ./generated
 //go:generate go run go.bytecodealliance.org/cmd/wit-bindgen-go generate --versioned -o ./generated ../testdata/wasi/cli.wit.json
+//go:generate go run go.bytecodealliance.org/cmd/wit-bindgen-go generate --versioned -o ./generated ../testdata/issues/issue284.wit