refresh transcripts

unison-src/transcripts/fix2354.output.md

@@ -15,6 +15,13 @@ x = 'f
   where I expected to find:  (a -> 𝕣1) -> 𝕣
   
       1 | f : (forall a . a -> a) -> Nat
+      2 | f id = id 0
+      3 | 
+      4 | x = 'f
+  
+    from right here:
+  
+      1 | f : (forall a . a -> a) -> Nat
   
 
 ```

unison-src/transcripts/fix614.output.md

@@ -37,6 +37,7 @@ ex2 = do
   where I expected to find:  Unit
   
       2 |   Stream.emit
+      3 |   42
   
   Hint: Actions within a block must have type Unit.
         Use _ = <expr> to ignore a result.
@@ -97,6 +98,11 @@ ex4 =
   where I expected to find:  Unit
   
       2 |   [1,2,3] -- no good
+      3 |   ()
+  
+    from right here:
+  
+      2 |   [1,2,3] -- no good
   
   Hint: Actions within a block must have type Unit.
         Use _ = <expr> to ignore a result.

unison-src/transcripts/fix693.output.md

@@ -46,6 +46,12 @@ h0 req = match req with
   where I expected to find:  Optional a
   
       1 | h0 : Request {X t} b -> Optional b
+      2 | h0 req = match req with
+      3 |   { X.x _ c -> _ } -> handle c with h0
+  
+    from right here:
+  
+      1 | h0 : Request {X t} b -> Optional b
   
 
 ```