Skip to content

Fix: dont suggest "Use :" when OverloadedLists is enabled (fixes #1602)#1686

Open
mgajda wants to merge 1 commit into
ndmitchell:masterfrom
mgajda:fix/use-cons-overloaded-lists
Open

Fix: dont suggest "Use :" when OverloadedLists is enabled (fixes #1602)#1686
mgajda wants to merge 1 commit into
ndmitchell:masterfrom
mgajda:fix/use-cons-overloaded-lists

Commits

Commits on Apr 19, 2026