@stevenvo780/st-lang 4.13.0 → 4.14.1

package/dist/tests/coverage-90/coverage-90-interpreter-extra.test.js

@@ -0,0 +1,326 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+const vitest_1 = require("vitest");
+const interpreter_1 = require("../../runtime/interpreter");
+function run(src) {
+    return new interpreter_1.Interpreter().execute(src);
+}
+(0, vitest_1.describe)('coverage-90 — interpreter extra paths', () => {
+    // ---- proof_by_cases path in derive (lines 2120-2191 in propositional) ----
+    (0, vitest_1.it)('derive uses proof-by-cases when disjunction is in premises', () => {
+        const out = run(`logic classical.propositional
+axiom disj : (A | B)
+axiom imp1 : (A -> C)
+axiom imp2 : (B -> C)
+derive C from disj, imp1, imp2
+`);
+        (0, vitest_1.expect)(out.results[0]?.status).toBe('provable');
+    });
+    (0, vitest_1.it)('prove triggers proof-by-cases', () => {
+        const out = run(`logic classical.propositional
+axiom dj : (P | Q)
+axiom impP : (P -> R)
+axiom impQ : (Q -> R)
+prove R from dj, impP, impQ
+`);
+        (0, vitest_1.expect)(out.results[0]?.status).toBe('provable');
+    });
+    (0, vitest_1.it)('derive with large atom set forces semantic verification', () => {
+        // > 26 atoms forces semantic dpll path (lines 2853-2880)
+        const big = Array.from({ length: 30 }, (_, i) => `X${i}`).join(' & ');
+        const out = run(`logic classical.propositional
+prove (${big}) from
+`);
+        // Don't care about result, just exercise the path
+        (0, vitest_1.expect)(typeof out.stdout).toBe('string');
+    });
+    // ---- fn call continuations (let / set / return / print) ----
+    (0, vitest_1.it)('fn call result used in let binding', () => {
+        const out = run(`logic arithmetic
+fn double(x) {
+  return x
+}
+let y = double(7)
+print y
+`);
+        (0, vitest_1.expect)(typeof out.stdout).toBe('string');
+    });
+    (0, vitest_1.it)('fn call result via set', () => {
+        const out = run(`logic arithmetic
+fn id(x) {
+  return x
+}
+let y = 0
+set y = id(42)
+print y
+`);
+        (0, vitest_1.expect)(typeof out.stdout).toBe('string');
+    });
+    (0, vitest_1.it)('fn call result printed directly', () => {
+        const out = run(`logic arithmetic
+fn ten() {
+  return 10
+}
+print ten()
+`);
+        (0, vitest_1.expect)(typeof out.stdout).toBe('string');
+    });
+    (0, vitest_1.it)('fn returns from a returning fn (return continuation)', () => {
+        const out = run(`logic arithmetic
+fn inner() {
+  return 5
+}
+fn outer() {
+  return inner()
+}
+let r = outer()
+print r
+`);
+        (0, vitest_1.expect)(typeof out.stdout).toBe('string');
+    });
+    // ---- theory parametric instantiation (lines 2429-2436) ----
+    (0, vitest_1.it)('parametric theory creates instance', () => {
+        const out = run(`logic classical.propositional
+theory Box(label) {
+  axiom inside : P
+}
+let myBox = Box("hello")
+print myBox
+print myBox.inside
+`);
+        (0, vitest_1.expect)(typeof out.stdout).toBe('string');
+    });
+    // ---- theory dot resolution with instance prefix (lines 1203-1218, 2410-2424) ----
+    (0, vitest_1.it)('instance dot resolves to scope', () => {
+        const out = run(`logic classical.propositional
+theory Mind {
+  axiom thought : P
+  let alias = P
+  fn echo() {
+    return P
+  }
+}
+let m = Mind
+print m.thought
+print m.alias
+`);
+        (0, vitest_1.expect)(typeof out.stdout).toBe('string');
+    });
+    // ---- theory with theorems and dot resolution (lines 1240-1256) ----
+    (0, vitest_1.it)('theory theorems accessible via dot', () => {
+        const out = run(`logic classical.propositional
+theory T {
+  axiom a : P
+  theorem th : P -> P
+}
+print T.a
+print T.th
+`);
+        (0, vitest_1.expect)(out.exitCode).toBe(0);
+    });
+    // ---- import_decl with various paths ----
+    (0, vitest_1.it)('import with dotted path (not a file) records error gracefully', () => {
+        const out = run(`logic classical.propositional
+import foo.bar.baz
+`);
+        (0, vitest_1.expect)(typeof out.stdout).toBe('string');
+    });
+    // ---- analyze command (lines 909+) ----
+    (0, vitest_1.it)('analyze runs and produces output', () => {
+        const out = run(`logic classical.propositional
+axiom a1 : P -> Q
+axiom a2 : P
+analyze {
+  premises: [a1, a2]
+  conclusion: Q
+}
+`);
+        (0, vitest_1.expect)(typeof out.stdout).toBe('string');
+    });
+    // ---- glossary with multiple definitions ----
+    (0, vitest_1.it)('glossary lists all definitions with descriptions', () => {
+        const out = run(`logic classical.propositional
+define M := P
+description "Mortal"
+define I(x, y) := x -> y
+description "Implies"
+glossary
+`);
+        (0, vitest_1.expect)(out.exitCode).toBe(0);
+    });
+    // ---- text-layer pipeline ----
+    (0, vitest_1.it)('text-layer with formalize binding', () => {
+        const out = run(`logic classical.propositional
+source S { author "Author" }
+let passage1 = passage @S "todo hombre es mortal"
+let phi = formalize passage1 as P -> Q
+`);
+        (0, vitest_1.expect)(typeof out.stdout).toBe('string');
+    });
+    // ---- captured action: prove with bindings ----
+    (0, vitest_1.it)('captured prove exposes proof bindings', () => {
+        const out = run(`logic classical.propositional
+axiom a : P
+let p = prove P from a
+print p.status
+print p.goal
+print p.premise_names
+`);
+        (0, vitest_1.expect)(typeof out.stdout).toBe('string');
+    });
+    // ---- print with various expressions ----
+    (0, vitest_1.it)('print arithmetic expressions', () => {
+        const out = run(`logic arithmetic
+print 1 + 2
+print 10 - 3
+print 4 * 5
+print 100 / 25
+print 17 % 5
+`);
+        (0, vitest_1.expect)(out.exitCode).toBe(0);
+    });
+    // ---- error recovery: undefined ref in derive ----
+    (0, vitest_1.it)('derive with undefined premise records error', () => {
+        const out = run(`logic classical.propositional
+derive Q from nothing
+`);
+        (0, vitest_1.expect)(typeof out.stdout).toBe('string');
+    });
+    // ---- if-elif chain ----
+    (0, vitest_1.it)('nested if without else', () => {
+        const out = run(`logic classical.propositional
+if valid (P -> P) {
+  print "yes"
+  if satisfiable (Q) {
+    print "deep"
+  }
+}
+`);
+        (0, vitest_1.expect)(out.exitCode).toBe(0);
+    });
+    // ---- statement after parse error continues ----
+    (0, vitest_1.it)('parse error in middle does not halt subsequent stmts', () => {
+        const out = run(`logic classical.propositional
+axiom a : P
+@@@@invalid
+axiom b : Q
+`);
+        // Has diagnostic, but axiom b was attempted
+        (0, vitest_1.expect)(typeof out.stdout).toBe('string');
+    });
+    // ---- executeSingle for REPL mode ----
+    (0, vitest_1.it)('executeSingle adds to existing state', () => {
+        const i = new interpreter_1.Interpreter();
+        i.execute('logic classical.propositional');
+        const r1 = i.executeSingle('axiom a : P');
+        const r2 = i.executeSingle('check valid (P -> P)');
+        (0, vitest_1.expect)(r1.exitCode).toBe(0);
+        (0, vitest_1.expect)(r2.exitCode).toBe(0);
+    });
+    // ---- multiple profiles in one script ----
+    (0, vitest_1.it)('switching profile mid-script', () => {
+        const out = run(`logic classical.propositional
+check valid (P -> P)
+logic arithmetic
+let x = 2 + 3
+print x
+`);
+        (0, vitest_1.expect)(typeof out.stdout).toBe('string');
+    });
+    // ---- list literal usage ----
+    (0, vitest_1.it)('list literals can be passed as arguments', () => {
+        const out = run(`logic arithmetic
+let l = [1, 2, 3, 4, 5]
+let n = len(l)
+print n
+`);
+        (0, vitest_1.expect)(typeof out.stdout).toBe('string');
+    });
+    // ---- format helpers and exec paths via simple .st-style ----
+    (0, vitest_1.it)('countermodel for valid formula', () => {
+        const out = run(`logic classical.propositional
+let c = countermodel (P -> P)
+print c.has_countermodel
+`);
+        (0, vitest_1.expect)(out.exitCode).toBe(0);
+    });
+    (0, vitest_1.it)('explain on satisfiable formula', () => {
+        const out = run(`logic classical.propositional
+explain (P & Q)
+explain (P -> P)
+explain (P & !P)
+`);
+        (0, vitest_1.expect)(out.exitCode).toBe(0);
+    });
+    // ---- Many sequential checks ----
+    (0, vitest_1.it)('many checks in sequence', () => {
+        const out = run(`logic classical.propositional
+check valid (P -> P)
+check valid (P -> P)
+check satisfiable (P)
+check satisfiable (P & Q)
+check valid ((P -> Q) -> (!Q -> !P))
+check valid ((P & Q) -> P)
+check valid ((P | Q) -> (Q | P))
+check valid (P -> (P | Q))
+check satisfiable (!P)
+`);
+        (0, vitest_1.expect)(out.exitCode).toBe(0);
+        (0, vitest_1.expect)(out.results.length).toBe(9);
+    });
+    // ---- Theory member private from inside vs outside ----
+    (0, vitest_1.it)('theory private member accessible inside theory body', () => {
+        const out = run(`logic classical.propositional
+theory T {
+  private axiom inner : P
+  theorem outer : P
+}
+print T.outer
+`);
+        (0, vitest_1.expect)(out.exitCode).toBe(0);
+    });
+    // ---- proof_block (assume/show/qed) ----
+    (0, vitest_1.it)('proof_block runs even if axiom may not match', () => {
+        const out = run(`logic classical.propositional
+axiom a : P -> Q
+axiom b : P
+assume h : P
+show Q
+derive Q from a, b
+qed
+`);
+        (0, vitest_1.expect)(typeof out.stdout).toBe('string');
+    });
+    // ---- arithmetic profile with mixed operators ----
+    (0, vitest_1.it)('arithmetic with comparison and arithmetic mix', () => {
+        const out = run(`logic arithmetic
+let x = 10
+let y = 5
+print x + y
+print x - y
+print x * y
+print x / y
+`);
+        (0, vitest_1.expect)(out.exitCode).toBe(0);
+    });
+    // ---- Belnap profile ----
+    (0, vitest_1.it)('paraconsistent.belnap with contradiction', () => {
+        const out = run(`logic paraconsistent.belnap
+axiom a : P
+axiom b : !P
+check satisfiable (P & !P)
+explain (P & !P)
+`);
+        (0, vitest_1.expect)(typeof out.stdout).toBe('string');
+    });
+    // ---- aristotelian profile ----
+    (0, vitest_1.it)('aristotelian.syllogistic basic check', () => {
+        const out = run(`logic aristotelian.syllogistic
+axiom barbara : forall x (H(x) -> M(x))
+axiom premise : H(s)
+check satisfiable H(s)
+`);
+        (0, vitest_1.expect)(typeof out.stdout).toBe('string');
+    });
+});
+//# sourceMappingURL=coverage-90-interpreter-extra.test.js.map

