From 6e7e123847d4d73b126be338a34fa591e6b401d1 Mon Sep 17 00:00:00 2001
From: Steve Dunham <dunhamsteve@gmail.com>
Date: Tue, 24 Feb 2026 21:55:51 -0800
Subject: [PATCH] intro now adds parens when needed

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

diff --git a/src/Commands.newt b/src/Commands.newt
index 40ff298..3eda85d 100644
--- a/src/Commands.newt
+++ b/src/Commands.newt
@@ -241,7 +241,7 @@ introActions (Just $ Unsolved fc qn ctx vty User constraints) =
 
     makeEdit : (QName × Int × Tm) → CodeAction
     makeEdit con@(QN _ nm, _, _) =
-      let str = unwords $ resugarOper $ introDCon con
+      let str = addParens True $ resugarOper $ introDCon con
       in Intro str $ MkEdit fc $ str
 
 introActions _ = pure Nil