github/semantic
1
1
Fork 0
mirror of https://github.com/github/semantic.git synced 2024-12-01 09:15:01 +03:00
Code Issues Projects Releases Wiki Activity

🔥 a redundant Functor constraint.

Browse Source
This commit is contained in:
Rob Rix 2017-09-25 15:56:31 -04:00
parent c7685757d1
commit 093a02dc88
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
src/Interpreter.hs
View File

@ -109,7 +109,7 @@ comparableByConstructor (In _ u1) (In _ u2)
-- | Equivalency relation for terms. Equivalence is determined by functions and
-- methods with equal identifiers/names and recursively by equivalent terms with
-- identical shapes.
equivalentTerms :: (Declaration.Method :< fs, Declaration.Function :< fs, Syntax.Context :< fs, Apply Functor fs, Apply Foldable fs, Apply GAlign fs)
equivalentTerms :: (Declaration.Method :< fs, Declaration.Function :< fs, Syntax.Context :< fs, Apply Foldable fs, Apply GAlign fs)
=> Term (Union fs) ann1
-> Term (Union fs) ann2
-> Bool