Test empty vector comprehension

rose-lang · Sep 23, 2023 · f3880b4 · f3880b4
1 parent 1070402
commit f3880b4
Showing 1 changed file with 14 additions and 0 deletions.
diff --git a/packages/core/src/index.test.ts b/packages/core/src/index.test.ts
@@ -722,4 +722,18 @@ describe("valid", () => {
     const h = await compile(g);
     expect(h(2, 3, 5, 7)).toBe(30);
   });
+
+  test("compile empty vector comprehension", async () => {
+    let i = 0;
+    const f = opaque([], Real, () => {
+      ++i;
+      return i;
+    });
+    const g = fn([], Real, () => {
+      vec(0, Real, () => f());
+      return 0;
+    });
+    (await compile(g))();
+    expect(i).toEqual(0);
+  });
 });