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

Assign ArrayType declarations

Browse Source
This commit is contained in:
Rick Winfrey 2017-09-18 15:01:01 -07:00
parent 6c8e6cc881
commit 8ea8cce99e
1 changed files with 12 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

14
src/Language/Go/Syntax.hs
View File

@ -33,6 +33,7 @@ type Syntax =
, Declaration.Module
, Expression.Call
, Expression.MemberAccess
, Literal.Array
, Literal.Channel
, Literal.Hash
, Literal.Integer
@ -143,11 +144,15 @@ typeLiteral =
<|> mk PointerType
<|> mk SliceType
<|> qualifiedType
<|> arrayType
where mk s = makeTerm <$> symbol s <*> (Syntax.Identifier <$> source)
qualifiedType :: Assignment
qualifiedType = makeTerm <$> symbol QualifiedType <*> children (Expression.MemberAccess <$> identifier <*> typeLiteral)
arrayType :: Assignment
arrayType = handleError $ makeTerm <$> symbol ArrayType <*> children (Type.Array . Just <$> intLiteral <*> typeLiteral)
-- Type Declarations
channelTypeDeclaration :: Assignment
@ -180,12 +185,17 @@ structTypeDeclaration = mkStruct <$> symbol TypeSpec <*> children ((,) <$> typeL
qualifiedTypeDeclaration :: Assignment
qualifiedTypeDeclaration = makeTerm <$> symbol TypeSpec <*> children (Type.Annotation <$> typeLiteral <*> qualifiedType)
arrayTypeDeclaration :: Assignment
arrayTypeDeclaration = makeTerm <$> symbol TypeSpec <*> children (Type.Annotation <$> typeLiteral <*> arrayType)
typeDeclaration :: Assignment
typeDeclaration = makeTerm <$> symbol TypeDeclaration <*> children (many (channelTypeDeclaration
typeDeclaration = handleError $ makeTerm <$> symbol TypeDeclaration <*> children (many ( arrayTypeDeclaration
<|> channelTypeDeclaration
<|> interfaceTypeDeclaration
<|> qualifiedTypeDeclaration
<|> structTypeDeclaration
<|> mapTypeDeclaration))
<|> mapTypeDeclaration
))
-- Expressions