Merge pull request #5292 from sellout/delayed-int-roundtrip

Add a transcript to show that #4711 has been fixed

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
+```

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
+```
+