Transcript updates

dolio · dolio · commit 7328db0e97a4 · 2025-11-21T14:17:45.000-05:00
diff --git a/unison-src/transcripts-using-base/all-base-hashes.output.md b/unison-src/transcripts-using-base/all-base-hashes.output.md
diff --git a/unison-src/transcripts/idempotent/alias-term.md b/unison-src/transcripts/idempotent/alias-term.md
@@ -12,7 +12,7 @@
 > ls .
 
   1. foo  (a -> b)
-  2. lib. (847 terms, 125 types)
+  2. lib. (849 terms, 125 types)
 ```
 
 It won't create a conflicted name, though.
@@ -29,7 +29,7 @@ It won't create a conflicted name, though.
 > ls .
 
   1. foo  (a -> b)
-  2. lib. (847 terms, 125 types)
+  2. lib. (849 terms, 125 types)
 ```
 
 You can use `debug.alias.term.force` for that.
@@ -43,5 +43,5 @@ You can use `debug.alias.term.force` for that.
 
   1. foo  (a -> b)
   2. foo  (a -> b)
-  3. lib. (847 terms, 125 types)
+  3. lib. (849 terms, 125 types)
 ```
diff --git a/unison-src/transcripts/idempotent/alias-type.md b/unison-src/transcripts/idempotent/alias-type.md
@@ -12,7 +12,7 @@
 > ls .
 
   1. Foo  (builtin type)
-  2. lib. (847 terms, 125 types)
+  2. lib. (849 terms, 125 types)
 ```
 
 It won't create a conflicted name, though.
@@ -29,7 +29,7 @@ It won't create a conflicted name, though.
 > ls .
 
   1. Foo  (builtin type)
-  2. lib. (847 terms, 125 types)
+  2. lib. (849 terms, 125 types)
 ```
 
 You can use `debug.alias.type.force` for that.
@@ -43,5 +43,5 @@ You can use `debug.alias.type.force` for that.
 
   1. Foo  (builtin type)
   2. Foo  (builtin type)
-  3. lib. (847 terms, 125 types)
+  3. lib. (849 terms, 125 types)
 ```
diff --git a/unison-src/transcripts/idempotent/branch-squash.md b/unison-src/transcripts/idempotent/branch-squash.md
@@ -50,31 +50,31 @@ scratch/main> history
   Note: The most recent namespace hash is immediately below this
         message.
 
-  ⊙ 1. #rfu9t6autm
+  ⊙ 1. #bngq90liom
 
     + Adds / updates:
     
       x
 
-  ⊙ 2. #raor2k4vkl
+  ⊙ 2. #ibj9ucfel7
 
     + Adds / updates:
     
       x
 
-  ⊙ 3. #gphfrcekln
+  ⊙ 3. #a4a7kv27iq
 
     + Adds / updates:
     
       x
 
-  ⊙ 4. #arr94osl4n
+  ⊙ 4. #7908j4baqi
 
     + Adds / updates:
     
       x
 
-  □ 5. #5kp2m26mue (start of history)
+  □ 5. #llkks335gk (start of history)
 
 scratch/squashed> history
 
@@ -83,5 +83,5 @@ scratch/squashed> history
 
 
 
-  □ 1. #lqgns9j9e8 (start of history)
+  □ 1. #lg2ckd5shf (start of history)
 ```
diff --git a/unison-src/transcripts/idempotent/builtins-merge.md b/unison-src/transcripts/idempotent/builtins-merge.md
@@ -25,7 +25,7 @@ The `builtins.merge` command adds the known builtins to the specified subnamespa
   16. Either.             (2 terms)
   17. Exception           (type)
   18. Exception.          (1 term)
-  19. FFI.                (7 terms, 3 types)
+  19. FFI.                (9 terms, 3 types)
   20. Float               (builtin type)
   21. Float.              (38 terms)
   22. Handle.             (1 term)
diff --git a/unison-src/transcripts/idempotent/delete.md b/unison-src/transcripts/idempotent/delete.md
@@ -62,7 +62,7 @@ scratch/main> delete Foo
 
 scratch/main> ls
 
-  1. lib. (847 terms, 125 types)
+  1. lib. (849 terms, 125 types)
 ```
 
 ``` ucm :hide
@@ -173,7 +173,7 @@ scratch/main> delete.force Foo.Foo
 scratch/main> ls
 
   1. Foo  (type)
-  2. lib. (847 terms, 125 types)
+  2. lib. (849 terms, 125 types)
 ```
 
 ``` ucm :hide
@@ -351,7 +351,7 @@ scratch/main> delete foo
 
 scratch/main> ls
 
-  1. lib. (847 terms, 125 types)
+  1. lib. (849 terms, 125 types)
 ```
 
 ``` ucm :hide
diff --git a/unison-src/transcripts/idempotent/emptyCodebase.md b/unison-src/transcripts/idempotent/emptyCodebase.md
@@ -21,7 +21,7 @@ Technically, the definitions all exist, but they have no names. `builtins.merge`
 
 > ls lib
 
-  1. builtins. (674 terms, 107 types)
+  1. builtins. (676 terms, 107 types)
 ```
 
 And for a limited time, you can get even more builtin goodies:
