From 96f865b37c4fcb31928d976ece21dbf3231d8e87 Mon Sep 17 00:00:00 2001 From: Greg Pfeil Date: Thu, 1 Aug 2024 22:53:33 -0600 Subject: [PATCH] Add a transcript showing that #5076 was fixed Some handling of blocks without final newlines was improved in the course of this PR. Fixes #5076. --- unison-src/transcripts/fix5076.md | 12 ++++++++++++ unison-src/transcripts/fix5076.output.md | 22 ++++++++++++++++++++++ 2 files changed, 34 insertions(+) create mode 100644 unison-src/transcripts/fix5076.md create mode 100644 unison-src/transcripts/fix5076.output.md diff --git a/unison-src/transcripts/fix5076.md b/unison-src/transcripts/fix5076.md new file mode 100644 index 0000000000..d2c4b5a7b2 --- /dev/null +++ b/unison-src/transcripts/fix5076.md @@ -0,0 +1,12 @@ +```ucm:hide +scratch/main> builtins.mergeio +``` + +Nested call to code lexer wasn’t terminating inline examples containing blocks properly. + +```unison +x = {{ + ``let "me"`` live + ``do "me"`` in + }} +``` diff --git a/unison-src/transcripts/fix5076.output.md b/unison-src/transcripts/fix5076.output.md new file mode 100644 index 0000000000..f92954cd23 --- /dev/null +++ b/unison-src/transcripts/fix5076.output.md @@ -0,0 +1,22 @@ +Nested call to code lexer wasn’t terminating inline examples containing blocks properly. + +``` unison +x = {{ + ``let "me"`` live + ``do "me"`` in + }} +``` + +``` 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`: + + x : Doc2 + +```