Update transcripts

unisonweb · Feb 12, 2025 · 1146eea · 1146eea
1 parent 31b15f7
commit 1146eea
Show file tree

Hide file tree

Showing 6 changed files with 17 additions and 11 deletions.
diff --git a/unison-src/transcripts-manual/rewrites.output.md b/unison-src/transcripts-manual/rewrites.output.md
@@ -184,9 +184,11 @@ scratch/main> rewrite woot1to2
 -- | Rewrote using: 
 -- | Modified definition(s): wootEx
 
-ability Woot1 where woot1 : '{Woot1} Nat
+ability Woot1 where
+  woot1 : '{Woot1} Nat
 
-ability Woot2 where woot2 : '{Woot2} Nat
+ability Woot2 where
+  woot2 : '{Woot2} Nat
 
 woot1to2 x =
   @rewrite

diff --git a/unison-src/transcripts-round-trip/main.output.md b/unison-src/transcripts-round-trip/main.output.md
@@ -48,14 +48,17 @@ scratch/a1> edit.new 1-1000
 ```
 
 ````` unison :added-by-ucm scratch.u
-structural ability Abort where abort : {Abort} a
+structural ability Abort where
+  abort : {Abort} a
 
-structural ability Ask a where ask : {Ask a} a
+structural ability Ask a where
+  ask : {Ask a} a
 
 structural type Fix_2337
   = Fix_2337 Boolean Boolean
 
-structural ability Fix_2392 where zonk : {Fix_2392} Nat
+structural ability Fix_2392 where
+  zonk : {Fix_2392} Nat
 
 structural type Fix_2392a x y
   = Oog Nat Nat (Nat, Nat)

diff --git a/unison-src/transcripts/idempotent/doc1.md b/unison-src/transcripts/idempotent/doc1.md
@@ -15,7 +15,7 @@ scratch/main> view lib.builtins.Doc
     | Source Link
     | Signature Term
     | Evaluate Term
-    | Join [lib.builtins.Doc]
+    | Join [Doc]
 ```
 
 You can create these `Doc` values with ordinary code, or you can use the special syntax. A value of structural type `Doc` can be created via syntax like:

diff --git a/unison-src/transcripts/idempotent/formatter.md b/unison-src/transcripts/idempotent/formatter.md
@@ -138,7 +138,8 @@ ability Thing where
 
 
 Ask.doc = {{ Ability with single constructor }}
-structural ability Ask a where ask : {Ask a} a
+structural ability Ask a where
+  ask : {Ask a} a
 
 -- Regression test for: https://github.com/unisonweb/unison/issues/4666
 provide : a -> '{Ask a} r -> r

diff --git a/unison-src/transcripts/idempotent/top-level-exceptions.md b/unison-src/transcripts/idempotent/top-level-exceptions.md
@@ -10,10 +10,9 @@ FYI, here are the `Exception` and `Failure` types:
 scratch/main> view Exception Failure
 
   structural ability builtin.Exception where
-    raise : Failure ->{builtin.Exception} x
+    raise : Failure ->{Exception} x
 
-  type builtin.io2.Failure
-    = Failure Type Text Any
+  type builtin.io2.Failure = Failure Type Text Any
 ```
 
 Here's a sample program just to verify that the typechecker allows `run` to throw exceptions:

diff --git a/unison-src/transcripts/merge.output.md b/unison-src/transcripts/merge.output.md
@@ -1445,7 +1445,8 @@ my.cool.thing : Nat
 my.cool.thing = 17
 
 -- scratch/bob
-ability my.cool where thing : Nat ->{cool} Nat
+ability my.cool where
+  thing : Nat ->{cool} Nat
 
 ```