@@ -33,8 +33,8 @@ And for a limited time, you can get even more builtin goodies:
 
 > ls lib
 
-  1. builtins.   (674 terms, 107 types)
-  2. builtinsio. (847 terms, 125 types)
+  1. builtins.   (676 terms, 107 types)
+  2. builtinsio. (849 terms, 125 types)
 ```
 
 More typically, you'd start out by pulling `base`.
diff --git a/unison-src/transcripts/idempotent/fix1532.md b/unison-src/transcripts/idempotent/fix1532.md
@@ -37,7 +37,7 @@ Let's see what we have created...
 > ls .
 
   1. bar.     (1 term)
-  2. builtin. (674 terms, 107 types)
+  2. builtin. (676 terms, 107 types)
   3. foo.     (2 terms)
 ```
 
diff --git a/unison-src/transcripts/idempotent/input-parsing.md b/unison-src/transcripts/idempotent/input-parsing.md
@@ -33,7 +33,7 @@ Quoted numbers are not expanded.
 ``` ucm
 scratch/main> ls
 
-  1. builtin. (847 terms, 125 types)
+  1. builtin. (849 terms, 125 types)
   2. main     ('{IO} Either Failure [Text])
 
 scratch/main> run main "1" "2-" "3-4"
diff --git a/unison-src/transcripts/idempotent/lib-install-local.md b/unison-src/transcripts/idempotent/lib-install-local.md
@@ -35,7 +35,7 @@ myproject/main> lib.install.local scratch
 
 myproject/main> ls lib
 
-  1. scratch_main. (676 terms, 108 types)
+  1. scratch_main. (678 terms, 108 types)
 
 -- Can also specify a custom destination location
 
@@ -45,8 +45,8 @@ myproject/main> lib.install.local scratch/main coolerscratch
 
 myproject/main> ls lib
 
-  1. coolerscratch. (676 terms, 108 types)
-  2. scratch_main.  (676 terms, 108 types)
+  1. coolerscratch. (678 terms, 108 types)
+  2. scratch_main.  (678 terms, 108 types)
 
 -- Installed libs should be squashed.
 
diff --git a/unison-src/transcripts/idempotent/mcp.md b/unison-src/transcripts/idempotent/mcp.md
@@ -248,7 +248,7 @@ RESPONSE:
       "result": {
           "content": [
               {
-                  "text": "{\"errorMessages\":[],\"outputMessages\":[\"1. builtins. (847 terms, 125 types)\",\"1. builtins. (847 terms, 125 types)\"],\"sourceCodeUpdates\":[],\"stderr\":\"\",\"stdout\":\"\"}",
+                  "text": "{\"errorMessages\":[],\"outputMessages\":[\"1. builtins. (849 terms, 125 types)\",\"1. builtins. (849 terms, 125 types)\"],\"sourceCodeUpdates\":[],\"stderr\":\"\",\"stdout\":\"\"}",
                   "type": "text"
               }
           ],
diff --git a/unison-src/transcripts/idempotent/move-all.md b/unison-src/transcripts/idempotent/move-all.md
@@ -75,7 +75,7 @@ scratch/main> ls .
   1. Bar      (Nat)
   2. Bar      (type)
   3. Bar.     (4 terms, 1 type)
-  4. builtin. (674 terms, 107 types)
+  4. builtin. (676 terms, 107 types)
 
 scratch/main> ls Bar
 
@@ -134,7 +134,7 @@ z/main> move bonk zonk
 
 z/main> ls .
 
-  1. builtin. (674 terms, 107 types)
+  1. builtin. (676 terms, 107 types)
   2. zonk     (Nat)
 ```
 
@@ -171,7 +171,7 @@ a/main> move bonk zonk
 
 a/main> ls .
 
-  1. builtin. (674 terms, 107 types)
+  1. builtin. (676 terms, 107 types)
   2. zonk.    (1 term)
 
 a/main> view zonk.zonk
diff --git a/unison-src/transcripts/idempotent/reflog.md b/unison-src/transcripts/idempotent/reflog.md
@@ -78,9 +78,9 @@ scratch/main> reflog
        history.
 
        Branch         Hash          Description
-  1.   scratch/main   #1guns1ft88   update
-  2.   scratch/main   #fpb919hl1l   update
-  3.   scratch/main   #t8j93o95sv   builtins.merge scratch/main:lib.builtins
+  1.   scratch/main   #hapabf94le   update
+  2.   scratch/main   #edgllsg4v0   update
+  3.   scratch/main   #pe9ef2g5qc   builtins.merge scratch/main:lib.builtins
   4.   scratch/main   #sg60bvjo91   Project Created
 ```
 
@@ -97,11 +97,11 @@ scratch/main> project.reflog
        history.
 
        Branch          Hash          Description
-  1.   scratch/other   #v07jt7iem9   alias.term y scratch/other:z
-  2.   scratch/other   #1guns1ft88   Branch created from scratch/main
-  3.   scratch/main    #1guns1ft88   update
-  4.   scratch/main    #fpb919hl1l   update
-  5.   scratch/main    #t8j93o95sv   builtins.merge scratch/main:lib.builtins
+  1.   scratch/other   #ktg9lf8l7m   alias.term y scratch/other:z
+  2.   scratch/other   #hapabf94le   Branch created from scratch/main
+  3.   scratch/main    #hapabf94le   update
+  4.   scratch/main    #edgllsg4v0   update
+  5.   scratch/main    #pe9ef2g5qc   builtins.merge scratch/main:lib.builtins
   6.   scratch/main    #sg60bvjo91   Project Created
 ```
 
