From cc80583f2f743980cb040505271c800ee5c2993f Mon Sep 17 00:00:00 2001
From: Greg Pfeil <greg@technomadic.org>
Date: Tue, 20 Aug 2024 16:54:37 -0600
Subject: [PATCH] Add a transcript to show that #4711 has been fixed

Closes #4711.
---
 unison-src/transcripts/fix4711.md        | 19 ++++++++
 unison-src/transcripts/fix4711.output.md | 57 ++++++++++++++++++++++++
 2 files changed, 76 insertions(+)
 create mode 100644 unison-src/transcripts/fix4711.md
 create mode 100644 unison-src/transcripts/fix4711.output.md

diff --git a/unison-src/transcripts/fix4711.md b/unison-src/transcripts/fix4711.md
new file mode 100644
index 0000000000..a670fe1016
--- /dev/null
+++ b/unison-src/transcripts/fix4711.md
@@ -0,0 +1,19 @@
+# Delayed Int literal doesn't round trip
+
+```ucm:hide
+scratch/main> builtins.merge
+```
+
+```unison
+thisWorks = '(+1)
+
+thisDoesNotWork = ['(+1)]
+```
+
+Since this is fixed, `thisDoesNotWork` now does work.
+
+```ucm
+scratch/main> add
+scratch/main> edit thisWorks thisDoesNotWork
+scratch/main> load
+```
diff --git a/unison-src/transcripts/fix4711.output.md b/unison-src/transcripts/fix4711.output.md
new file mode 100644
index 0000000000..3360bac85c
--- /dev/null
+++ b/unison-src/transcripts/fix4711.output.md
@@ -0,0 +1,57 @@
+# Delayed Int literal doesn't round trip
+
+``` unison
+thisWorks = '(+1)
+
+thisDoesNotWork = ['(+1)]
+```
+
+``` 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`:
+    
+      thisDoesNotWork : ['{g} Int]
+      thisWorks       : 'Int
+
+```
+Since this is fixed, `thisDoesNotWork` now does work.
+
+``` ucm
+scratch/main> add
+
+  ⍟ I've added these definitions:
+  
+    thisDoesNotWork : ['{g} Int]
+    thisWorks       : 'Int
+
+scratch/main> edit thisWorks thisDoesNotWork
+
+  ☝️
+  
+  I added 2 definitions to the top of scratch.u
+  
+  You can edit them there, then run `update` to replace the
+  definitions currently in this namespace.
+
+scratch/main> load
+
+  Loading changes detected in scratch.u.
+
+  I found and typechecked the definitions in scratch.u. This
+  file has been previously added to the codebase.
+
+```
+``` unison:added-by-ucm scratch.u
+thisDoesNotWork : ['{g} Int]
+thisDoesNotWork = [do +1]
+
+thisWorks : 'Int
+thisWorks = do +1
+```
+