From 6706b2e8189177ae7ed8d6194aea02cc605e60ad Mon Sep 17 00:00:00 2001
From: Chris Penner <christopher.penner@gmail.com>
Date: Tue, 30 Jan 2024 12:53:27 -0800
Subject: [PATCH] Remove verbose transcripts since anythingToString seems to be
 system dependent.

---
 unison-src/transcripts/debug-definitions.md   |   1 -
 .../transcripts/debug-definitions.output.md   | 118 ------------------
 2 files changed, 119 deletions(-)

diff --git a/unison-src/transcripts/debug-definitions.md b/unison-src/transcripts/debug-definitions.md
index 086c0cc94a..1a804ee346 100644
--- a/unison-src/transcripts/debug-definitions.md
+++ b/unison-src/transcripts/debug-definitions.md
@@ -20,7 +20,6 @@ ability Ask a where
 .> add
 .> debug.term Nat.+
 .> debug.term y
-.> debug.term.verbose y
 .> debug.term Some
 .> debug.term ask
 .> debug.type Nat
diff --git a/unison-src/transcripts/debug-definitions.output.md b/unison-src/transcripts/debug-definitions.output.md
index a9ca234dff..c117f916a0 100644
--- a/unison-src/transcripts/debug-definitions.output.md
+++ b/unison-src/transcripts/debug-definitions.output.md
@@ -31,124 +31,6 @@ ability Ask a where
 
   (let Ref(ReferenceBuiltin "Nat.+") Ref(ReferenceDerived (Id "qpo3o788girkkbb43uf6ggqberfduhtnqbt7096eojlrp27jieco09mdasb7b0b06ej9hj60a00nnbbdo8he0b4e0m7vtopifiuhdig" 0)) 2 in (User "z". Ref(ReferenceBuiltin "Nat.+") (Var User "z") 10)):ReferenceBuiltin "Nat"
 
-.> debug.term.verbose y
-
-  Term
-      ( fromList [] ) External
-      ( Tm
-          ( Ann
-              ( Term
-                  ( fromList [] ) External
-                  ( Tm
-                      ( Let False
-                          ( Term
-                              ( fromList [] ) External
-                              ( Tm
-                                  ( App
-                                      ( Term
-                                          ( fromList [] ) External
-                                          ( Tm
-                                              ( App
-                                                  ( Term
-                                                      ( fromList [] ) External
-                                                      ( Tm
-                                                          ( Ref
-                                                              ( ReferenceBuiltin "Nat.+" )
-                                                          )
-                                                      )
-                                                  )
-                                                  ( Term
-                                                      ( fromList [] ) External
-                                                      ( Tm
-                                                          ( Ref
-                                                              ( ReferenceDerived
-                                                                  ( Id "Öp<\x1d\x8\x84·J-d\x1f\x9ehCKvÞßG·Òúp$ÎÄë¼\x88ó\x93\x99\x80&ÍW\x16u\x81`3¦\x98ÌÀP\x1{\xadmÂ"à,\x8e\x5\x8fþã2|½\x16Ê" 0 )
-                                                              )
-                                                          )
-                                                      )
-                                                  )
-                                              )
-                                          )
-                                      )
-                                      ( Term
-                                          ( fromList [] ) External
-                                          ( Tm
-                                              ( Nat 2 )
-                                          )
-                                      )
-                                  )
-                              )
-                          )
-                          ( Term
-                              ( fromList [] ) External
-                              ( Abs
-                                  ( Symbol
-                                      ( User "z" )
-                                  )
-                                  ( Term
-                                      ( fromList
-                                          [ Symbol
-                                              ( User "z" )
-                                          ]
-                                      ) External
-                                      ( Tm
-                                          ( App
-                                              ( Term
-                                                  ( fromList
-                                                      [ Symbol
-                                                          ( User "z" )
-                                                      ]
-                                                  ) External
-                                                  ( Tm
-                                                      ( App
-                                                          ( Term
-                                                              ( fromList [] ) External
-                                                              ( Tm
-                                                                  ( Ref
-                                                                      ( ReferenceBuiltin "Nat.+" )
-                                                                  )
-                                                              )
-                                                          )
-                                                          ( Term
-                                                              ( fromList
-                                                                  [ Symbol
-                                                                      ( User "z" )
-                                                                  ]
-                                                              ) External
-                                                              ( Var
-                                                                  ( Symbol
-                                                                      ( User "z" )
-                                                                  )
-                                                              )
-                                                          )
-                                                      )
-                                                  )
-                                              )
-                                              ( Term
-                                                  ( fromList [] ) External
-                                                  ( Tm
-                                                      ( Nat 10 )
-                                                  )
-                                              )
-                                          )
-                                      )
-                                  )
-                              )
-                          )
-                      )
-                  )
-              )
-              ( Term
-                  ( fromList [] ) External
-                  ( Tm
-                      ( Ref
-                          ( ReferenceBuiltin "Nat" )
-                      )
-                  )
-              )
-          )
-      )
-
 .> debug.term Some
 
   Constructor #0 of the following type: