@temperlang/std 0.2.1 → 0.3.0

package/testing.js

@@ -1,35 +1,35 @@
 import {
-  globalConsole as globalConsole__230, listBuilderToList as listBuilderToList_245, pairConstructor as pairConstructor_273, listMap as listMap_274, listBuilderAdd as listBuilderAdd_118, listJoin as listJoin_97, listify as listify_67, listGet as listGet_157, strCat as strCat_127
+  globalConsole as globalConsole__232, listBuilderToList as listBuilderToList_247, pairConstructor as pairConstructor_275, listedMap as listedMap_276, listBuilderAdd as listBuilderAdd_120, listedJoin as listedJoin_99, listify as listify_69, listedGet as listedGet_159, strCat as strCat_129
 } from "@temperlang/core";
 import {
-  strict as strict__241
+  strict as strict__243
 } from "assert";
-/** @type {Console_231} */
-const console_229 = globalConsole__230;
+/** @type {Console_233} */
+const console_231 = globalConsole__232;
 export class Test {
   /**
-   * @param {boolean} success_233
-   * @param {() => string} message_234
+   * @param {boolean} success_235
+   * @param {() => string} message_236
    */
-  assert(success_233, message_234) {
-    if (! success_233) {
-      this.#_passing_235 = false;
-      listBuilderAdd_118(this.#_messages_236, message_234());
+  assert(success_235, message_236) {
+    if (! success_235) {
+      this.#_passing_237 = false;
+      listBuilderAdd_120(this.#_messages_238, message_236());
     } else {
       void 0;
     }
     return;
   }
   /**
-   * @param {boolean} success_238
-   * @param {() => string} message_239
+   * @param {boolean} success_240
+   * @param {() => string} message_241
    * @returns {void}
    */
-  assertHard(success_238, message_239) {
-    this.assert(success_238, message_239);
-    if (! success_238) {
-      this.#_failedOnAssert_240 = true;
-      strict__241.fail(this.messagesCombined());
+  assertHard(success_240, message_241) {
+    this.assert(success_240, message_241);
+    if (! success_240) {
+      this.#_failedOnAssert_242 = true;
+      strict__243.fail(this.messagesCombined());
     } else {
       void 0;
     }
@@ -38,8 +38,8 @@ export class Test {
   /** @returns {void} */
   softFailToHard() {
     if (this.hasUnhandledFail) {
-      this.#_failedOnAssert_240 = true;
-      strict__241.fail(this.messagesCombined());
+      this.#_failedOnAssert_242 = true;
+      strict__243.fail(this.messagesCombined());
     } else {
       void 0;
     }
@@ -47,177 +47,177 @@ export class Test {
   }
   /** @returns {boolean} */
   get passing() {
-    return this.#_passing_235;
+    return this.#_passing_237;
   }
   /** @returns {Array<string>} */
   messages() {
-    return listBuilderToList_245(this.#_messages_236);
+    return listBuilderToList_247(this.#_messages_238);
   }
   /** @returns {boolean} */
   get failedOnAssert() {
-    return this.#_failedOnAssert_240;
+    return this.#_failedOnAssert_242;
   }
   /** @returns {boolean} */
   get hasUnhandledFail() {
-    let t_248;
-    if (this.#_failedOnAssert_240) {
-      t_248 = true;
+    let t_250;
+    if (this.#_failedOnAssert_242) {
+      t_250 = true;
     } else {
-      t_248 = this.#_passing_235;
+      t_250 = this.#_passing_237;
     }
-    return ! t_248;
+    return ! t_250;
   }
   /** @returns {string | null} */
   messagesCombined() {
-    let return_250;
-    let t_251;
-    let t_252;
-    if (! this.#_messages_236.length) {
-      return_250 = null;
+    let return_252;
+    let t_253;
+    let t_254;
+    if (! this.#_messages_238.length) {
+      return_252 = null;
     } else {
-      t_251 = this.#_messages_236;
-      function fn_253(it_254) {
-        return it_254;
+      t_253 = this.#_messages_238;
+      function fn_255(it_256) {
+        return it_256;
       }
-      t_252 = listJoin_97(t_251, ", ", fn_253);
-      return_250 = t_252;
+      t_254 = listedJoin_99(t_253, ", ", fn_255);
+      return_252 = t_254;
     }
-    return return_250;
+    return return_252;
   }
   /** @type {boolean} */
-  #_failedOnAssert_240;
+  #_failedOnAssert_242;
   /** @type {boolean} */
-  #_passing_235;
+  #_passing_237;
   /** @type {Array<string>} */
-  #_messages_236;
+  #_messages_238;
   /**
-   * @param {boolean} _failedOnAssert_255
-   * @param {boolean} _passing_256
-   * @param {Array<string>} _messages_257
+   * @param {boolean} _failedOnAssert_257
+   * @param {boolean} _passing_258
+   * @param {Array<string>} _messages_259
    */
-  constructor(_failedOnAssert_255, _passing_256, _messages_257) {
-    let t_258;
-    if (!(_failedOnAssert_255 !== void 0)) {
-      _failedOnAssert_255 = false;
+  constructor(_failedOnAssert_257, _passing_258, _messages_259) {
+    let t_260;
+    if (!(_failedOnAssert_257 !== void 0)) {
+      _failedOnAssert_257 = false;
     }
-    if (!(_passing_256 !== void 0)) {
-      _passing_256 = true;
+    if (!(_passing_258 !== void 0)) {
+      _passing_258 = true;
     }
-    if (!(_messages_257 !== void 0)) {
-      t_258 = [];
-      _messages_257 = t_258;
+    if (!(_messages_259 !== void 0)) {
+      t_260 = [];
+      _messages_259 = t_260;
     }
-    this.#_failedOnAssert_240 = _failedOnAssert_255;
-    this.#_passing_235 = _passing_256;
-    this.#_messages_236 = _messages_257;
+    this.#_failedOnAssert_242 = _failedOnAssert_257;
+    this.#_passing_237 = _passing_258;
+    this.#_messages_238 = _messages_259;
     return;
   }
 };
-/** @type {Type_259} */
+/** @type {Type_261} */
 export const TestName = "String: Type";
-/** @type {Type_259} */
+/** @type {Type_261} */
 export const TestFun = "fn (Test): (Void | Bubble): Type";
-/** @type {Type_259} */
+/** @type {Type_261} */
 export const TestCase = "Pair\u003cString, fn (Test): (Void | Bubble)\u003e: Type";
-/** @type {Type_259} */
+/** @type {Type_261} */
 export const TestFailureMessage = "String: Type";
-/** @type {Type_259} */
+/** @type {Type_261} */
 export const TestResult = "Pair\u003cString, List\u003cString\u003e\u003e: Type";
 /**
- * @param {Array<Pair_275<string, (arg0: Test) => void>>} testCases_260
- * @returns {Array<Pair_275<string, Array<string>>>}
+ * @param {Array<Pair_277<string, (arg0: Test) => void>>} testCases_262
+ * @returns {Array<Pair_277<string, Array<string>>>}
  */
-export function processTestCases(testCases_260) {
-  function fn_261(testCase_262) {
-    let t_263;
-    let t_264;
+export function processTestCases(testCases_262) {
+  function fn_263(testCase_264) {
     let t_265;
-    const key_266 = testCase_262.key;
-    const fun_267 = testCase_262.value;
-    const test_268 = new Test();
-    let hadBubble_269;
+    let t_266;
+    let t_267;
+    const key_268 = testCase_264.key;
+    const fun_269 = testCase_264.value;
+    const test_270 = new Test();
+    let hadBubble_271;
     try {
-      fun_267(test_268);
-      hadBubble_269 = false;
+      fun_269(test_270);
+      hadBubble_271 = false;
     } catch {
-      hadBubble_269 = true;
+      hadBubble_271 = true;
     }
-    const messages_270 = test_268.messages();
-    let failures_271;
-    if (test_268.passing) {
-      failures_271 = listify_67();
+    const messages_272 = test_270.messages();
+    let failures_273;
+    if (test_270.passing) {
+      failures_273 = listify_69();
     } else {
-      if (hadBubble_269) {
-        t_263 = test_268.failedOnAssert;
-        t_265 = ! t_263;
+      if (hadBubble_271) {
+        t_265 = test_270.failedOnAssert;
+        t_267 = ! t_265;
       } else {
-        t_265 = false;
+        t_267 = false;
       }
-      if (t_265) {
-        const allMessages_272 = messages_270.slice();
-        listBuilderAdd_118(allMessages_272, "Bubble");
-        t_264 = listBuilderToList_245(allMessages_272);
-        failures_271 = t_264;
+      if (t_267) {
+        const allMessages_274 = messages_272.slice();
+        listBuilderAdd_120(allMessages_274, "Bubble");
+        t_266 = listBuilderToList_247(allMessages_274);
+        failures_273 = t_266;
       } else {
-        failures_271 = messages_270;
+        failures_273 = messages_272;
       }
     }
-    return pairConstructor_273(key_266, failures_271);
+    return pairConstructor_275(key_268, failures_273);
   }
-  return listMap_274(testCases_260, fn_261);
+  return listedMap_276(testCases_262, fn_263);
 };
-/** @param {Array<Pair_275<string, Array<string>>>} testResults_276 */
-export function reportTestResults(testResults_276) {
-  let return_277;
-  let t_278;
-  let t_279;
+/** @param {Array<Pair_277<string, Array<string>>>} testResults_278 */
+export function reportTestResults(testResults_278) {
+  let return_279;
   let t_280;
   let t_281;
-  let i_282 = 0;
-  s__1281_283: {
+  let t_282;
+  let t_283;
+  let i_284 = 0;
+  s__1288_285: {
     while (true) {
-      t_278 = testResults_276.length;
-      if (i_282 < t_278) {
+      t_280 = testResults_278.length;
+      if (i_284 < t_280) {
         try {
-          t_281 = listGet_157(testResults_276, i_282);
+          t_283 = listedGet_159(testResults_278, i_284);
         } catch {
           break;
         }
-        const testResult_284 = t_281;
-        const failureMessages_285 = testResult_284.value;
-        if (! failureMessages_285.length) {
-          t_280 = testResult_284.key;
-          console_229.log(strCat_127(t_280, ": Passed"));
+        const testResult_286 = t_283;
+        const failureMessages_287 = testResult_286.value;
+        if (! failureMessages_287.length) {
+          t_282 = testResult_286.key;
+          console_231.log(strCat_129(t_282, ": Passed"));
         } else {
-          function fn_286(it_287) {
-            return it_287;
+          function fn_288(it_289) {
+            return it_289;
           }
-          const message_288 = listJoin_97(failureMessages_285, ", ", fn_286);
-          t_279 = testResult_284.key;
-          console_229.log(strCat_127(t_279, ": Failed ", message_288));
+          const message_290 = listedJoin_99(failureMessages_287, ", ", fn_288);
+          t_281 = testResult_286.key;
+          console_231.log(strCat_129(t_281, ": Failed ", message_290));
         }
-        i_282 = i_282 + 1;
+        i_284 = i_284 + 1;
       } else {
-        return_277 = void 0;
-        break s__1281_283;
+        return_279 = void 0;
+        break s__1288_285;
       }
     }
     throw Error();
   }
-  return return_277;
+  return return_279;
 };
-/** @param {Array<Pair_275<string, (arg0: Test) => void>>} testCases_289 */
-export function runTestCases(testCases_289) {
-  reportTestResults(processTestCases(testCases_289));
+/** @param {Array<Pair_277<string, (arg0: Test) => void>>} testCases_291 */
+export function runTestCases(testCases_291) {
+  reportTestResults(processTestCases(testCases_291));
   return;
 };
 /**
- * @param {(arg0: Test) => void} testFun_290
+ * @param {(arg0: Test) => void} testFun_292
  * @returns {void}
  */
-export function runTest(testFun_290) {
-  const test_291 = new Test();
-  testFun_290(test_291);
-  test_291.softFailToHard();
+export function runTest(testFun_292) {
+  const test_293 = new Test();
+  testFun_292(test_293);
+  test_293.softFailToHard();
   return;
 };

package/testing.js.map

@@ -1 +1 @@
-{ "version": 3, "file": "js/std/testing.js", "sources": [ "std/testing.temper.md" ], "sourcesContent": [ "# Temper test framework\n\n## Test instance\n\nWe currently convert assert and check macro calls into method calls on a `Test`\ninstance.\n\n    export class Test {\n\nRecommended default Temper assert is soft, meaning that it records failures for\nreporting but doesn't immediately end test execution on a false value. This lets\nyou check multiple conditions more easily.\n\n      @connected(\u0022Test::assert\u0022)\n      public assert(success: Boolean, message: fn (): String): Void {\n        if (!success) {\n          _passing = false;\n          _messages.add(message());\n        }\n      }\n\nTypical hard asserts that end the test on false condition also are available.\n\n      @connected(\u0022Test::assertHard\u0022)\n      public assertHard(\n        success: Boolean,\n        message: fn (): String,\n      ): Void | Bubble {\n        assert(success, message);\n        if (!success) {\n          // Attempt to distinguish assert fails from others.\n          // Sadly, they can still orelse an assert failure, so this isn't\n          // flawless.\n          _failedOnAssert = true;\n          bail();\n        }\n      }\n\nHarden and end current test on any pending failure if not previously hardened.\nBackends typically insert calls to this if needed, but you can also call it\nmanually at any desired point in your test.\n\n      public softFailToHard(): Void | Bubble {\n        if (hasUnhandledFail) {\n          _failedOnAssert = true;\n          bail();\n        }\n      }\n\nProvide a bailing `Bubble` method here that enables backends to customize\nmessage delivery on failure.\n\n      @connected(\u0022Test::bail\u0022)\n      bail(): Bubble {\n        bubble()\n      }\n\nYou can check the current passing state of the test at any time. A test is\ncurrently passing if all soft checks and hard asserts have been succesful.\n\nTODO Does this need to be function call syntax for macro purposes?\n\n      @connected(\u0022Test::passing\u0022)\n      public get passing(): Boolean { _passing }\n\nMessages access is presented as a function because it likely allocates. Also,\nmessages might be automatically constructed in some cases, so it's possibly\nunwise to depend on their exact formatting.\n\n      @connected(\u0022Test::messages\u0022)\n      public messages(): List\u003cString\u003e { _messages.toList() }\n\n### Backend helper methods\n\nAvoid using backend helper methods in user code. Their behavior might be\nunreliable on some backends and/or have high risk of changing in future releases\nof Temper.\n\n      @connected(\u0022Test::failedOnAssert\u0022)\n      public get failedOnAssert(): Boolean { _failedOnAssert }\n\nAdditional helper methods to simplify backend code generation in some contexts.\n\n      public get hasUnhandledFail(): Boolean { !(_failedOnAssert || _passing) }\n\nSimple helper to get multiple messages combined for now. We probably want to do\nfancier things in the future, but this can simplify backends for now.\n\n      public messagesCombined(): String | Null {\n        if (_messages.isEmpty) {\n          // Unexpected, but most backends can do something with null.\n          null\n        } else {\n          _messages.join(\u0022, \u0022) { (it);; it }\n        }\n      }\n\n      private var _failedOnAssert: Boolean = false;\n      private var _passing: Boolean = true;\n      private _messages: ListBuilder\u003cString\u003e = new ListBuilder\u003cString\u003e();\n    }\n\n## Interpreter testing support\n\nNOTICE: Don't directly anything in this section. It just exists for the\nimplementation of testing within the interpreter.\n\n    export let TestCase = Pair\u003cTestName, TestFun\u003e;\n    export let TestFailureMessage = String;\n    export let TestFun = fn (Test): Void | Bubble;\n    export let TestName = String;\n    export let TestResult = Pair\u003cTestName, List\u003cTestFailureMessage\u003e\u003e;\n\n    @connected(\u0022::processTestCases\u0022)\n    export let processTestCases(testCases: List\u003cTestCase\u003e): List\u003cTestResult\u003e {\n      testCases.map { (testCase): TestResult;;\n        let { key, value as fun } = testCase;\n        let test = new Test();\n        // Actually call the test.\n        let hadBubble = do {\n          fun(test);\n          false\n        } orelse true;\n        // Now get the messages.\n        let messages = test.messages();\n        let failures: List\u003cTestFailureMessage\u003e = if (test.passing) {\n          []\n        } else if (hadBubble \u0026\u0026 !test.failedOnAssert) {\n          // Despite having 1+ failure messages, we seem to have failed on some\n          // Bubble separate from asserts, so add that on.\n          let allMessages = messages.toListBuilder();\n          allMessages.add(\u0022Bubble\u0022);\n          allMessages.toList()\n        } else {\n          messages\n        };\n        // Package up with test name.\n        new Pair(key, failures)\n      }\n    }\n\n    @connected(\u0022::reportTestResults\u0022)\n    export let reportTestResults(testResults: List\u003cTestResult\u003e): Void {\n      // TODO Write as junit xml (or tap if we switch to that).\n      for (var i = 0; i \u003c testResults.length; i += 1) {\n        let testResult = testResults[i];\n        let failureMessages = testResult.value;\n        if (failureMessages.isEmpty) {\n          console.log(\u0022\u0024{testResult.key}: Passed\u0022);\n        } else {\n          let message = failureMessages.join(\u0022, \u0022) { (it);; it };\n          console.log(\u0022\u0024{testResult.key}: Failed \u0024{message}\u0022);\n        }\n      }\n    }\n\n    @connected(\u0022::runTestCases\u0022)\n    export let runTestCases(testCases: List\u003cTestCase\u003e): Void {\n      reportTestResults(processTestCases(testCases));\n    }\n\nTODO Is this a better idea than inlining each case? We'd need to generate\n`fun testFunction() { runTest(originalFunctionAsCallback) }` or some such.\n\n    export let runTest(testFun: TestFun): Void | Bubble {\n      let test = new Test();\n      testFun(test);\n      test.softFailToHard();\n    }\n" ], "names": [ "Test", "success", "message", "_passing", "_messages", "_failedOnAssert", "return", "fn", "it", "TestName", "TestFun", "TestCase", "TestFailureMessage", "TestResult", "processTestCases", "testCases", "testCase", "key", "fun", "test", "hadBubble", "messages", "failures", "allMessages", "reportTestResults", "testResults", "i", "testResult", "failureMessages", "runTestCases", "runTest", "testFun" ], "mappings": "AAOI;AAAA;AAAA;AAAA;AAAA;AAAA;AAAa;AAAA;AAAA,aAAAA,IAAA;AAOJ;AAKN,QAAA,AALM,CAAOC,WAAgB,CAAE,CAAAC,WAAsB,CAKrD,AAL6D;AAAA,QACxD,CAAC,CAAAD,WAAO;AACV,UAAQ,CAAA,AAARE,aAAQ,EAAG,MAAK,AAAR;AACE,wBAAG,CAAA,AAAb,IAAS,CAAA,AAATC,cAAS,CAAK,CAAAF,WAAO,EAAE,CAAC;AAE3B,YAAA;AADE;AAAA,KACF;AAJC;AAGC;AAMI;AAYN,YAAA,AAZM,CACLD,WAAgB,CAChB,CAAAC,WAAsB,CAUvB,AATgB;AACf,QAAM,CAAA,AAAN,MAAM,CAACD,WAAO,CAAE,CAAAC,WAAO,CAAC;AAAA,QACpB,CAAC,CAAAD,WAAO;AAIV,UAAe,CAAA,AAAfI,oBAAe,EAAG,KAAI,AAAP;AACf,iBAAM,CAAA,AAAN,IAAM,CAAA,AAAN,IAAI,CAAA,AAAJ,gBAAM;AAET,YAAA;AADE;AAAA,KACF;AAPC;AAMC;AAOI;AAKN,gBAAA,AALM,EAKN,AALsC;AACjC,YAAgB;AAClB,UAAe,CAAA,AAAfA,oBAAe,EAAG,KAAI,AAAP;AACf,iBAAM,CAAA,AAAN,IAAM,CAAA,AAAN,IAAI,CAAA,AAAJ,gBAAM;AAET,YAAA;AADE;AAAA,KACF;AAJC;AAGC;AAiBI;AAAmC,KAAA,AAA/B,QAAO,AAAX,EAAmC,AAAZ;AAAE,eAAQ,CAAA,AAARF,aAAQ;AAAA;AAOjC;AAA+C,UAAA,AAA/C,EAA+C,AAAtB;AAAE,UAAU,sBAAM,CAAA,AAAhB,IAAS,CAAA,AAATC,cAAS,CAAS;AAAA;AAS7C;AAAiD,KAAA,AAA7C,eAAc,AAAlB,EAAiD,AAAnB;AAAE,eAAe,CAAA,AAAfC,oBAAe;AAAA;AAI/C;AAAkE,KAAA,AAA9D,iBAAgB,AAApB,EAAkE,AAAlC;AAAmB,cAAA;AAAnB,QAAI,IAAe,CAAA,AAAfA,oBAAe;AAAA;AAAA;AAAI,aAAQ,AAAR,KAAQ,CAAA,AAARF,aAAQ;AAAA,KAAA;AAA7B,YAAE,MAA4B;AAAA;AAKhE;AAON,kBAAA,AAPM,EAON,AAPwC,EAAA;AAAd,QAAAG,UAAa;AAKpC,aAAS,CAAA;AAAT,aAAkC,CAAA;AAJpC,QAAI,MAAS,CAAA,AAATF,cAAS,CAAA,AAAT,MAAiB;AAEnB,MAAAE,UAAA,EAAI,AAAJ,KAAI;AAAA,YAAA;AAEJ,aAAS,AAAT,KAAS,CAAA,AAATF,cAAS;AAAY,eAAAG,MAAA,CAAGC,MAAE,CAAQ,AAAJ;AAAA,eAAAA,MAAE;AAAA,OAAA;AAAhC,aAAkC,AAAxB,YAAI,CAAA,AAAd,KAAS,CAAM,KAAI,CAAE,CAAAD,MAAa,EAAA;AAAlC,MAAAD,UAAA,EAAkC,AAAlC,MAAkC;AAErC;AAAA,UAAA,AAP0B,CAAAA,UAAA;AAO1B;AAE4B,wBAAO;AAAxB,EAAAD,oBAAe;AACL,wBAAO;AAAjB,EAAAF,aAAQ;AACD,8BAAmB;AAA9B,EAAAC,cAAS,CAAiD;AA5FlD;AAAA,cA0FJC,mBAAgC,CAChC,CAAAF,YAAwB,CAC5B,CAAAC,aAA0D,CAAA,AA5FlD;AA4FyB,aAAyB,CAAA;AA5FlD,QA0FuB,EAAA,AAA3BC,mBAA2B,IAAK,AAAL,KAAK,AAAL,EAAK,IAAA;AAAhC,MAAAA,mBAA2B,EAAK,AAAL,MAAK;AAAA;AAAA,QACZ,EAAA,AAApBF,YAAoB,IAAI,AAAJ,KAAI,AAAJ,EAAI,IAAA;AAAxB,MAAAA,YAAoB,EAAI,AAAJ,KAAI;AAAA;AAAA,QACK,EAAA,AAAjCC,aAAiC,IAAyB,AAAzB,KAAyB,AAAzB,EAAyB,IAAA;AAAzB,aAAyB,AAAzB,GAAyB,CAAA;AAA1D,MAAAA,aAAiC,EAAyB,AAAzB,MAAyB;AAAA,KAAA;AAFtD,SAAAC,oBAAe,EAAA,AAAf,CAAAA,mBAAe;AACf,SAAAF,aAAQ,EAAA,AAAR,CAAAA,YAAQ;AACZ,SAAAC,cAAS,EAAA,AAAT,CAAAA,aAAS,CAAA;AAAT;AAA0D,GAAA;AA5FlD,CA4FkD;AAWzD;AAAQ,MAAA,AAAZ,MAAI,CAAAK,QAAQ,EAAG,eAAM,CAAA;AADjB;AAAO,MAAA,AAAX,MAAI,CAAAC,OAAO,EAAG,mCAAwB,CAAA;AAFlC;AAAQ,MAAA,AAAZ,MAAI,CAAAC,QAAQ,EAAG,2DAAuB;AAClC;AAAkB,MAAA,AAAtB,MAAI,CAAAC,kBAAkB,EAAG,eAAM;AAG3B;AAAU,MAAA,AAAd,MAAI,CAAAC,UAAU,EAAG,uDAAwC;AAGzD;AAyBN,MAAA,AAzBM,SAAI,CAAAC,gBAAgB,AAApB,CAAqBC,aAAyB,CAyBpD,AAzBwE;AACzD,WAAAR,MAAA,CAAGS,YAAQ,CAuBxB,AAtBC;AAWyB,aAAmB;AAK1C,aAAoB,CAAA;AALE,aAAoB,CAAA;AAXtC,UAAAC,OAAG,EAAA,AAAL,CAAAD,YAAqB,CAAA,AAAhB;AAAE,SAAS,CAAAE,OAAG,EAAA,AAAnB,CAAAF,YAAqB,CAAA,AAAT;AAChB,SAAI,CAAAG,QAAI,EAAG,IAAI,CAAAnB,IAAI,EAAE;AAErB,OAAI,CAAAoB,aAGS,CAAA;AAFX,SAAA;AAAA,MAAAF,OAAG,CAACC,QAAI,CAAC,CAAA;AADK,MAAAC,aAAA,EAGf,AAHe,MAGf;AAAY,KAAA,AAAJ;AAAA,MAAAA,aAAA,EAAI,AAAJ,KAAI;AAAA,KAAA;AAEb,SAAI,CAAAC,YAAQ,EAAQ,AAAL,CAAAF,QAAI,CAAC,QAAQ,EAAE;AAC9B,OAAI,CAAAG,YAUH,CAAA;AAVwC,QAAIH,QAAI,CAAQ;AACvD,MAAAG,YAAA,EAAE,AAAF,WAAC,EAAC;AAAA,YAAA;AADqD,UAE9CF,aAAS;AAAK,eAAmB,AAAnB,CAAAD,QAAI,CAAe,eAAA;AAApB,eAAoB,AAApB,EAAC,MAAmB;AAAA;AAAA;AAAA,OAAA;AAFH,UAE9B,QAAA;AAGT,aAAI,CAAAI,eAAW,EAAG,CAAAF,YAAQ,CAAA,AAAR,KAAwB;AAC9B,0BAAG,CAAA,AAAfE,eAAW,CAAK,SAAQ,CAAC;AACzB,eAAoB,AAAR,sBAAM,CAAA,AAAlBA,eAAW,CAAS,CAAA;AALwB,QAAAD,YAAA,EAM7C,AADC,MACD;AAIsB,cAAA;AAHrB,QAAAA,YAAA,EAAQ,AAAR,CAAAD,YAAQ;AAAA;AAGa,KAAA;AAAvB,UAAI,oBAAI,CAACJ,OAAG,CAAE,CAAAK,YAAQ,CAAC;AAAA,GAAA;AAtBzB,QAAU,YAAG,CAAA,AAAbP,aAAS,CAAK,CAAAR,MAuBb;AAAA,CACF;AAGM;AAYN,MAAA,AAZM,SAAI,CAAAiB,iBAAiB,AAArB,CAAsBC,eAA6B,CAYzD,AAZiE,EAAA;AAAL,MAAAnB,UAAI;AAE3C,WAAkB;AAOnB,WAAc,CAAA;AAHd,WAAc,CAAA;AAHd,WAAc,CAAA;AADzB,KAAC,CAAAoB,KAAC,EAAG,EAAC;AASb,aACF,CAAA,AADE;AAAA,kBAAA;AATmB,aAAkB,AAAlB,CAAAD,eAAW,CAAA,AAAX,MAAkB,CAAA;AAAtC,UAAgBC,KAAC,EAAG,MAAkB,GAAA;AACnB;AAAA,iBAAc,AAAH,aAAA,AAAXD,eAAW,CAAC,CAAAC,KAAC,CAAC;AAAA,SASlC;AAAA;AAAA,SAAA;AATG,aAAI,CAAAC,cAAU,EAAG,MAAc;AAC/B,aAAI,CAAAC,mBAAe,EAAG,CAAAD,cAAU,CAAM;AAClC,cAAAC,mBAAe,CAAA,AAAf,MAAuB;AACV,iBAAc,AAAd,CAAAD,cAAU,CAAI,IAAA;AAA7B,qBAAO,CAAC,GAAG,CAAC,WAAG,KAAc,CAAC,WAAQ,CAAC,CAAC;AACzC;AAC0C,mBAAApB,MAAA,CAAGC,MAAE,CAAQ,AAAJ;AAAA,mBAAAA,MAAE;AAAA,WAAA;AAApD,eAAI,CAAAN,WAAO,EAAmB,YAAI,CAAA,AAApB0B,mBAAe,CAAM,KAAI,CAAE,CAAArB,MAAa;AACvC,iBAAc,AAAd,CAAAoB,cAAU,CAAI,IAAA;AAA7B,qBAAO,CAAC,GAAG,CAAC,WAAG,KAAc,CAAC,YAAS,CAAE,CAAAzB,WAAO,CAAE,CAAC;AACpD,SAAA;AARqC,QAAAwB,KAAC,AAAD,EAAM,AAAN,CAAAA,KAAC,EAAI,EAAC;AAS7C,cAAA;AAX0D,QAAApB,UAE3D;AASC;AAAA;AAAA;AACF;AAAA;AAAA,QAAA,AAZ4D,CAAAA,UAAA;AAY5D;AAGM;AAEN,MAAA,AAFM,SAAI,CAAAuB,YAAY,AAAhB,CAAiBd,aAAyB,CAEhD,AAFwD;AACvD,EAAAS,iBAAiB,CAACV,gBAAgB,CAACC,aAAS,CAAC,CAAC;AAAA;AAAC,CAChD;AAKM;AAIN,MAAA,AAJM,SAAI,CAAAe,OAAO,AAAX,CAAYC,WAAgB,CAIlC,AAJmD;AAClD,OAAI,CAAAZ,QAAI,EAAG,IAAI,CAAAnB,IAAI,EAAE;AACrB,EAAA+B,WAAO,CAACZ,QAAI,CAAC,CACR;AAAL,EAAAA,QAAI,CAAC,cAAc,EAAE;AAAA;AAAC,CACvB" }
+{ "version": 3, "file": "js/std/testing.js", "sources": [ "std/testing.temper.md" ], "sourcesContent": [ "# Temper test framework\n\n## Test instance\n\nWe currently convert assert and check macro calls into method calls on a `Test`\ninstance.\n\n    export class Test {\n\nRecommended default Temper assert is soft, meaning that it records failures for\nreporting but doesn't immediately end test execution on a false value. This lets\nyou check multiple conditions more easily.\n\n      @connected(\u0022Test::assert\u0022)\n      public assert(success: Boolean, message: fn (): String): Void {\n        if (!success) {\n          _passing = false;\n          _messages.add(message());\n        }\n      }\n\nTypical hard asserts that end the test on false condition also are available.\n\n      @connected(\u0022Test::assertHard\u0022)\n      public assertHard(\n        success: Boolean,\n        message: fn (): String,\n      ): Void | Bubble {\n        assert(success, message);\n        if (!success) {\n          // Attempt to distinguish assert fails from others.\n          // Sadly, they can still orelse an assert failure, so this isn't\n          // flawless.\n          _failedOnAssert = true;\n          bail();\n        }\n      }\n\nHarden and end current test on any pending failure if not previously hardened.\nBackends typically insert calls to this if needed, but you can also call it\nmanually at any desired point in your test.\n\n      public softFailToHard(): Void | Bubble {\n        if (hasUnhandledFail) {\n          _failedOnAssert = true;\n          bail();\n        }\n      }\n\nProvide a bailing `Bubble` method here that enables backends to customize\nmessage delivery on failure.\n\n      @connected(\u0022Test::bail\u0022)\n      bail(): Bubble {\n        bubble()\n      }\n\nYou can check the current passing state of the test at any time. A test is\ncurrently passing if all soft checks and hard asserts have been succesful.\n\nTODO Does this need to be function call syntax for macro purposes?\n\n      @connected(\u0022Test::passing\u0022)\n      public get passing(): Boolean { _passing }\n\nMessages access is presented as a function because it likely allocates. Also,\nmessages might be automatically constructed in some cases, so it's possibly\nunwise to depend on their exact formatting.\n\n      @connected(\u0022Test::messages\u0022)\n      public messages(): List\u003cString\u003e { _messages.toList() }\n\n### Backend helper methods\n\nAvoid using backend helper methods in user code. Their behavior might be\nunreliable on some backends and/or have high risk of changing in future releases\nof Temper.\n\n      @connected(\u0022Test::failedOnAssert\u0022)\n      public get failedOnAssert(): Boolean { _failedOnAssert }\n\nAdditional helper methods to simplify backend code generation in some contexts.\n\n      public get hasUnhandledFail(): Boolean { !(_failedOnAssert || _passing) }\n\nSimple helper to get multiple messages combined for now. We probably want to do\nfancier things in the future, but this can simplify backends for now.\n\n      public messagesCombined(): String | Null {\n        if (_messages.isEmpty) {\n          // Unexpected, but most backends can do something with null.\n          null\n        } else {\n          _messages.join(\u0022, \u0022) { (it);; it }\n        }\n      }\n\n      private var _failedOnAssert: Boolean = false;\n      private var _passing: Boolean = true;\n      private _messages: ListBuilder\u003cString\u003e = new ListBuilder\u003cString\u003e();\n    }\n\n## Interpreter testing support\n\nNOTICE: Don't directly anything in this section. It just exists for the\nimplementation of testing within the interpreter.\n\n    export let TestCase = Pair\u003cTestName, TestFun\u003e;\n    export let TestFailureMessage = String;\n    export let TestFun = fn (Test): Void | Bubble;\n    export let TestName = String;\n    export let TestResult = Pair\u003cTestName, List\u003cTestFailureMessage\u003e\u003e;\n\n    @connected(\u0022::processTestCases\u0022)\n    export let processTestCases(testCases: List\u003cTestCase\u003e): List\u003cTestResult\u003e {\n      testCases.map { (testCase): TestResult;;\n        let { key, value as fun } = testCase;\n        let test = new Test();\n        // Actually call the test.\n        let hadBubble = do {\n          fun(test);\n          false\n        } orelse true;\n        // Now get the messages.\n        let messages = test.messages();\n        let failures: List\u003cTestFailureMessage\u003e = if (test.passing) {\n          []\n        } else if (hadBubble \u0026\u0026 !test.failedOnAssert) {\n          // Despite having 1+ failure messages, we seem to have failed on some\n          // Bubble separate from asserts, so add that on.\n          let allMessages = messages.toListBuilder();\n          allMessages.add(\u0022Bubble\u0022);\n          allMessages.toList()\n        } else {\n          messages\n        };\n        // Package up with test name.\n        new Pair(key, failures)\n      }\n    }\n\n    @connected(\u0022::reportTestResults\u0022)\n    export let reportTestResults(testResults: List\u003cTestResult\u003e): Void {\n      // TODO Write as junit xml (or tap if we switch to that).\n      for (var i = 0; i \u003c testResults.length; i += 1) {\n        let testResult = testResults[i];\n        let failureMessages = testResult.value;\n        if (failureMessages.isEmpty) {\n          console.log(\u0022\u0024{testResult.key}: Passed\u0022);\n        } else {\n          let message = failureMessages.join(\u0022, \u0022) { (it);; it };\n          console.log(\u0022\u0024{testResult.key}: Failed \u0024{message}\u0022);\n        }\n      }\n    }\n\n    @connected(\u0022::runTestCases\u0022)\n    export let runTestCases(testCases: List\u003cTestCase\u003e): Void {\n      reportTestResults(processTestCases(testCases));\n    }\n\nTODO Is this a better idea than inlining each case? We'd need to generate\n`fun testFunction() { runTest(originalFunctionAsCallback) }` or some such.\n\n    export let runTest(testFun: TestFun): Void | Bubble {\n      let test = new Test();\n      testFun(test);\n      test.softFailToHard();\n    }\n" ], "names": [ "Test", "success", "message", "_passing", "_messages", "_failedOnAssert", "return", "fn", "it", "TestName", "TestFun", "TestCase", "TestFailureMessage", "TestResult", "processTestCases", "testCases", "testCase", "key", "fun", "test", "hadBubble", "messages", "failures", "allMessages", "reportTestResults", "testResults", "i", "testResult", "failureMessages", "runTestCases", "runTest", "testFun" ], "mappings": "AAOI;AAAA;AAAA;AAAA;AAAA;AAAA;AAAa;AAAA;AAAA,aAAAA,IAAA;AAOJ;AAKN,QAAA,AALM,CAAOC,WAAgB,CAAE,CAAAC,WAAsB,CAKrD,AAL6D;AAAA,QACxD,CAAC,CAAAD,WAAO;AACV,UAAQ,CAAA,AAARE,aAAQ,EAAG,MAAK,AAAR;AACE,wBAAG,CAAA,AAAb,IAAS,CAAA,AAATC,cAAS,CAAK,CAAAF,WAAO,EAAE,CAAC;AAE3B,YAAA;AADE;AAAA,KACF;AAJC;AAGC;AAMI;AAYN,YAAA,AAZM,CACLD,WAAgB,CAChB,CAAAC,WAAsB,CAUvB,AATgB;AACf,QAAM,CAAA,AAAN,MAAM,CAACD,WAAO,CAAE,CAAAC,WAAO,CAAC;AAAA,QACpB,CAAC,CAAAD,WAAO;AAIV,UAAe,CAAA,AAAfI,oBAAe,EAAG,KAAI,AAAP;AACf,iBAAM,CAAA,AAAN,IAAM,CAAA,AAAN,IAAI,CAAA,AAAJ,gBAAM;AAET,YAAA;AADE;AAAA,KACF;AAPC;AAMC;AAOI;AAKN,gBAAA,AALM,EAKN,AALsC;AACjC,YAAgB;AAClB,UAAe,CAAA,AAAfA,oBAAe,EAAG,KAAI,AAAP;AACf,iBAAM,CAAA,AAAN,IAAM,CAAA,AAAN,IAAI,CAAA,AAAJ,gBAAM;AAET,YAAA;AADE;AAAA,KACF;AAJC;AAGC;AAiBI;AAAmC,KAAA,AAA/B,QAAO,AAAX,EAAmC,AAAZ;AAAE,eAAQ,CAAA,AAARF,aAAQ;AAAA;AAOjC;AAA+C,UAAA,AAA/C,EAA+C,AAAtB;AAAE,UAAU,sBAAM,CAAA,AAAhB,IAAS,CAAA,AAATC,cAAS,CAAS;AAAA;AAS7C;AAAiD,KAAA,AAA7C,eAAc,AAAlB,EAAiD,AAAnB;AAAE,eAAe,CAAA,AAAfC,oBAAe;AAAA;AAI/C;AAAkE,KAAA,AAA9D,iBAAgB,AAApB,EAAkE,AAAlC;AAAmB,cAAA;AAAnB,QAAI,IAAe,CAAA,AAAfA,oBAAe;AAAA;AAAA;AAAI,aAAQ,AAAR,KAAQ,CAAA,AAARF,aAAQ;AAAA,KAAA;AAA7B,YAAE,MAA4B;AAAA;AAKhE;AAON,kBAAA,AAPM,EAON,AAPwC,EAAA;AAAd,QAAAG,UAAa;AAKpC,aAAS,CAAA;AAAT,aAAkC,CAAA;AAJpC,QAAI,MAAS,CAAA,AAATF,cAAS,CAAA,AAAT,MAAiB;AAEnB,MAAAE,UAAA,EAAI,AAAJ,KAAI;AAAA,YAAA;AAEJ,aAAS,AAAT,KAAS,CAAA,AAATF,cAAS;AAAY,eAAAG,MAAA,CAAGC,MAAE,CAAQ,AAAJ;AAAA,eAAAA,MAAE;AAAA,OAAA;AAAhC,aAAkC,AAAxB,cAAI,CAAA,AAAd,KAAS,CAAM,KAAI,CAAE,CAAAD,MAAa,EAAA;AAAlC,MAAAD,UAAA,EAAkC,AAAlC,MAAkC;AAErC;AAAA,UAAA,AAP0B,CAAAA,UAAA;AAO1B;AAE4B,wBAAO;AAAxB,EAAAD,oBAAe;AACL,wBAAO;AAAjB,EAAAF,aAAQ;AACD,8BAAmB;AAA9B,EAAAC,cAAS,CAAiD;AA5FlD;AAAA,cA0FJC,mBAAgC,CAChC,CAAAF,YAAwB,CAC5B,CAAAC,aAA0D,CAAA,AA5FlD;AA4FyB,aAAyB,CAAA;AA5FlD,QA0FuB,EAAA,AAA3BC,mBAA2B,IAAK,AAAL,KAAK,AAAL,EAAK,IAAA;AAAhC,MAAAA,mBAA2B,EAAK,AAAL,MAAK;AAAA;AAAA,QACZ,EAAA,AAApBF,YAAoB,IAAI,AAAJ,KAAI,AAAJ,EAAI,IAAA;AAAxB,MAAAA,YAAoB,EAAI,AAAJ,KAAI;AAAA;AAAA,QACK,EAAA,AAAjCC,aAAiC,IAAyB,AAAzB,KAAyB,AAAzB,EAAyB,IAAA;AAAzB,aAAyB,AAAzB,GAAyB,CAAA;AAA1D,MAAAA,aAAiC,EAAyB,AAAzB,MAAyB;AAAA,KAAA;AAFtD,SAAAC,oBAAe,EAAA,AAAf,CAAAA,mBAAe;AACf,SAAAF,aAAQ,EAAA,AAAR,CAAAA,YAAQ;AACZ,SAAAC,cAAS,EAAA,AAAT,CAAAA,aAAS,CAAA;AAAT;AAA0D,GAAA;AA5FlD,CA4FkD;AAWzD;AAAQ,MAAA,AAAZ,MAAI,CAAAK,QAAQ,EAAG,eAAM,CAAA;AADjB;AAAO,MAAA,AAAX,MAAI,CAAAC,OAAO,EAAG,mCAAwB,CAAA;AAFlC;AAAQ,MAAA,AAAZ,MAAI,CAAAC,QAAQ,EAAG,2DAAuB;AAClC;AAAkB,MAAA,AAAtB,MAAI,CAAAC,kBAAkB,EAAG,eAAM;AAG3B;AAAU,MAAA,AAAd,MAAI,CAAAC,UAAU,EAAG,uDAAwC;AAGzD;AAyBN,MAAA,AAzBM,SAAI,CAAAC,gBAAgB,AAApB,CAAqBC,aAAyB,CAyBpD,AAzBwE;AACzD,WAAAR,MAAA,CAAGS,YAAQ,CAuBxB,AAtBC;AAWyB,aAAmB;AAK1C,aAAoB,CAAA;AALE,aAAoB,CAAA;AAXtC,UAAAC,OAAG,EAAA,AAAL,CAAAD,YAAqB,CAAA,AAAhB;AAAE,SAAS,CAAAE,OAAG,EAAA,AAAnB,CAAAF,YAAqB,CAAA,AAAT;AAChB,SAAI,CAAAG,QAAI,EAAG,IAAI,CAAAnB,IAAI,EAAE;AAErB,OAAI,CAAAoB,aAGS,CAAA;AAFX,SAAA;AAAA,MAAAF,OAAG,CAACC,QAAI,CAAC,CAAA;AADK,MAAAC,aAAA,EAGf,AAHe,MAGf;AAAY,KAAA,AAAJ;AAAA,MAAAA,aAAA,EAAI,AAAJ,KAAI;AAAA,KAAA;AAEb,SAAI,CAAAC,YAAQ,EAAQ,AAAL,CAAAF,QAAI,CAAC,QAAQ,EAAE;AAC9B,OAAI,CAAAG,YAUH,CAAA;AAVwC,QAAIH,QAAI,CAAQ;AACvD,MAAAG,YAAA,EAAE,AAAF,WAAC,EAAC;AAAA,YAAA;AADqD,UAE9CF,aAAS;AAAK,eAAmB,AAAnB,CAAAD,QAAI,CAAe,eAAA;AAApB,eAAoB,AAApB,EAAC,MAAmB;AAAA;AAAA;AAAA,OAAA;AAFH,UAE9B,QAAA;AAGT,aAAI,CAAAI,eAAW,EAAG,CAAAF,YAAQ,CAAA,AAAR,KAAwB;AAC9B,0BAAG,CAAA,AAAfE,eAAW,CAAK,SAAQ,CAAC;AACzB,eAAoB,AAAR,sBAAM,CAAA,AAAlBA,eAAW,CAAS,CAAA;AALwB,QAAAD,YAAA,EAM7C,AADC,MACD;AAIsB,cAAA;AAHrB,QAAAA,YAAA,EAAQ,AAAR,CAAAD,YAAQ;AAAA;AAGa,KAAA;AAAvB,UAAI,oBAAI,CAACJ,OAAG,CAAE,CAAAK,YAAQ,CAAC;AAAA,GAAA;AAtBzB,QAAU,cAAG,CAAA,AAAbP,aAAS,CAAK,CAAAR,MAuBb;AAAA,CACF;AAGM;AAYN,MAAA,AAZM,SAAI,CAAAiB,iBAAiB,AAArB,CAAsBC,eAA6B,CAYzD,AAZiE,EAAA;AAAL,MAAAnB,UAAI;AAE3C,WAAkB;AAOnB,WAAc,CAAA;AAHd,WAAc,CAAA;AAHd,WAAc,CAAA;AADzB,KAAC,CAAAoB,KAAC,EAAG,EAAC;AASb,aACF,CAAA,AADE;AAAA,kBAAA;AATmB,aAAkB,AAAlB,CAAAD,eAAW,CAAO,OAAA;AAAtC,UAAgBC,KAAC,EAAG,MAAkB,GAAA;AACnB;AAAA,iBAAc,AAAH,eAAA,AAAXD,eAAW,CAAC,CAAAC,KAAC,CAAC;AAAA,SASlC;AAAA;AAAA,SAAA;AATG,aAAI,CAAAC,cAAU,EAAG,MAAc;AAC/B,aAAI,CAAAC,mBAAe,EAAG,CAAAD,cAAU,CAAM;AAClC,cAAAC,mBAAe,CAAA,AAAf,MAAuB;AACV,iBAAc,AAAd,CAAAD,cAAU,CAAI,IAAA;AAA7B,qBAAO,CAAC,GAAG,CAAC,WAAG,KAAc,CAAC,WAAQ,CAAC,CAAC;AACzC;AAC0C,mBAAApB,MAAA,CAAGC,MAAE,CAAQ,AAAJ;AAAA,mBAAAA,MAAE;AAAA,WAAA;AAApD,eAAI,CAAAN,WAAO,EAAmB,cAAI,CAAA,AAApB0B,mBAAe,CAAM,KAAI,CAAE,CAAArB,MAAa;AACvC,iBAAc,AAAd,CAAAoB,cAAU,CAAI,IAAA;AAA7B,qBAAO,CAAC,GAAG,CAAC,WAAG,KAAc,CAAC,YAAS,CAAE,CAAAzB,WAAO,CAAE,CAAC;AACpD,SAAA;AARqC,QAAAwB,KAAC,AAAD,EAAM,AAAN,CAAAA,KAAC,EAAI,EAAC;AAS7C,cAAA;AAX0D,QAAApB,UAE3D;AASC;AAAA;AAAA;AACF;AAAA;AAAA,QAAA,AAZ4D,CAAAA,UAAA;AAY5D;AAGM;AAEN,MAAA,AAFM,SAAI,CAAAuB,YAAY,AAAhB,CAAiBd,aAAyB,CAEhD,AAFwD;AACvD,EAAAS,iBAAiB,CAACV,gBAAgB,CAACC,aAAS,CAAC,CAAC;AAAA;AAAC,CAChD;AAKM;AAIN,MAAA,AAJM,SAAI,CAAAe,OAAO,AAAX,CAAYC,WAAgB,CAIlC,AAJmD;AAClD,OAAI,CAAAZ,QAAI,EAAG,IAAI,CAAAnB,IAAI,EAAE;AACrB,EAAA+B,WAAO,CAACZ,QAAI,CAAC,CACR;AAAL,EAAAA,QAAI,CAAC,cAAc,EAAE;AAAA;AAAC,CACvB" }