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

Contextualize after the right term.

Browse Source
This commit is contained in:
Rob Rix 2017-08-14 16:50:16 -04:00
parent 82b1bc1f87
commit 6f22e49623
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/Data/Syntax.hs
View File

@ -68,13 +68,13 @@ postContextualize context rule end = make <$> rule <*> Assignment.manyThrough co
Just cs -> (makeTerm1 (Context cs node), end)
_ -> (node, end)
infixContext :: (Context :< fs, Alternative m, Semigroup a, HasCallStack, Apply1 Foldable fs)
infixContext :: (Context :< fs, Assignment.Parsing m, Semigroup a, HasCallStack, Apply1 Foldable fs)
=> m (Term (Union fs) a)
-> m (Term (Union fs) a)
-> m (Term (Union fs) a)
-> [m (Term (Union fs) a -> Term (Union fs) a -> Union fs a)]
-> m (Union fs a)
infixContext context left right operators = uncurry (&) <$> postContextualize context left (Assignment.choice operators) <*> right
infixContext context left right operators = uncurry (&) <$> postContextualize context left (Assignment.choice operators) <*> (fst <$> postContextualize context right Assignment.eof)
-- Undifferentiated