From 87ecdb7efe6ca6878869f947dc4a3ebcd1e050f2 Mon Sep 17 00:00:00 2001 From: Tony Garnock-Jones Date: Wed, 15 May 2024 09:34:28 +0200 Subject: [PATCH] Make Annotations preserveable --- .../javascript/packages/core/src/pexpr.ts | 12 ++++++------ 1 file changed, 6 insertions(+), 6 deletions(-) diff --git a/implementations/javascript/packages/core/src/pexpr.ts b/implementations/javascript/packages/core/src/pexpr.ts index e5be35e..9d15420 100644 --- a/implementations/javascript/packages/core/src/pexpr.ts +++ b/implementations/javascript/packages/core/src/pexpr.ts @@ -82,6 +82,10 @@ export class BaseCompound { }); } + __as_preserve__(): Value { + return this.preservesValues(); + } + map(f: (item: Positioned, index: number) => R, offset = 0): R[] { const result: R[] = []; for (let i = offset; i < this.exprs.length; i++) { @@ -106,11 +110,7 @@ export class BaseCompound { } } -export class Document extends BaseCompound { - __as_preserve__(): Value { - return this.preservesValues(); - } -} +export class Document extends BaseCompound {} export class Annotations extends BaseCompound { wrap(v: Value): Value { @@ -352,4 +352,4 @@ export function asPreserves( } return walk(p); -} \ No newline at end of file +}