github/semantic
1
1
Fork 0
mirror of https://github.com/github/semantic.git synced 2024-12-19 04:41:47 +03:00
Code Issues Projects Releases Wiki Activity

Push alternation through Get.

Browse Source
This commit is contained in:
Rob Rix 2017-08-16 12:20:42 -04:00
parent 9c198eb08a
commit 4f46843e26
1 changed files with 1 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
src/Data/Syntax/Assignment.hs
View File

@ -318,6 +318,7 @@ instance Eq grammar => Alternative (Assignment ast grammar) where
(Throw Nothing `Then` _) <|> r = r
l <|> (Throw Nothing `Then` _) = l
(Throw err `Then` continue) <|> _ = Throw err `Then` continue
(Get `Then` continueL) <|> (Get `Then` continueR) = Get `Then` uncurry (<|>) . (continueL &&& continueR)
(Children l `Then` continueL) <|> (Children r `Then` continueR) = Children (Left <$> l <|> Right <$> r) `Then` either continueL continueR
(Source `Then` continueL) <|> (Source `Then` continueR) = Source `Then` uncurry (<|>) . (continueL &&& continueR)
(Alt ls `Then` continueL) <|> (Alt rs `Then` continueR) = Alt ((Left <$> ls) <> (Right <$> rs)) `Then` either continueL continueR