From cbd533e40f07027c5552e47b8a8d656be78fca52 Mon Sep 17 00:00:00 2001 From: Greg Pfeil Date: Wed, 10 Jul 2024 16:04:21 -0600 Subject: [PATCH] Update a couple transcripts to the new formatting MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit These arenโ€˜t run as part of ./scripts/check.sh, so they got missed in the initial pass. --- .../builtin-tests/interpreter-tests.output.md | 2 +- unison-src/builtin-tests/jit-tests.output.md | 19 ++++++++++--------- 2 files changed, 11 insertions(+), 10 deletions(-) diff --git a/unison-src/builtin-tests/interpreter-tests.output.md b/unison-src/builtin-tests/interpreter-tests.output.md index 9257063d7..7ba9ed8bb 100644 --- a/unison-src/builtin-tests/interpreter-tests.output.md +++ b/unison-src/builtin-tests/interpreter-tests.output.md @@ -4,7 +4,7 @@ If you want to add or update tests, you can create a branch of that project, and Before merging the PR on Github, we'll merge your branch on Share and restore `runtime_tests_version` to /main or maybe a release. -```ucm +``` ucm runtime-tests/selected> run tests () diff --git a/unison-src/builtin-tests/jit-tests.output.md b/unison-src/builtin-tests/jit-tests.output.md index 36da40929..4bdb6cc29 100644 --- a/unison-src/builtin-tests/jit-tests.output.md +++ b/unison-src/builtin-tests/jit-tests.output.md @@ -4,7 +4,7 @@ If you want to add or update tests, you can create a branch of that project, and Before merging the PR on Github, we'll merge your branch on Share and restore `runtime_tests_version` to /main or maybe a release. -```ucm +``` ucm runtime-tests/selected> run.native tests () @@ -17,7 +17,8 @@ runtime-tests/selected> run.native tests.jit.only Per Dan: It's testing a flaw in how we were sending code from a scratch file to the native runtime, when that happened multiple times. Related to the verifiable refs and recursive functions. -```unison + +``` unison foo = do go : Nat ->{Exception} () go = cases @@ -26,20 +27,20 @@ foo = do go 1000 ``` -```ucm +``` ucm Loading changes detected in scratch.u. I found and typechecked these definitions in scratch.u. If you do an `add` or `update`, here's how your codebase would change: - + โŸ These new definitions are ok to `add`: - + foo : '{Exception} () ``` -```ucm +``` ucm scratch/main> run.native foo () @@ -53,14 +54,14 @@ This can also only be tested by separately running this test, because it is exercising the protocol that ucm uses to talk to the jit during an exception. -```ucm +``` ucm runtime-tests/selected> run.native testBug ๐Ÿ’”๐Ÿ’ฅ - + I've encountered a call to builtin.bug with the following value: - + "testing" ```