From d9ee80093b8b33c979ac308aa7afa1b92de31127 Mon Sep 17 00:00:00 2001
From: Tony Garnock-Jones <tonyg@leastfixedpoint.com>
Date: Wed, 26 Jan 2022 16:41:16 +0100
Subject: [PATCH] Repair stringifyEmbeddedWrite

---
 implementations/javascript/packages/core/src/text.ts | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/implementations/javascript/packages/core/src/text.ts b/implementations/javascript/packages/core/src/text.ts
index 158f670..a01d89b 100644
--- a/implementations/javascript/packages/core/src/text.ts
+++ b/implementations/javascript/packages/core/src/text.ts
@@ -13,12 +13,12 @@ export const stringifyEmbeddedWrite: EmbeddedWriter<any> = {
             new Writer(s, this).push(v.generic);
         } else {
             try {
-                const o = fromJS(v);
-                new Writer(s, this).push(v);
+                new Writer(s, this).push(fromJS(v));
                 return;
             } catch {}
             try {
                 s.pieces.push(JSON.stringify(v));
+                return;
             } catch {}
             s.pieces.push('⌜' + v + '⌝');
         }