Skip default methods like ($dmliftEq) and ($dmdisplayExceptionAnnotation)

Bodigrim · Bodigrim · commit d49bd898545e · 2025-12-09T22:24:40.000Z
diff --git a/src/Input/Haddock.hs b/src/Input/Haddock.hs
@@ -43,6 +43,8 @@ parserC warning = f [] ""
             x <- await
             whenJust x $ \(i,s) -> case () of
                 _ | s == "}" -> f [] ""
+                  -- Skip default methods like ($dmliftEq) and ($dmdisplayExceptionAnnotation)
+                  | Just{} <- bstrStripPrefix "($dm" s -> f [] ""
                   | Just s <- bstrStripPrefix "-- | " s -> f [ignoreMath s] url
                   | Just s <- bstrStripPrefix "--" s -> f (if null com then [] else bstrTrimStart s : com) url
                   | Just s <- bstrStripPrefix "    --" s -> f (if null com then [] else bstrTrimStart s : com) url
