Rename to debug.term|type.abt

unisonweb · Feb 1, 2024 · db15634 · db15634
1 parent 6706b2e
commit db15634
Show file tree

Hide file tree

Showing 3 changed files with 17 additions and 17 deletions.
diff --git a/unison-cli/src/Unison/CommandLine/InputPatterns.hs b/unison-cli/src/Unison/CommandLine/InputPatterns.hs
@@ -2278,7 +2278,7 @@ debugDumpNamespaceSimple =
 debugTerm :: InputPattern
 debugTerm =
   InputPattern
-    "debug.term"
+    "debug.term.abt"
     []
     I.Hidden
     [("term", Required, exactDefinitionTermQueryArg)]
@@ -2291,7 +2291,7 @@ debugTerm =
 debugTermVerbose :: InputPattern
 debugTermVerbose =
   InputPattern
-    "debug.term.verbose"
+    "debug.term.abt.verbose"
     []
     I.Hidden
     [("term", Required, exactDefinitionTermQueryArg)]
@@ -2304,7 +2304,7 @@ debugTermVerbose =
 debugType :: InputPattern
 debugType =
   InputPattern
-    "debug.type"
+    "debug.type.abt"
     []
     I.Hidden
     [("type", Required, exactDefinitionTypeQueryArg)]

diff --git a/unison-src/transcripts/debug-definitions.md b/unison-src/transcripts/debug-definitions.md
@@ -18,11 +18,11 @@ ability Ask a where
 
 ```ucm
 .> add
-.> debug.term Nat.+
-.> debug.term y
-.> debug.term Some
-.> debug.term ask
-.> debug.type Nat
-.> debug.type Optional
-.> debug.type Ask
+.> debug.term.abt Nat.+
+.> debug.term.abt y
+.> debug.term.abt Some
+.> debug.term.abt ask
+.> debug.type.abt Nat
+.> debug.type.abt Optional
+.> debug.type.abt Ask
 ```
diff --git a/unison-src/transcripts/debug-definitions.output.md b/unison-src/transcripts/debug-definitions.output.md
@@ -23,15 +23,15 @@ ability Ask a where
     x : Nat
     y : Nat
 
-.> debug.term Nat.+
+.> debug.term.abt Nat.+
 
   Builtin term: ##Nat.+
 
-.> debug.term y
+.> debug.term.abt y
 
   (let Ref(ReferenceBuiltin "Nat.+") Ref(ReferenceDerived (Id "qpo3o788girkkbb43uf6ggqberfduhtnqbt7096eojlrp27jieco09mdasb7b0b06ej9hj60a00nnbbdo8he0b4e0m7vtopifiuhdig" 0)) 2 in (User "z". Ref(ReferenceBuiltin "Nat.+") (Var User "z") 10)):ReferenceBuiltin "Nat"
 
-.> debug.term Some
+.> debug.term.abt Some
 
   Constructor #0 of the following type:
   DataDeclaration
@@ -61,7 +61,7 @@ ability Ask a where
           ]
       }
 
-.> debug.term ask
+.> debug.term.abt ask
 
   Constructor #0 of the following type:
   EffectDeclaration
@@ -90,11 +90,11 @@ ability Ask a where
           }
       }
 
-.> debug.type Nat
+.> debug.type.abt Nat
 
   Builtin type: ##Nat
 
-.> debug.type Optional
+.> debug.type.abt Optional
 
   DataDeclaration
       { modifier = Structural
@@ -123,7 +123,7 @@ ability Ask a where
           ]
       }
 
-.> debug.type Ask
+.> debug.type.abt Ask
 
   EffectDeclaration
       { toDataDecl = DataDeclaration