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

Determine subequivalence using Equivalence & subalgorithmFor.

Browse Source
This commit is contained in:
Rob Rix 2017-10-03 15:37:42 -04:00
parent 8c9be81e51
commit cceed47743
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
src/Algorithm.hs
View File

@ -118,8 +118,8 @@ equivalentTerms :: (Diffable syntax, Eq1 syntax)
-> Bool
equivalentTerms term1@(Term (In _ syntax1)) term2@(Term (In _ syntax2))
= fromMaybe False (equivalentTerms <$> equivalentBySubterm syntax1 <*> equivalentBySubterm syntax2)
|| subequivalenceTo (flip equivalentTerms term2) syntax1
|| subequivalenceTo ( equivalentTerms term1) syntax2
|| runEquivalence (subalgorithmFor pure (Equivalence . flip equivalentTerms term2) syntax1)
|| runEquivalence (subalgorithmFor pure (Equivalence . equivalentTerms term1) syntax2)
|| liftEq equivalentTerms syntax1 syntax2
newtype Equivalence a = Equivalence { runEquivalence :: Bool }