Skip to content

Commit

Permalink
Remove verbose transcripts since anythingToString seems to be system
Browse files Browse the repository at this point in the history 
dependent.
  • Loading branch information
@ChrisPenner
ChrisPenner committed Jan 30, 2024
1 parent 080a34a commit 6706b2e
Show file tree
Hide file tree
Showing 2 changed files with 0 additions and 119 deletions.
1 change: 0 additions & 1 deletion unison-src/transcripts/debug-definitions.md
View file
Original file line number Diff line number Diff line change
Expand Up @@ -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
Expand Down
118 changes: 0 additions & 118 deletions unison-src/transcripts/debug-definitions.output.md
View file
Original file line number Diff line number Diff line change
Expand Up @@ -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:
Expand Down

0 comments on commit 6706b2e

Please sign in to comment.