Repair stringifyEmbeddedWrite

This commit is contained in:
Tony Garnock-Jones 2022-01-26 16:41:16 +01:00
parent a461657cde
commit d9ee80093b
1 changed files with 2 additions and 2 deletions

View File

@ -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 + '⌝');
}