remove duplicates

anoma · Dec 4, 2024 · c536919 · c536919
1 parent b251d91
commit c536919
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 1 deletion.
diff --git a/src/Juvix/Compiler/Concrete/Data/Highlight.hs b/src/Juvix/Compiler/Concrete/Data/Highlight.hs
@@ -44,7 +44,7 @@ buildProperties HighlightInput {..} =
           <> mapMaybe goFaceName _highlightNames
           <> map goFaceError _highlightErrors,
       _propertiesGoto = map goGotoProperty _highlightNames,
-      _propertiesTopDef = mapMaybe goDefProperty _highlightNames,
+      _propertiesTopDef = nubHashable (mapMaybe goDefProperty _highlightNames),
       _propertiesInfo = mapMaybe (goDocProperty _highlightDocTable _highlightTypes) _highlightNames
     }
 

diff --git a/src/Juvix/Emacs/Properties.hs b/src/Juvix/Emacs/Properties.hs
@@ -92,6 +92,9 @@ data PropertyGoto = PropertyGoto
 newtype PropertyTopDef = PropertyTopDef
   { _topDef :: Text
   }
+  deriving stock (Eq, Generic)
+
+instance Hashable PropertyTopDef
 
 newtype PropertyFace = PropertyFace
   { _faceFace :: Face