@@ -118,13 +118,13 @@ scratch/main> reflog.global
        history.
 
        Branch            Hash          Description
-  1.   newproject/main   #vouris3c3c   alias.term lib.builtins.Nat newproject/main:MyNat
-  2.   newproject/main   #t8j93o95sv   builtins.merge newproject/main:lib.builtins
+  1.   newproject/main   #4tuuvpsink   alias.term lib.builtins.Nat newproject/main:MyNat
+  2.   newproject/main   #pe9ef2g5qc   builtins.merge newproject/main:lib.builtins
   3.   newproject/main   #sg60bvjo91   Branch Created
-  4.   scratch/other     #v07jt7iem9   alias.term y scratch/other:z
-  5.   scratch/other     #1guns1ft88   Branch created from scratch/main
-  6.   scratch/main      #1guns1ft88   update
-  7.   scratch/main      #fpb919hl1l   update
-  8.   scratch/main      #t8j93o95sv   builtins.merge scratch/main:lib.builtins
+  4.   scratch/other     #ktg9lf8l7m   alias.term y scratch/other:z
+  5.   scratch/other     #hapabf94le   Branch created from scratch/main
+  6.   scratch/main      #hapabf94le   update
+  7.   scratch/main      #edgllsg4v0   update
+  8.   scratch/main      #pe9ef2g5qc   builtins.merge scratch/main:lib.builtins
   9.   scratch/main      #sg60bvjo91   Project Created
 ```
diff --git a/unison-src/transcripts/idempotent/reset.md b/unison-src/transcripts/idempotent/reset.md
@@ -37,19 +37,19 @@ scratch/main> history
   Note: The most recent namespace hash is immediately below this
         message.
 
-  ⊙ 1. #6i4tv1r6ke
+  ⊙ 1. #ubehfaeqgk
 
     + Adds / updates:
     
       def
 
-  ⊙ 2. #jr1csmh942
+  ⊙ 2. #8nn6siuqtk
 
     + Adds / updates:
     
       def
 
-  □ 3. #5kp2m26mue (start of history)
+  □ 3. #llkks335gk (start of history)
 
 scratch/main> reset 2
 
@@ -65,13 +65,13 @@ scratch/main> history
   Note: The most recent namespace hash is immediately below this
         message.
 
-  ⊙ 1. #jr1csmh942
+  ⊙ 1. #8nn6siuqtk
 
     + Adds / updates:
     
       def
 
-  □ 2. #5kp2m26mue (start of history)
+  □ 2. #llkks335gk (start of history)
 ```
 
 Can reset to a value from reflog by number.
@@ -87,10 +87,10 @@ scratch/main> reflog
        history.
 
        Branch         Hash          Description
-  1.   scratch/main   #jr1csmh942   reset jr1csmh942pl644v8bciedkse636bbcv9kbjdoiq8h9chuvgt1h1qp...
-  2.   scratch/main   #6i4tv1r6ke   update
-  3.   scratch/main   #jr1csmh942   update
-  4.   scratch/main   #5kp2m26mue   builtins.merge
+  1.   scratch/main   #8nn6siuqtk   reset 8nn6siuqtkolepomc5cegvifao8civkjsd99klk6fn1vvppb9e3a9j...
+  2.   scratch/main   #ubehfaeqgk   update
+  3.   scratch/main   #8nn6siuqtk   update
+  4.   scratch/main   #llkks335gk   builtins.merge
   5.   scratch/main   #sg60bvjo91   Project Created
 
 -- Reset the current branch to the first history element
@@ -109,19 +109,19 @@ scratch/main> history
   Note: The most recent namespace hash is immediately below this
         message.
 
-  ⊙ 1. #6i4tv1r6ke
+  ⊙ 1. #ubehfaeqgk
 
     + Adds / updates:
     
       def
 
-  ⊙ 2. #jr1csmh942
+  ⊙ 2. #8nn6siuqtk
 
     + Adds / updates:
     
       def
 
-  □ 3. #5kp2m26mue (start of history)
+  □ 3. #llkks335gk (start of history)
 ```
 
 # reset branch
diff --git a/unison-src/transcripts/idempotent/undo.md b/unison-src/transcripts/idempotent/undo.md
diff --git a/unison-src/transcripts/idempotent/update-type-delete-record-field.md b/unison-src/transcripts/idempotent/update-type-delete-record-field.md
diff --git a/unison-src/transcripts/idempotent/upgrade.md b/unison-src/transcripts/idempotent/upgrade.md
