github/semantic
1
1
Fork 0
mirror of https://github.com/github/semantic.git synced 2024-12-30 10:27:45 +03:00
Code Issues Projects Releases Wiki Activity

Assign assert statement

Browse Source
This commit is contained in:
Rick Winfrey 2017-05-18 12:56:12 -07:00
parent 16ef36e0fc
commit 7230ed7b74
1 changed files with 3 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
src/Language/Python/Syntax.hs
View File

@ -66,6 +66,7 @@ statement = expressionStatement
<|> identifier <|> identifier
<|> assignment' <|> assignment'
<|> printStatement <|> printStatement
<|> assertStatement
tuple :: HasCallStack => Assignment (Node Grammar) (Term Syntax Location) tuple :: HasCallStack => Assignment (Node Grammar) (Term Syntax Location)
tuple = makeTerm <$> symbol Tuple <*> children (Expression.Tuple <$> (many expression)) tuple = makeTerm <$> symbol Tuple <*> children (Expression.Tuple <$> (many expression))
@ -148,8 +149,8 @@ importFrom = makeTerm <$> symbol ImportFromStatement <*> (Declaration.Import <$>
-- TODO How to convert statements like this into a `Expression.Call`? The (pack "assert") produces a ByteString but that reduces the `Call` constructor to only accepting byteStrings. -- TODO How to convert statements like this into a `Expression.Call`? The (pack "assert") produces a ByteString but that reduces the `Call` constructor to only accepting byteStrings.
-- assertStatement :: HasCallStack => Assignment (Node Grammar) (Term Syntax Location) assertStatement :: HasCallStack => Assignment (Node Grammar) (Term Syntax Location)
-- assertStatement = makeTerm <$> symbol AssertStatement <*> children (Expression.Call <$> (symbol AnonAssert *> pack "assert" <$> many expression)) assertStatement = makeTerm <$ symbol AssertStatement <*> location <*> children (Expression.Call <$> (makeTerm <$> symbol AnonAssert <*> (Syntax.Identifier <$> source)) <*> many expression)
printStatement :: HasCallStack => Assignment (Node Grammar) (Term Syntax Location) printStatement :: HasCallStack => Assignment (Node Grammar) (Term Syntax Location)
printStatement = do printStatement = do