Merge pull request #5784 from unisonweb/pchiusano-patch-2

Change slurp output to just say "New definitions:"

Author: mitchellwrosen

unison-cli/src/Unison/Codebase/Editor/SlurpResult.hs

@@ -207,7 +207,7 @@ pretty isPast ppe sr =
       okToAdd =
         ok
           (P.green "I've added these definitions:")
-          (P.green "These new definitions are ok to `update`:")
+          (P.green "New definitions:")
       notOks _past _present sr | isOk sr = mempty
       notOks past present sr =
         let header =

unison-src/transcripts-manual/docs.to-html.output.md

@@ -21,7 +21,7 @@ some.outside = 3
   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`:
+    ⍟ New definitions:
     
       some.ns.direct                   : Nat
       some.ns.direct.doc               : Doc2

unison-src/transcripts-round-trip/main.output.md

@@ -24,7 +24,7 @@ x = ()
   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`:
+    ⍟ New definitions:
     
       x : ()
 ```

unison-src/transcripts-using-base/_base.output.md

@@ -57,7 +57,7 @@ testAutoClean _ =
   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`:
+    ⍟ New definitions:
     
       testAutoClean : '{IO} [Result]
 ```

unison-src/transcripts-using-base/binary-encoding-nats.output.md

@@ -59,7 +59,7 @@ testABunchOfNats _ =
   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`:
+    ⍟ New definitions:
     
       type EncDec
       BE16             : EncDec

unison-src/transcripts-using-base/codeops.output.md

@@ -157,7 +157,7 @@ swapped name link =
   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`:
+    ⍟ New definitions:
     
       structural type Three a b c
       Code.get       : Link.Term ->{IO, Throw Text} Code
@@ -286,7 +286,7 @@ badLoad _ =
   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`:
+    ⍟ New definitions:
     
       structural ability Zap
       badLoad : '{IO} [Result]
@@ -388,7 +388,7 @@ codeTests =
   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`:
+    ⍟ New definitions:
     
       codeTests : '{IO} [Result]
 ```
@@ -473,7 +473,7 @@ vtests _ =
   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`:
+    ⍟ New definitions:
     
       validateTest : Link.Term ->{IO} Result
       vtests       : '{IO} [Result]

unison-src/transcripts-using-base/doc.output.md

@@ -34,7 +34,7 @@ unique type time.DayOfWeek = Sun | Mon | Tue | Wed | Thu | Fri | Sat
   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`:
+    ⍟ New definitions:
     
       type time.DayOfWeek
       ImportantConstant     : Nat
@@ -80,7 +80,7 @@ scratch/main> load ./unison-src/transcripts-using-base/doc.md.files/syntax.u
   ./unison-src/transcripts-using-base/doc.md.files/syntax.u. If
   you do an `update`, here's how your codebase would change:
 
-    ⍟ These new definitions are ok to `update`:
+    ⍟ New definitions:
     
       basicFormatting     : Doc2
       doc.guide           : Doc2

unison-src/transcripts-using-base/failure-tests.output.md

@@ -24,7 +24,7 @@ test2 = do
   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`:
+    ⍟ New definitions:
     
       test1 : '{IO, Exception} [Result]
       test2 : '{IO, Exception} [Result]

unison-src/transcripts-using-base/fix-2805.output.md

@@ -11,7 +11,7 @@ main _ = "Hello " ++ Optional.getOrBug "definitely passed an arg" (List.head !ge
   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`:
+    ⍟ New definitions:
     
       main : '{IO, Exception} Text
 ```

unison-src/transcripts-using-base/fix2158-1.output.md

@@ -17,7 +17,7 @@ Async.parMap f as =
   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`:
+    ⍟ New definitions:
     
       structural ability Async t g
       Async.parMap : (a ->{g, Async t g} b)