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

Produce program syntaxes (for ruby at least)

Browse Source
This commit is contained in:
Timothy Clem 2017-07-20 13:52:10 -07:00
parent dec0de378c
commit 9618db2cdb
2 changed files with 10 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
src/Data/Syntax.hs
View File

@ -32,6 +32,12 @@ newtype Identifier a = Identifier ByteString
instance Eq1 Identifier where liftEq = genericLiftEq instance Eq1 Identifier where liftEq = genericLiftEq
instance Show1 Identifier where liftShowsPrec = genericLiftShowsPrec instance Show1 Identifier where liftShowsPrec = genericLiftShowsPrec
newtype Program a = Program [a]
deriving (Eq, Foldable, Functor, GAlign, Generic1, Show, Traversable)
instance Eq1 Program where liftEq = genericLiftEq
instance Show1 Program where liftShowsPrec = genericLiftShowsPrec
-- | Empty syntax, with essentially no-op semantics. -- | Empty syntax, with essentially no-op semantics.
-- --

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

@ -67,6 +67,7 @@ type Syntax = '[
, Syntax.Empty , Syntax.Empty
, Syntax.Error , Syntax.Error
, Syntax.Identifier , Syntax.Identifier
, Syntax.Program
, [] , []
] ]
@ -76,7 +77,9 @@ type Assignment = HasCallStack => Assignment.Assignment (AST Grammar) Grammar Te
-- | Assignment from AST in Ruby’s grammar onto a program in Ruby’s syntax. -- | Assignment from AST in Ruby’s grammar onto a program in Ruby’s syntax.
assignment :: Assignment assignment :: Assignment
assignment = makeTerm <$> symbol Program <*> children (many statement) <|> parseError assignment =
makeTerm <$> symbol Program <*> children (Syntax.Program <$> many statement)
<|> parseError
statement :: Assignment statement :: Assignment
statement = statement =