github/semantic
1
1
Fork 0
mirror of https://github.com/github/semantic.git synced 2025-01-03 13:02:37 +03:00
Code Issues Projects Releases Wiki Activity

🔥 redundant constraints.

Browse Source
This commit is contained in:
Rob Rix 2019-09-18 12:29:56 -04:00
parent 662a324061
commit 6ca0fd8e9d
No known key found for this signature in database
GPG Key ID: F188A01508EA1CF7
1 changed files with 2 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
src/Tags/Taggable.hs
View File

@ -76,14 +76,13 @@ emitIden span docsLiteralRange name = yield (Iden (formatName name) span docsLit
class (Show1 constr, Traversable constr) => Taggable constr where
docsLiteral ::
( Functor syntax
, Foldable syntax
( Foldable syntax
, HasTextElement syntax
)
=> Language -> constr (Term syntax Location) -> Maybe Range
docsLiteral _ _ = Nothing
snippet :: (Foldable syntax) => Location -> constr (Term syntax Location) -> Maybe Range
snippet :: Foldable syntax => Location -> constr (Term syntax Location) -> Maybe Range
snippet _ _ = Nothing
symbolName :: Declarations1 syntax => constr (Term syntax Location) -> Maybe Name
@ -109,7 +108,6 @@ tagging b = foldSubterms (descend (blobLanguage b))
descend ::
( Taggable (TermF syntax Location)
, ConstructorName (TermF syntax Location)
, Functor syntax
, Foldable syntax
, HasTextElement syntax
, Declarations1 syntax