compatibility with idris PR 3480 (#236)

idris-community · Feb 9, 2025 · bc8e5a7 · bc8e5a7
1 parent df322fa
commit bc8e5a7
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/Idris2 b/Idris2
diff --git a/src/Language/LSP/SignatureHelp.idr b/src/Language/LSP/SignatureHelp.idr
@@ -67,7 +67,7 @@ renderDataTypeInfo n d@(DCon tag arity newtypeArg) = do
 renderDataTypeInfo n d@(TCon tag arity parampos detpos flags mutwith datacons detagabbleBy) = do
   -- Render the data structure information for the type.
   context <- gets Ctxt gamma
-  constructors <- for datacons $ \dn => case !(lookupDefName dn context) of
+  constructors <- for (fromMaybe [] datacons) $ \dn => case !(lookupDefName dn context) of
     [(_, _, DCon _ _ _)] => do
       fullName <- getFullName dn
       pure $ Just " | \{show fullName} ..."