Merge pull request #127 from unisoncomputing/cp/bump-ucm-0.5.44

bump ucm to 0.5.44

Author: ChrisPenner

.github/workflows/ci.yaml

@@ -236,7 +236,7 @@ jobs:
 
           # Install ucm
           mkdir ucm
-          curl -L https://github.com/unisonweb/unison/releases/download/release%2F0.5.42/ucm-linux-x64.tar.gz | tar -xz -C ucm
+          curl -L https://github.com/unisonweb/unison/releases/download/release%2F0.5.44/ucm-linux-x64.tar.gz | tar -xz -C ucm
           export PATH=$PWD/ucm:$PATH
 
           # Clean up old postgres data if it exists.

transcripts/share-apis/code-browse/codebase-namespace-by-name-root.json

@@ -1,7 +1,7 @@
 {
   "body": {
     "fqn": "",
-    "hash": "#aqukvmup3jihsgccm8i8oopnqv2dvpdgn8s8shvt26jiat649qd7iltadablmeg41ugstvshem2d111h2ruc2shpug4svgtl0nllde8",
+    "hash": "#j8l1n872inbcu18ebakvvuod16plpkb28od7uibqsm0qe2qjp2monvogt1injjkp09rv0s1deqnelgbcoej9a6ci7u3i6bm8uvt2ke0",
     "readme": null
   },
   "status": [

transcripts/share-apis/contribution-diffs/contribution-diff.json

@@ -2675,9 +2675,9 @@
       "tag": "ok"
     },
     "newRef": "diff-end",
-    "newRefHash": "#3t6ngta5o15dbhr3c123e8csmtnglj8q3mtci97741bb3co70cilt2uu3lrqe91mm5kurates0tgbofcf84jker2gk3710q6gni42lo",
+    "newRefHash": "#j34aadhp37a5fhfbph4hc7i0pp7nlr48otdbapdue4kgmtt3e63evn2p46um4il8q45ltqu4msms93a34ptkhpjlctto2il89sd47u8",
     "oldRef": "diff-start",
-    "oldRefHash": "#ut1gq51oh5ojgjm4shiubo47dcmgtk0qp02agjlb287e439milopova5b2c4oaufoinctehik3od9uf9tdhpoh2hrhou4rv60r6eg08",
+    "oldRefHash": "#slt6ihj3f9r5eavshflld6q5gkjq2fc42f5vpco02u2mp7els39k0ai630eqncbpihosroutg8km6cf4t922h445vki1ofe4hsl24ig",
     "project": "@transcripts/contribution-diff",
     "tag": "done"
   },

transcripts/share-apis/contribution-diffs/namespace-diff.json

@@ -2675,9 +2675,9 @@
       "tag": "ok"
     },
     "newRef": "diff-end",
-    "newRefHash": "#3t6ngta5o15dbhr3c123e8csmtnglj8q3mtci97741bb3co70cilt2uu3lrqe91mm5kurates0tgbofcf84jker2gk3710q6gni42lo",
+    "newRefHash": "#j34aadhp37a5fhfbph4hc7i0pp7nlr48otdbapdue4kgmtt3e63evn2p46um4il8q45ltqu4msms93a34ptkhpjlctto2il89sd47u8",
     "oldRef": "diff-start",
-    "oldRefHash": "#ut1gq51oh5ojgjm4shiubo47dcmgtk0qp02agjlb287e439milopova5b2c4oaufoinctehik3od9uf9tdhpoh2hrhou4rv60r6eg08",
+    "oldRefHash": "#slt6ihj3f9r5eavshflld6q5gkjq2fc42f5vpco02u2mp7els39k0ai630eqncbpihosroutg8km6cf4t922h445vki1ofe4hsl24ig",
     "project": "@transcripts/contribution-diff",
     "tag": "done"
   },

transcripts/sync-apis/pull-without-history.output.md

@@ -5,12 +5,9 @@ x = 1
 ``` ucm :added-by-ucm
   Loading changes detected in scratch.u.
 
-  I found and typechecked these definitions in scratch.u. If you
-  do an `update`, here's how your codebase would change:
+  + x : ##Nat
 
-    ⍟ These new definitions are ok to `update`:
-    
-      x : ##Nat
+  Run `update` to apply these changes to your codebase.
 ```
 
 Create a project, add some history, then push it.

transcripts/sync-apis/sync.output.md

@@ -25,17 +25,15 @@ ys = [!a, !b] :+ 3
 ``` ucm :added-by-ucm
   Loading changes detected in scratch.u.
 
-  I found and typechecked these definitions in scratch.u. If you
-  do an `update`, here's how your codebase would change:
-
-    ⍟ These new definitions are ok to `update`:
-    
-      type A
-      type B
-      a  : 'Nat
-      b  : 'Nat
-      xs : ['{g} Nat]
-      ys : [Nat]
+  + type A
+  + type B
+
+  + a  : 'Nat
+  + b  : 'Nat
+  + xs : ['{g} Nat]
+  + ys : [Nat]
+
+  Run `update` to apply these changes to your codebase.
 ```
 
 ``` ucm :hide
@@ -47,7 +45,7 @@ Push and pull it back.
 ``` ucm
 proj/main> push @transcripts/proj/main
 
-  Uploaded 372 entities.
+  Uploaded 443 entities.
 
   I just created @transcripts/proj on http://localhost:5424
 
@@ -73,7 +71,7 @@ proj/pulled> ls .
   4. B/       (2 terms)
   5. a        ('Nat)
   6. b        ('Nat)
-  7. builtin/ (483 terms, 78 types)
+  7. builtin/ (582 terms, 100 types)
   8. xs       (['{g} Nat])
   9. ys       ([Nat])
 ```