1
1
mirror of https://github.com/github/semantic.git synced 2024-11-24 17:04:47 +03:00

Small cleanups

This commit is contained in:
Timothy Clem 2018-05-31 08:29:33 -07:00
parent fe0f9460a7
commit 5f676278a6
3 changed files with 2 additions and 4 deletions

View File

@ -130,7 +130,7 @@ instance Show1 Program where liftShowsPrec = genericLiftShowsPrec
instance Evaluatable Program where
eval (Program statements) = eval statements
-- | Imperative sequence of statements/declarations
-- | Imperative sequence of statements/declarations s.t.:
--
-- 1. Each statements effects on the store are accumulated;
-- 2. Each statement can affect the environment of later statements (e.g. by 'modify'-ing the environment); and

View File

@ -138,8 +138,7 @@ type Syntax = '[
, Syntax.UseClause
, Syntax.VariableName
, Type.Annotation
, []
]
, [] ]
type Term = Term.Term (Sum Syntax) (Record Location)
type Assignment = Assignment.Assignment [] Grammar Term

View File

@ -174,7 +174,6 @@ expressionChoices =
, yield
]
expressions :: Assignment
expressions = makeTerm'' <$> location <*> manyTerm expression