From 6fb8c7fcbbea1ef3dd6c9d8e4ac3d713570a9d31 Mon Sep 17 00:00:00 2001
From: Michiel Borkent <michielborkent@gmail.com>
Date: Mon, 2 Dec 2024 12:33:20 +0100
Subject: [PATCH] wippp

---
 src/squint/core.js | 7 +++++++
 1 file changed, 7 insertions(+)

diff --git a/src/squint/core.js b/src/squint/core.js
index c3e4f7c5..674fe868 100644
--- a/src/squint/core.js
+++ b/src/squint/core.js
@@ -1058,6 +1058,13 @@ export function vector_QMARK_(x) {
 export function mapv(...args) {
   if (args.length === 2) {
     const [f, coll] = args;
+    if (coll instanceof LazyIterable) {
+      var ret = [];
+      for (const x of coll) {
+        ret.push(f(x));
+      }
+      return ret;
+    }
     return into([], map(f), coll);
   }
   return [...map(...args)];