test: red for monomorphise_workspace unknown type on user ADT

2026-05-09 22:41:18 +02:00
parent f3c94e554c
commit 59e86b3805
2 changed files with 148 additions and 0 deletions
@@ -0,0 +1,90 @@
+{
+  "schema": "ailang/v0",
+  "name": "test_22c_user_class_e2e",
+  "imports": [],
+  "defs": [
+    {
+      "kind": "type",
+      "name": "IntBox",
+      "ctors": [
+        { "name": "MkIntBox", "fields": [{ "k": "con", "name": "Int" }] }
+      ]
+    },
+    {
+      "kind": "class",
+      "name": "Foo",
+      "param": "a",
+      "methods": [
+        {
+          "name": "foo",
+          "type": {
+            "k": "fn",
+            "params": [{ "k": "var", "name": "a" }],
+            "param_modes": ["borrow"],
+            "ret": { "k": "con", "name": "Int" },
+            "effects": []
+          }
+        }
+      ]
+    },
+    {
+      "kind": "instance",
+      "class": "Foo",
+      "type": { "k": "con", "name": "IntBox" },
+      "methods": [
+        {
+          "name": "foo",
+          "body": {
+            "t": "lam",
+            "params": ["b"],
+            "paramTypes": [{ "k": "var", "name": "a" }],
+            "retType": { "k": "con", "name": "Int" },
+            "body": {
+              "t": "match",
+              "scrutinee": { "t": "var", "name": "b" },
+              "arms": [
+                {
+                  "pat": {
+                    "p": "ctor",
+                    "ctor": "MkIntBox",
+                    "fields": [{ "p": "var", "name": "v" }]
+                  },
+                  "body": { "t": "var", "name": "v" }
+                }
+              ]
+            }
+          }
+        }
+      ]
+    },
+    {
+      "kind": "fn",
+      "name": "main",
+      "type": {
+        "k": "fn",
+        "params": [],
+        "ret": { "k": "con", "name": "Unit" },
+        "effects": ["IO"]
+      },
+      "params": [],
+      "body": {
+        "t": "do",
+        "op": "io/print_int",
+        "args": [
+          {
+            "t": "app",
+            "fn": { "t": "var", "name": "foo" },
+            "args": [
+              {
+                "t": "ctor",
+                "type": "IntBox",
+                "ctor": "MkIntBox",
+                "args": [{ "t": "lit", "lit": { "kind": "int", "value": 42 } }]
+              }
+            ]
+          }
+        ]
+      }
+    }
+  ]
+}