From cd996bcbc778539fe100e2800a9cf8d4ea30c949 Mon Sep 17 00:00:00 2001
From: Tony Garnock-Jones <tonyg@leastfixedpoint.com>
Date: Sat, 11 Feb 2023 17:28:03 +0100
Subject: [PATCH] Repair set schema parsing

---
 implementations/javascript/packages/schema/src/reader.ts | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/implementations/javascript/packages/schema/src/reader.ts b/implementations/javascript/packages/schema/src/reader.ts
index e66f296..7017ff7 100644
--- a/implementations/javascript/packages/schema/src/reader.ts
+++ b/implementations/javascript/packages/schema/src/reader.ts
@@ -254,7 +254,7 @@ function parsePattern(name: symbol, body0: Array<Input>): Pattern {
             return ks(M.SimplePattern.seqof(walkSimple(item[0])));
         } else if (Set.isSet<M.Input>(item)) {
             if (item.size !== 1) complain();
-            const [vp] = item.entries();
+            const [vp] = item.values();
             return ks(M.SimplePattern.setof(walkSimple(vp)));
         } else if (Dictionary.isDictionary<M.InputEmbedded, Input>(item)
             && item.size === 2