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

Opt Context nodes into comparisons.

Browse Source
This commit is contained in:
Rob Rix 2017-09-25 11:28:19 -04:00
parent c3e7c62fcf
commit 7786e35bfe
1 changed files with 5 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
src/Interpreter.hs
View File

@ -99,8 +99,11 @@ comparableByCategory :: (HasField fields1 Category, HasField fields2 Category) =
comparableByCategory (In a _) (In b _) = category a == category b
-- | Test whether two terms are comparable by their constructor.
comparableByConstructor :: GAlign syntax => ComparabilityRelation syntax ann1 ann2
comparableByConstructor (In _ a) (In _ b) = isJust (galign a b)
comparableByConstructor :: (Declaration.Method :< fs, Declaration.Function :< fs, Syntax.Context :< fs, Apply Functor fs, Apply Foldable fs, Apply GAlign fs) => ComparabilityRelation (Union fs) ann1 ann2
comparableByConstructor (In _ u1) (In _ u2)
| Just Syntax.Context{} <- prj u1 = True
| Just Syntax.Context{} <- prj u2 = True
| otherwise = isJust (galign u1 u2)
-- | Equivalency relation for terms. Equivalence is determined by functions and
-- methods with equal identifiers/names and recursively by equivalent terms with