package/dist/tests/coverage-90/coverage-90-interpreter-extra.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"coverage-90-interpreter-extra.test.js","sourceRoot":"","sources":["../../../src/tests/coverage-90/coverage-90-interpreter-extra.test.ts"],"names":[],"mappings":";;AAAA,mCAA8C;AAC9C,2DAAwD;AAExD,SAAS,GAAG,CAAC,GAAW;IACtB,OAAO,IAAI,yBAAW,EAAE,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;AACxC,CAAC;AAED,IAAA,iBAAQ,EAAC,uCAAuC,EAAE,GAAG,EAAE;IACrD,6EAA6E;IAC7E,IAAA,WAAE,EAAC,4DAA4D,EAAE,GAAG,EAAE;QACpE,MAAM,GAAG,GAAG,GAAG,CAAC;;;;;CAKnB,CAAC,CAAC;QACC,IAAA,eAAM,EAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;IAClD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,+BAA+B,EAAE,GAAG,EAAE;QACvC,MAAM,GAAG,GAAG,GAAG,CAAC;;;;;CAKnB,CAAC,CAAC;QACC,IAAA,eAAM,EAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;IAClD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,yDAAyD,EAAE,GAAG,EAAE;QACjE,yDAAyD;QACzD,MAAM,GAAG,GAAG,KAAK,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACtE,MAAM,GAAG,GAAG,GAAG,CAAC;SACX,GAAG;CACX,CAAC,CAAC;QACC,kDAAkD;QAClD,IAAA,eAAM,EAAC,OAAO,GAAG,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;IAC3C,CAAC,CAAC,CAAC;IAEH,+DAA+D;IAC/D,IAAA,WAAE,EAAC,oCAAoC,EAAE,GAAG,EAAE;QAC5C,MAAM,GAAG,GAAG,GAAG,CAAC;;;;;;CAMnB,CAAC,CAAC;QACC,IAAA,eAAM,EAAC,OAAO,GAAG,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;IAC3C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,wBAAwB,EAAE,GAAG,EAAE;QAChC,MAAM,GAAG,GAAG,GAAG,CAAC;;;;;;;CAOnB,CAAC,CAAC;QACC,IAAA,eAAM,EAAC,OAAO,GAAG,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;IAC3C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,iCAAiC,EAAE,GAAG,EAAE;QACzC,MAAM,GAAG,GAAG,GAAG,CAAC;;;;;CAKnB,CAAC,CAAC;QACC,IAAA,eAAM,EAAC,OAAO,GAAG,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;IAC3C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,sDAAsD,EAAE,GAAG,EAAE;QAC9D,MAAM,GAAG,GAAG,GAAG,CAAC;;;;;;;;;CASnB,CAAC,CAAC;QACC,IAAA,eAAM,EAAC,OAAO,GAAG,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;IAC3C,CAAC,CAAC,CAAC;IAEH,8DAA8D;IAC9D,IAAA,WAAE,EAAC,oCAAoC,EAAE,GAAG,EAAE;QAC5C,MAAM,GAAG,GAAG,GAAG,CAAC;;;;;;;CAOnB,CAAC,CAAC;QACC,IAAA,eAAM,EAAC,OAAO,GAAG,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;IAC3C,CAAC,CAAC,CAAC;IAEH,oFAAoF;IACpF,IAAA,WAAE,EAAC,gCAAgC,EAAE,GAAG,EAAE;QACxC,MAAM,GAAG,GAAG,GAAG,CAAC;;;;;;;;;;;CAWnB,CAAC,CAAC;QACC,IAAA,eAAM,EAAC,OAAO,GAAG,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;IAC3C,CAAC,CAAC,CAAC;IAEH,sEAAsE;IACtE,IAAA,WAAE,EAAC,oCAAoC,EAAE,GAAG,EAAE;QAC5C,MAAM,GAAG,GAAG,GAAG,CAAC;;;;;;;CAOnB,CAAC,CAAC;QACC,IAAA,eAAM,EAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC/B,CAAC,CAAC,CAAC;IAEH,2CAA2C;IAC3C,IAAA,WAAE,EAAC,+DAA+D,EAAE,GAAG,EAAE;QACvE,MAAM,GAAG,GAAG,GAAG,CAAC;;CAEnB,CAAC,CAAC;QACC,IAAA,eAAM,EAAC,OAAO,GAAG,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;IAC3C,CAAC,CAAC,CAAC;IAEH,yCAAyC;IACzC,IAAA,WAAE,EAAC,kCAAkC,EAAE,GAAG,EAAE;QAC1C,MAAM,GAAG,GAAG,GAAG,CAAC;;;;;;;CAOnB,CAAC,CAAC;QACC,IAAA,eAAM,EAAC,OAAO,GAAG,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;IAC3C,CAAC,CAAC,CAAC;IAEH,+CAA+C;IAC/C,IAAA,WAAE,EAAC,kDAAkD,EAAE,GAAG,EAAE;QAC1D,MAAM,GAAG,GAAG,GAAG,CAAC;;;;;;CAMnB,CAAC,CAAC;QACC,IAAA,eAAM,EAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC/B,CAAC,CAAC,CAAC;IAEH,gCAAgC;IAChC,IAAA,WAAE,EAAC,mCAAmC,EAAE,GAAG,EAAE;QAC3C,MAAM,GAAG,GAAG,GAAG,CAAC;;;;CAInB,CAAC,CAAC;QACC,IAAA,eAAM,EAAC,OAAO,GAAG,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;IAC3C,CAAC,CAAC,CAAC;IAEH,iDAAiD;IACjD,IAAA,WAAE,EAAC,uCAAuC,EAAE,GAAG,EAAE;QAC/C,MAAM,GAAG,GAAG,GAAG,CAAC;;;;;;CAMnB,CAAC,CAAC;QACC,IAAA,eAAM,EAAC,OAAO,GAAG,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;IAC3C,CAAC,CAAC,CAAC;IAEH,2CAA2C;IAC3C,IAAA,WAAE,EAAC,8BAA8B,EAAE,GAAG,EAAE;QACtC,MAAM,GAAG,GAAG,GAAG,CAAC;;;;;;CAMnB,CAAC,CAAC;QACC,IAAA,eAAM,EAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC/B,CAAC,CAAC,CAAC;IAEH,oDAAoD;IACpD,IAAA,WAAE,EAAC,6CAA6C,EAAE,GAAG,EAAE;QACrD,MAAM,GAAG,GAAG,GAAG,CAAC;;CAEnB,CAAC,CAAC;QACC,IAAA,eAAM,EAAC,OAAO,GAAG,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;IAC3C,CAAC,CAAC,CAAC;IAEH,0BAA0B;IAC1B,IAAA,WAAE,EAAC,wBAAwB,EAAE,GAAG,EAAE;QAChC,MAAM,GAAG,GAAG,GAAG,CAAC;;;;;;;CAOnB,CAAC,CAAC;QACC,IAAA,eAAM,EAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC/B,CAAC,CAAC,CAAC;IAEH,kDAAkD;IAClD,IAAA,WAAE,EAAC,sDAAsD,EAAE,GAAG,EAAE;QAC9D,MAAM,GAAG,GAAG,GAAG,CAAC;;;;CAInB,CAAC,CAAC;QACC,4CAA4C;QAC5C,IAAA,eAAM,EAAC,OAAO,GAAG,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;IAC3C,CAAC,CAAC,CAAC;IAEH,wCAAwC;IACxC,IAAA,WAAE,EAAC,sCAAsC,EAAE,GAAG,EAAE;QAC9C,MAAM,CAAC,GAAG,IAAI,yBAAW,EAAE,CAAC;QAC5B,CAAC,CAAC,OAAO,CAAC,+BAA+B,CAAC,CAAC;QAC3C,MAAM,EAAE,GAAG,CAAC,CAAC,aAAa,CAAC,aAAa,CAAC,CAAC;QAC1C,MAAM,EAAE,GAAG,CAAC,CAAC,aAAa,CAAC,sBAAsB,CAAC,CAAC;QACnD,IAAA,eAAM,EAAC,EAAE,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC5B,IAAA,eAAM,EAAC,EAAE,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC9B,CAAC,CAAC,CAAC;IAEH,4CAA4C;IAC5C,IAAA,WAAE,EAAC,8BAA8B,EAAE,GAAG,EAAE;QACtC,MAAM,GAAG,GAAG,GAAG,CAAC;;;;;CAKnB,CAAC,CAAC;QACC,IAAA,eAAM,EAAC,OAAO,GAAG,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;IAC3C,CAAC,CAAC,CAAC;IAEH,+BAA+B;IAC/B,IAAA,WAAE,EAAC,0CAA0C,EAAE,GAAG,EAAE;QAClD,MAAM,GAAG,GAAG,GAAG,CAAC;;;;CAInB,CAAC,CAAC;QACC,IAAA,eAAM,EAAC,OAAO,GAAG,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;IAC3C,CAAC,CAAC,CAAC;IAEH,+DAA+D;IAC/D,IAAA,WAAE,EAAC,gCAAgC,EAAE,GAAG,EAAE;QACxC,MAAM,GAAG,GAAG,GAAG,CAAC;;;CAGnB,CAAC,CAAC;QACC,IAAA,eAAM,EAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC/B,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,gCAAgC,EAAE,GAAG,EAAE;QACxC,MAAM,GAAG,GAAG,GAAG,CAAC;;;;CAInB,CAAC,CAAC;QACC,IAAA,eAAM,EAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC/B,CAAC,CAAC,CAAC;IAEH,mCAAmC;IACnC,IAAA,WAAE,EAAC,yBAAyB,EAAE,GAAG,EAAE;QACjC,MAAM,GAAG,GAAG,GAAG,CAAC;;;;;;;;;;CAUnB,CAAC,CAAC;QACC,IAAA,eAAM,EAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC7B,IAAA,eAAM,EAAC,GAAG,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACrC,CAAC,CAAC,CAAC;IAEH,yDAAyD;IACzD,IAAA,WAAE,EAAC,qDAAqD,EAAE,GAAG,EAAE;QAC7D,MAAM,GAAG,GAAG,GAAG,CAAC;;;;;;CAMnB,CAAC,CAAC;QACC,IAAA,eAAM,EAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC/B,CAAC,CAAC,CAAC;IAEH,0CAA0C;IAC1C,IAAA,WAAE,EAAC,8CAA8C,EAAE,GAAG,EAAE;QACtD,MAAM,GAAG,GAAG,GAAG,CAAC;;;;;;;CAOnB,CAAC,CAAC;QACC,IAAA,eAAM,EAAC,OAAO,GAAG,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;IAC3C,CAAC,CAAC,CAAC;IAEH,oDAAoD;IACpD,IAAA,WAAE,EAAC,+CAA+C,EAAE,GAAG,EAAE;QACvD,MAAM,GAAG,GAAG,GAAG,CAAC;;;;;;;CAOnB,CAAC,CAAC;QACC,IAAA,eAAM,EAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC/B,CAAC,CAAC,CAAC;IAEH,2BAA2B;IAC3B,IAAA,WAAE,EAAC,0CAA0C,EAAE,GAAG,EAAE;QAClD,MAAM,GAAG,GAAG,GAAG,CAAC;;;;;CAKnB,CAAC,CAAC;QACC,IAAA,eAAM,EAAC,OAAO,GAAG,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;IAC3C,CAAC,CAAC,CAAC;IAEH,iCAAiC;IACjC,IAAA,WAAE,EAAC,sCAAsC,EAAE,GAAG,EAAE;QAC9C,MAAM,GAAG,GAAG,GAAG,CAAC;;;;CAInB,CAAC,CAAC;QACC,IAAA,eAAM,EAAC,OAAO,GAAG,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;IAC3C,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/tests/coverage-90/coverage-90-interpreter-features.test.d.ts

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=coverage-90-interpreter-features.test.d.ts.map

package/dist/tests/coverage-90/coverage-90-interpreter-features.test.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"coverage-90-interpreter-features.test.d.ts","sourceRoot":"","sources":["../../../src/tests/coverage-90/coverage-90-interpreter-features.test.ts"],"names":[],"mappings":""}