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

Compute the expected symbols as the first set of the current assignment.

Browse Source
This commit is contained in:
Rob Rix 2017-08-04 14:12:55 -04:00
parent 38b9821c1d
commit c4a30e9fe6
1 changed files with 1 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -300,8 +300,7 @@ runAssignment toNode source = (\ assignment state -> disamb Left (Right . minimu
Source -> None (makeError node) Source -> None (makeError node)
state@State{..} = if not (null expectedSymbols) && all ((== Regular) . symbolType) expectedSymbols then dropAnonymous initialState else initialState state@State{..} = if not (null expectedSymbols) && all ((== Regular) . symbolType) expectedSymbols then dropAnonymous initialState else initialState
expectedSymbols | Choose choices _ <- assignment = (toEnum :: Int -> grammar) <$> IntMap.keys choices expectedSymbols = firstSet (assignment `Then` return)
| otherwise = []
makeError :: HasCallStack => Maybe (Base ast ast) -> Error grammar makeError :: HasCallStack => Maybe (Base ast ast) -> Error grammar
makeError node = maybe (Error statePos expectedSymbols Nothing) (nodeError expectedSymbols . toNode) node makeError node = maybe (Error statePos expectedSymbols Nothing) (nodeError expectedSymbols . toNode) node