@temperlang/std 0.2.1 → 0.4.0

package/testing.js

@@ -1,223 +1,193 @@
 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__320, type as type__348, listBuilderAdd as listBuilderAdd_327, listBuilderToList as listBuilderToList_337, listedJoin as listedJoin_346, pairConstructor as pairConstructor_363, listedMap as listedMap_364, listedGet as listedGet_372
 } from "@temperlang/core";
 import {
-  strict as strict__241
+  strict as strict__333
 } from "assert";
-/** @type {Console_231} */
-const console_229 = globalConsole__230;
-export class Test {
+/** @type {Console_321} */
+const console_319 = globalConsole__320;
+export class Test extends type__348() {
   /**
-   * @param {boolean} success_233
-   * @param {() => string} message_234
+   * @param {boolean} success_323
+   * @param {() => string} message_324
    */
-  assert(success_233, message_234) {
-    if (! success_233) {
-      this.#_passing_235 = false;
-      listBuilderAdd_118(this.#_messages_236, message_234());
-    } else {
-      void 0;
+  assert(success_323, message_324) {
+    let t_325;
+    if (! success_323) {
+      this.#_passing_326 = false;
+      t_325 = message_324();
+      listBuilderAdd_327(this.#_messages_328, t_325);
     }
     return;
   }
   /**
-   * @param {boolean} success_238
-   * @param {() => string} message_239
+   * @param {boolean} success_330
+   * @param {() => string} message_331
    * @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());
-    } else {
-      void 0;
+  assertHard(success_330, message_331) {
+    this.assert(success_330, message_331);
+    if (! success_330) {
+      this.#_failedOnAssert_332 = true;
+      strict__333.fail(this.messagesCombined());
     }
     return;
   }
   /** @returns {void} */
   softFailToHard() {
     if (this.hasUnhandledFail) {
-      this.#_failedOnAssert_240 = true;
-      strict__241.fail(this.messagesCombined());
-    } else {
-      void 0;
+      this.#_failedOnAssert_332 = true;
+      strict__333.fail(this.messagesCombined());
     }
     return;
   }
   /** @returns {boolean} */
   get passing() {
-    return this.#_passing_235;
+    return this.#_passing_326;
   }
   /** @returns {Array<string>} */
   messages() {
-    return listBuilderToList_245(this.#_messages_236);
+    return listBuilderToList_337(this.#_messages_328);
   }
   /** @returns {boolean} */
   get failedOnAssert() {
-    return this.#_failedOnAssert_240;
+    return this.#_failedOnAssert_332;
   }
   /** @returns {boolean} */
   get hasUnhandledFail() {
-    let t_248;
-    if (this.#_failedOnAssert_240) {
-      t_248 = true;
+    let t_340;
+    if (this.#_failedOnAssert_332) {
+      t_340 = true;
     } else {
-      t_248 = this.#_passing_235;
+      t_340 = this.#_passing_326;
     }
-    return ! t_248;
+    return ! t_340;
   }
   /** @returns {string | null} */
   messagesCombined() {
-    let return_250;
-    let t_251;
-    let t_252;
-    if (! this.#_messages_236.length) {
-      return_250 = null;
+    let return_342;
+    let t_343;
+    if (! this.#_messages_328.length) {
+      return_342 = null;
     } else {
-      t_251 = this.#_messages_236;
-      function fn_253(it_254) {
-        return it_254;
+      function fn_344(it_345) {
+        return it_345;
       }
-      t_252 = listJoin_97(t_251, ", ", fn_253);
-      return_250 = t_252;
+      t_343 = listedJoin_346(this.#_messages_328, ", ", fn_344);
+      return_342 = t_343;
     }
-    return return_250;
+    return return_342;
   }
   /** @type {boolean} */
-  #_failedOnAssert_240;
+  #_failedOnAssert_332;
   /** @type {boolean} */
-  #_passing_235;
+  #_passing_326;
   /** @type {Array<string>} */
-  #_messages_236;
-  /**
-   * @param {boolean} _failedOnAssert_255
-   * @param {boolean} _passing_256
-   * @param {Array<string>} _messages_257
-   */
-  constructor(_failedOnAssert_255, _passing_256, _messages_257) {
-    let t_258;
-    if (!(_failedOnAssert_255 !== void 0)) {
-      _failedOnAssert_255 = false;
-    }
-    if (!(_passing_256 !== void 0)) {
-      _passing_256 = true;
-    }
-    if (!(_messages_257 !== void 0)) {
-      t_258 = [];
-      _messages_257 = t_258;
-    }
-    this.#_failedOnAssert_240 = _failedOnAssert_255;
-    this.#_passing_235 = _passing_256;
-    this.#_messages_236 = _messages_257;
+  #_messages_328;
+  constructor() {
+    super ();
+    this.#_failedOnAssert_332 = false;
+    this.#_passing_326 = true;
+    let t_347 = [];
+    this.#_messages_328 = t_347;
     return;
   }
 };
-/** @type {Type_259} */
+/** @type {Type_349} */
 export const TestName = "String: Type";
-/** @type {Type_259} */
+/** @type {Type_349} */
 export const TestFun = "fn (Test): (Void | Bubble): Type";
-/** @type {Type_259} */
+/** @type {Type_349} */
 export const TestCase = "Pair\u003cString, fn (Test): (Void | Bubble)\u003e: Type";
-/** @type {Type_259} */
+/** @type {Type_349} */
 export const TestFailureMessage = "String: Type";
-/** @type {Type_259} */
+/** @type {Type_349} */
 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_365<string, (arg0: Test) => void>>} testCases_350
+ * @returns {Array<Pair_365<string, Array<string>>>}
  */
-export function processTestCases(testCases_260) {
-  function fn_261(testCase_262) {
-    let t_263;
-    let t_264;
-    let t_265;
-    const key_266 = testCase_262.key;
-    const fun_267 = testCase_262.value;
-    const test_268 = new Test();
-    let hadBubble_269;
+export function processTestCases(testCases_350) {
+  function fn_351(testCase_352) {
+    let t_353;
+    let t_354;
+    let t_355;
+    const key_356 = testCase_352.key;
+    const fun_357 = testCase_352.value;
+    const test_358 = new Test();
+    let hadBubble_359;
     try {
-      fun_267(test_268);
-      hadBubble_269 = false;
+      fun_357(test_358);
+      hadBubble_359 = false;
     } catch {
-      hadBubble_269 = true;
+      hadBubble_359 = true;
     }
-    const messages_270 = test_268.messages();
-    let failures_271;
-    if (test_268.passing) {
-      failures_271 = listify_67();
+    const messages_360 = test_358.messages();
+    let failures_361;
+    if (test_358.passing) {
+      failures_361 = Object.freeze([]);
     } else {
-      if (hadBubble_269) {
-        t_263 = test_268.failedOnAssert;
-        t_265 = ! t_263;
+      if (hadBubble_359) {
+        t_353 = test_358.failedOnAssert;
+        t_355 = ! t_353;
       } else {
-        t_265 = false;
+        t_355 = 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_355) {
+        const allMessages_362 = messages_360.slice();
+        listBuilderAdd_327(allMessages_362, "Bubble");
+        t_354 = listBuilderToList_337(allMessages_362);
+        failures_361 = t_354;
       } else {
-        failures_271 = messages_270;
+        failures_361 = messages_360;
       }
     }
-    return pairConstructor_273(key_266, failures_271);
+    return pairConstructor_363(key_356, failures_361);
   }
-  return listMap_274(testCases_260, fn_261);
+  return listedMap_364(testCases_350, fn_351);
 };
-/** @param {Array<Pair_275<string, Array<string>>>} testResults_276 */
-export function reportTestResults(testResults_276) {
-  let return_277;
-  let t_278;
-  let t_279;
-  let t_280;
-  let t_281;
-  let i_282 = 0;
-  s__1281_283: {
-    while (true) {
-      t_278 = testResults_276.length;
-      if (i_282 < t_278) {
-        try {
-          t_281 = listGet_157(testResults_276, i_282);
-        } 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"));
-        } else {
-          function fn_286(it_287) {
-            return it_287;
-          }
-          const message_288 = listJoin_97(failureMessages_285, ", ", fn_286);
-          t_279 = testResult_284.key;
-          console_229.log(strCat_127(t_279, ": Failed ", message_288));
-        }
-        i_282 = i_282 + 1;
-      } else {
-        return_277 = void 0;
-        break s__1281_283;
+/** @param {Array<Pair_365<string, Array<string>>>} testResults_366 */
+export function reportTestResults(testResults_366) {
+  let t_367;
+  let t_368;
+  let t_369;
+  let t_370;
+  let i_371 = 0;
+  while (true) {
+    t_367 = testResults_366.length;
+    if (!(i_371 < t_367)) {
+      break;
+    }
+    t_370 = listedGet_372(testResults_366, i_371);
+    const testResult_373 = t_370;
+    const failureMessages_374 = testResult_373.value;
+    if (! failureMessages_374.length) {
+      t_368 = testResult_373.key;
+      console_319.log(String(t_368) + ": Passed");
+    } else {
+      function fn_375(it_376) {
+        return it_376;
       }
+      const message_377 = listedJoin_346(failureMessages_374, ", ", fn_375);
+      t_369 = testResult_373.key;
+      console_319.log(String(t_369) + ": Failed " + message_377);
     }
-    throw Error();
+    i_371 = i_371 + 1;
   }
-  return return_277;
+  return;
 };
-/** @param {Array<Pair_275<string, (arg0: Test) => void>>} testCases_289 */
-export function runTestCases(testCases_289) {
-  reportTestResults(processTestCases(testCases_289));
+/** @param {Array<Pair_365<string, (arg0: Test) => void>>} testCases_378 */
+export function runTestCases(testCases_378) {
+  reportTestResults(processTestCases(testCases_378));
   return;
 };
 /**
- * @param {(arg0: Test) => void} testFun_290
+ * @param {(arg0: Test) => void} testFun_379
  * @returns {void}
  */
-export function runTest(testFun_290) {
-  const test_291 = new Test();
-  testFun_290(test_291);
-  test_291.softFailToHard();
+export function runTest(testFun_379) {
+  const test_380 = new Test();
+  testFun_379(test_380);
+  test_380.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      private 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 use 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`fn 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,kBA4FuD,EAAA,AA5FvD;AAOJ;AAKN,QAAA,AALM,CAAOC,WAAgB,CAAE,CAAAC,WAAsB,CAKrD,AAL6D;AAG5C,aAAS,CAAA;AAFzB,QAAI,CAAC,CAAAD,WAAO;AACV,UAAQ,CAAQE,aAAA,EAAA,AAAL,MAAK;AACF,aAAS,AAAT,CAAAD,WAAO,EAAE,CAAA;AAAb,wBAAG,CAAA,AAAb,IAAS,CAAAE,cAAA,CAAK,MAAS,CAAC;AACzB,KAAA;AAHD;AAGC;AAMI;AAYN,YAAA,AAZM,CACLH,WAAgB,CAChB,CAAAC,WAAsB,CAUvB,AATgB;AACf,QAAM,CAAA,AAAN,MAAM,CAACD,WAAO,CAAE,CAAAC,WAAO,CAAC;AACxB,QAAI,CAAC,CAAAD,WAAO;AAIV,UAAe,CAAOI,oBAAA,EAAA,AAAJ,KAAI;AACtB,iBAAM,CAAA,AAAN,IAAM,CAAA,AAAN,IAAI,CAAA,AAAJ,gBAAM;AACP,KAAA;AAND;AAMC;AAOI;AAKN,gBAAA,AALM,EAKN,AALsC;AACrC,QAAI,IAAgB;AAClB,UAAe,CAAOA,oBAAA,EAAA,AAAJ,KAAI;AACtB,iBAAM,CAAA,AAAN,IAAM,CAAA,AAAN,IAAI,CAAA,AAAJ,gBAAM;AACP,KAAA;AAHD;AAGC;AAiBI;AAAmC,KAAA,AAA/B,QAAO,AAAX,EAAmC,AAAZ;AAAE,eAAQ,CAAAF,aAAA;AAAA;AAOjC;AAA+C,UAAA,AAA/C,EAA+C,AAAtB;AAAE,UAAU,sBAAM,CAAA,AAAhB,IAAS,CAAAC,cAAA,CAAS;AAAA;AAS7C;AAAiD,KAAA,AAA7C,eAAc,AAAlB,EAAiD,AAAnB;AAAE,eAAe,CAAAC,oBAAA;AAAA;AAI/C;AAAkE,KAAA,AAA9D,iBAAgB,AAApB,EAAkE,AAAlC;AAAmB,cAAA;AAAf,YAAe,CAAAA,oBAAA;AAAA;AAAA;AAAI,aAAQ,AAAR,KAAQ,CAAAF,aAAA;AAAA,KAAA;AAA7B,YAAE,MAA4B;AAAA;AAKhE;AAON,kBAAA,AAPM,EAON,AAPwC,EAAA;AAAd,QAAAG,UAAa;AAKpC,aAAkC,CAAA;AAJpC,QAAI,MAAS,CAAAF,cAAA,CAAA,AAAT,MAAiB;AAEnB,MAAAE,UAAA,EAAI,AAAJ,KAAI;AACL;AACsB,eAAAC,MAAA,CAAGC,MAAE,CAAQ,AAAJ;AAAA,eAAAA,MAAE;AAAA,OAAA;AAAhC,aAAkC,AAAxB,eAAI,CAAA,AAAd,IAAS,CAAAJ,cAAA,CAAM,KAAI,CAAE,CAAAG,MAAa,EAAA;AAAlC,MAAAD,UAAA,EAAkC,AAAlC,MAAkC;AACnC;AACF,UAAA,AAP0B,CAAAA,UAAA;AAO1B;AAE4B,wBAAO;AAAxB,EAAAD,oBAAe;AACL,wBAAO;AAAjB,EAAAF,aAAQ;AACD,8BAAmB;AAA9B,EAAAC,cAAS,CAAiD;AA5FlD;AAAA;AA0FJ,SAAgCC,oBAAA,EAAA,AAAL,MAAK;AAChC,SAAwBF,aAAA,EAAA,AAAJ,KAAI;AACK,aAAyB,EAAA,AAAzB,GAAyB,CAAA;AAA1D,SAA0DC,cAAA,EAAA,AAAzB,MAAyB,CAAA;AAA1D;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;AAHG;AACd,MAAAF,OAAG,CAACC,QAAI,CAAC,CAAA;AADK,MAAAC,aAAA,EAGf,AAHe,MAGf;AAAA,KAAQ;AAAA,MAAAA,aAAA,EAAI,AAAJ,KAAI;AAAA;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,OAAE,CAAA,AAAF,MAAE,CAAA,AAAF,EAAE;AACH,YAAA;AAAU,UAAAF,aAAS;AAAK,eAAmB,AAAnB,CAAAD,QAAI,CAAe,eAAA;AAApB,eAAoB,AAApB,EAAC,MAAmB;AAAA;AAAA;AAAA,OAAA;AAFH,UAE9B;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;AAAA;AACC,QAAAA,YAAA,EAAQ,AAAR,CAAAD,YAAQ;AACT;AAAA;AAED,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;AAE5C,WAAkB;AAInB,WAAc;AAGd,WAAc,CAAA;AANd,WAAc,CAAA;AADzB,KAAC,CAAAC,KAAC,EAAG,EAAC,CAAA;AAAd,gBAAgD;AAA5B,WAAkB,AAAlB,CAAAD,eAAW,CAAO,OAAA;AAAtB,UAAAC,KAAC,AAAD,EAAsB,AAAlB,MAAkB;AAAA;AAAA;AACnB,WAAc,AAAH,eAAA,AAAXD,eAAW,CAAC,CAAAC,KAAC,CAAC,CAAA;AAA/B,SAAI,CAAAC,cAAU,EAAG,MAAc;AAC/B,SAAI,CAAAC,mBAAe,EAAG,CAAAD,cAAU,CAAM;AACtC,QAAI,EAAAC,mBAAe,CAAA,AAAf,MAAuB;AACV,aAAc,AAAd,CAAAD,cAAU,CAAI,IAAA;AAA7B,iBAAO,CAAC,GAAG,CAAC,MAA2B,CAAA,AAAxB,KAAc,CAAU,AAA3B,EAA2B,AAAT,WAAS,CAAC;AACzC;AAC0C,eAAApB,MAAA,CAAGC,MAAE,CAAQ,AAAJ;AAAA,eAAAA,MAAE;AAAA,OAAA;AAApD,WAAI,CAAAN,WAAO,EAAmB,eAAI,CAAA,AAApB0B,mBAAe,CAAM,KAAI,CAAE,CAAArB,MAAa;AACvC,aAAc,AAAd,CAAAoB,cAAU,CAAI,IAAA;AAA7B,iBAAO,CAAC,GAAG,CAAC,MAAsC,CAAA,AAAnC,KAAc,CAAqB,AAAtC,EAAsC,AAApB,YAAoB,AAAtC,EAAsC,AAAT,CAAAzB,WAAS,CAAC;AACpD,KAAA;AARqC,IAAAwB,KAAC,AAAD,EAAM,AAAN,CAAAA,KAAC,EAAI,EAAC;AAS7C,GAAA;AATD;AAAA,CAUD;AAGM;AAEN,MAAA,AAFM,SAAI,CAAAG,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" }