From 31cc891046bfd6eef56136eb3aff88915fe3208c Mon Sep 17 00:00:00 2001
From: Steve Dunham <dunhamsteve@gmail.com>
Date: Mon, 5 Jan 2026 21:25:55 -0800
Subject: [PATCH] names from types on add missing cases

---
 src/Lib/Elab.newt | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/Lib/Elab.newt b/src/Lib/Elab.newt
index 661c28e..d7a0e83 100644
--- a/src/Lib/Elab.newt
+++ b/src/Lib/Elab.newt
@@ -1190,7 +1190,7 @@ buildDefault ctx prob fc scnm missing = do
         _ => pure qn.baseName
       where
         go : String → Tm → String
-        go acc (Pi _ _ Explicit _ _ t) = go "\{acc} _" t
+        go acc (Pi _ nm Explicit _ _ t) = go "\{acc} \{nm}" t
         go acc (Pi _ _ _ _ _ t) = go acc t
         go acc _ = acc