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

De-golf children assignment.

Browse Source
This commit is contained in:
Rob Rix 2017-07-22 16:31:23 -04:00
parent 7675f348d2
commit 18ae76951b
1 changed files with 4 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -246,8 +246,10 @@ runAssignment toNode source assignment state = go assignment state >>= requireEx
Location -> yield location state
Project projection | Just node <- headNode -> yield (projection (F.project node)) state
Source | Just node <- headNode -> yield (Source.sourceBytes (Source.slice (nodeByteRange (projectNode node)) source)) (advance state)
Children child | Just node <- headNode ->
uncurry yield . second (advance . flip setStateNodes (stateNodes state)) <=< requireExhaustive <=< go child . setStateNodes state . toList . F.project $ node
Children child | Just node <- headNode -> do
childResult <- go child state { stateNodes = toList (F.project node) }
(a, state') <- requireExhaustive childResult
yield a (advance state' { stateNodes = stateNodes state })
Choose choices | Just choice <- flip IntMap.lookup choices . fromEnum . nodeSymbol . projectNode =<< headNode -> yield choice state
Many rule -> uncurry yield (runMany rule state)
Alt a b -> either (yield b . setStateError state . Just) Right (yield a state)
@ -303,9 +305,6 @@ makeState = State 0 (Info.Pos 1 1) Nothing 0
setStateError :: State ast grammar -> Maybe (Error grammar) -> State ast grammar
setStateError state error = state { stateError = error }
setStateNodes :: State ast grammar -> [ast] -> State ast grammar
setStateNodes state nodes = state { stateNodes = nodes }
-- Instances