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.
This commit is contained in:
Greg Pfeil 2024-08-01 22:53:33 -06:00
parent c5a66d5608
commit 96f865b37c
No known key found for this signature in database
GPG Key ID: 1193ACD196ED61F2
2 changed files with 34 additions and 0 deletions

View File

@ -0,0 +1,12 @@
```ucm:hide
scratch/main> builtins.mergeio
```
Nested call to code lexer wasnt terminating inline examples containing blocks properly.
```unison
x = {{
``let "me"`` live
``do "me"`` in
}}
```

View File

@ -0,0 +1,22 @@
Nested call to code lexer wasnt 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
```