github/semantic
1
1
Fork 0
mirror of https://github.com/github/semantic.git synced 2025-01-08 16:39:47 +03:00
Code Issues Projects Releases Wiki Activity

Remove introduce.

Browse Source
This commit is contained in:
Rob Rix 2016-03-02 23:17:43 -05:00
parent a2c0818851
commit a684c2fa58
1 changed files with 1 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
src/Interpreter.hs
View File

@ -38,9 +38,7 @@ hylo down up a = down annotation $ hylo down up <$> syntax where
-- | Constructs an algorithm and runs it
constructAndRun :: (Eq a, Eq annotation) => Comparable a annotation -> Term a annotation -> Term a annotation -> Maybe (Diff a annotation)
constructAndRun _ a b | a == b = hylo introduce (copoint &&& unwrap) <$> zipTerms a b where
introduce :: Both annotation -> Syntax a (Diff a annotation) -> Diff a annotation
introduce ann = Free . Annotated ann
constructAndRun _ a b | a == b = hylo (curry $ Free . uncurry Annotated) (copoint &&& unwrap) <$> zipTerms a b where
constructAndRun comparable a b | not $ comparable a b = Nothing