tarsec 0.4.1 → 0.4.3

package/dist/combinators.d.ts

@@ -497,6 +497,12 @@ export type OperatorInfo<T> = {
  * @returns - a parser that handles the full expression grammar
  */
 export declare function buildExpressionParser<T>(atom: Parser<T>, operatorTable: OperatorInfo<T>[][], parenParser?: Parser<T>): Parser<T>;
+/**
+ * Clear every cache created by `memo`. Call this at the start of each
+ * top-level parse if your memoized parsers produce results that depend
+ * on mutable global state (e.g. positional info from `setInputStr`).
+ */
+export declare function resetMemos(): void;
 /**
  * Wraps a parser with a per-input cache. Useful for parsers that may be invoked
  * many times at the same position (e.g. recursive grammars where the same
@@ -509,9 +515,9 @@ export declare function buildExpressionParser<T>(atom: Parser<T>, operatorTable:
  * `memo` assumes its wrapped parser is a pure function of its input. Don't
  * memoize parsers that consult mutable external state.
  *
- * @param parser - parser to memoize
  * @param name - optional debug name (shown in `parserDebug` counts/times as `memo(name)`)
+ * @param parser - parser to memoize
  * @returns - memoized parser
  */
-export declare function memo<T>(parser: Parser<T>, name?: string): Parser<T>;
-export declare function memo<T, C extends PlainObject>(parser: CaptureParser<T, C>, name?: string): CaptureParser<T, C>;
+export declare function memo<T>(name: string, parser: Parser<T>): Parser<T>;
+export declare function memo<T, C extends PlainObject>(name: string, parser: CaptureParser<T, C>): CaptureParser<T, C>;

package/dist/combinators.js

@@ -933,8 +933,25 @@ function tryOps(ops, input) {
     return null;
 }
 const DEFAULT_MEMO_LIMIT = 10000;
-export function memo(parser, name) {
+// Registry of all caches created by `memo`, so callers can clear them
+// between independent parses. This matters when memoized parsers produce
+// results derived from globally-set state (e.g. `withSpan` reads the
+// current input via `setInputStr`): the cached `loc` is only valid for
+// the source it was computed against, so reusing the cache across parses
+// with different sources would return stale positional info.
+const memoCaches = [];
+/**
+ * Clear every cache created by `memo`. Call this at the start of each
+ * top-level parse if your memoized parsers produce results that depend
+ * on mutable global state (e.g. positional info from `setInputStr`).
+ */
+export function resetMemos() {
+    for (const cache of memoCaches)
+        cache.clear();
+}
+export function memo(name, parser) {
     const cache = new Map();
+    memoCaches.push(cache);
     return trace(name ? `memo(${name})` : "memo", (input) => {
         const hit = cache.get(input);
         if (hit !== undefined)

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "tarsec",
-  "version": "0.4.1",
+  "version": "0.4.3",
   "description": "A parser combinator library for TypeScript, inspired by Parsec.",
   "homepage": "https://github.com/egonSchiele/tarsec",
   "scripts": {