github/semantic
1
1
Fork 0
mirror of https://github.com/github/semantic.git synced 2024-11-28 10:15:55 +03:00
Code Issues Projects Releases Wiki Activity

Refactor unaryExpression to not use >>=

Browse Source
This commit is contained in:
Rick Winfrey 2017-11-29 16:04:03 -08:00
parent b7bf6c06be
commit ed3f36ccde
1 changed files with 14 additions and 9 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

23
src/Language/Go/Assignment.hs
View File

@ -436,16 +436,21 @@ typeSwitchStatement = makeTerm <$> symbol TypeSwitchStatement <*> children (Go.S
typeSwitchSubject = makeTerm <$> location <*> manyTermsTill expression (void (symbol TypeCaseClause)) <|> emptyTerm
unaryExpression :: Assignment
unaryExpression = symbol UnaryExpression >>= \ location -> (notExpression location) <|> (unaryMinus location) <|> unaryPlus <|> unaryAmpersand <|> unaryReceive <|> unaryPointer <|> unaryComplement
unaryExpression = makeTerm' <$> symbol UnaryExpression <*> ( notExpression
<|> unaryMinus
<|> unaryAmpersand
<|> unaryReceive
<|> unaryPointer
<|> unaryComplement
<|> unaryPlus )
where
notExpression location = makeTerm location . Expression.Not <$> children (symbol AnonBang *> expression)
unaryMinus location = makeTerm location . Expression.Negate <$> children (symbol AnonMinus *> expression)
unaryAmpersand = children (makeTerm <$> symbol AnonAmpersand <*> (Literal.Reference <$> expression))
unaryComplement = children (makeTerm <$> symbol AnonCaret <*> (Expression.Complement <$> expression))
unaryPlus = children (symbol AnonPlus *> expression)
unaryPointer = children (makeTerm <$> symbol AnonStar <*> (Literal.Pointer <$> expression))
unaryReceive = children (makeTerm <$> symbol AnonLAngleMinus <*> (Go.Syntax.ReceiveOperator <$> expression))
notExpression = inj <$> (children (Expression.Not <$ symbol AnonBang <*> expression))
unaryAmpersand = inj <$> (children (Literal.Reference <$ symbol AnonAmpersand <*> expression))
unaryComplement = inj <$> (children (Expression.Complement <$ symbol AnonCaret <*> expression))
unaryMinus = inj <$> (children (Expression.Negate <$ symbol AnonMinus <*> expression))
unaryPlus = children (symbol AnonPlus *> (Term.unwrap <$> expression))
unaryPointer = inj <$> (children (Literal.Pointer <$ symbol AnonStar <*> expression))
unaryReceive = inj <$> (children (Go.Syntax.ReceiveOperator <$ symbol AnonLAngleMinus <*> expression))
varDeclaration :: Assignment
varDeclaration = (symbol ConstDeclaration <|> symbol VarDeclaration) *> children expressions