diff --git a/src/Data/Syntax.hs b/src/Data/Syntax.hs index 0a9b16c7d..0ef8db25e 100644 --- a/src/Data/Syntax.hs +++ b/src/Data/Syntax.hs @@ -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 statement’s effects on the store are accumulated; -- 2. Each statement can affect the environment of later statements (e.g. by 'modify'-ing the environment); and diff --git a/src/Language/PHP/Assignment.hs b/src/Language/PHP/Assignment.hs index 70171daac..94c4412ae 100644 --- a/src/Language/PHP/Assignment.hs +++ b/src/Language/PHP/Assignment.hs @@ -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 diff --git a/src/Language/Python/Assignment.hs b/src/Language/Python/Assignment.hs index 5f4a4c64e..2f03af218 100644 --- a/src/Language/Python/Assignment.hs +++ b/src/Language/Python/Assignment.hs @@ -174,7 +174,6 @@ expressionChoices = , yield ] - expressions :: Assignment expressions = makeTerm'' <$> location <*> manyTerm expression