github/semantic
1
1
Fork 0
mirror of https://github.com/github/semantic.git synced 2024-11-23 16:37:50 +03:00
Code Issues Projects Releases Wiki Activity

Inline edge into resolveWith.

Browse Source
This commit is contained in:
Rob Rix 2022-02-03 11:34:50 -05:00
parent cfc69b8cc7
commit 2d56b92200
No known key found for this signature in database
GPG Key ID: 2BE643E01DC032AE
1 changed files with 5 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

10
semantic-analysis/src/Analysis/Syntax.hs
View File

@ -162,12 +162,12 @@ parseNode o = do
"if" -> liftA3 iff <$> findEdgeNamed "condition" <*> findEdgeNamed "consequence" <*> findEdgeNamed "alternative" <|> pure (const noop)
"block" -> fmap (foldr (\ (i, v) r -> let_ (nameI i) v (const r)) noop . zip [0..]) . sequenceA <$> traverse resolve edges
t -> A.parseFail ("unrecognized type: " <> t)
edge :: (IntMap.Key -> A.Object -> A.Parser a) -> A.Value -> A.Parser a
edge f = A.withObject "edge" (\ edge -> do
resolve = resolveWith (const (pure ()))
resolveWith :: (A.Object -> A.Parser ()) -> A.Value -> A.Parser (IntMap.IntMap rep -> rep)
resolveWith f = A.withObject "edge" (\ edge -> do
sink <- edge A..: pack "sink"
attrs <- edge A..: pack "attrs"
f sink attrs)
resolve = resolveWith (const (pure ()))
resolveWith f = edge (\ sink attrs -> f attrs >> pure (IntMap.! sink))
f attrs
pure (IntMap.! sink))
findEdgeNamed name = foldMap (resolveWith (\ attrs -> attrs A..: pack "type" >>= guard . (== name))) edges
o A..: pack "attrs" >>= A.withObject "attrs" (fmap (index,) . parseType)