diff options
Diffstat (limited to 'lib/Language')
| -rw-r--r-- | lib/Language/Elna/NameAnalysis.hs | 1 | ||||
| -rw-r--r-- | lib/Language/Elna/Parser.hs | 1 |
2 files changed, 1 insertions, 1 deletions
diff --git a/lib/Language/Elna/NameAnalysis.hs b/lib/Language/Elna/NameAnalysis.hs index 49b7915..4acde39 100644 --- a/lib/Language/Elna/NameAnalysis.hs +++ b/lib/Language/Elna/NameAnalysis.hs @@ -51,7 +51,6 @@ declaration :: SymbolTable -> AST.Declaration -> NameAnalysis SymbolTable declaration globalTable (AST.TypeDefinition identifier typeExpression) = flip (SymbolTable.enter identifier) globalTable . TypeInfo <$> withSymbolTable globalTable (dataType typeExpression) - declaration globalTable (AST.ProcedureDefinition identifier _parameters _variables _body) = let localTable = SymbolTable.empty in pure $ SymbolTable.enter identifier (ProcedureInfo localTable mempty) globalTable diff --git a/lib/Language/Elna/Parser.hs b/lib/Language/Elna/Parser.hs index 23e09d9..cee533e 100644 --- a/lib/Language/Elna/Parser.hs +++ b/lib/Language/Elna/Parser.hs @@ -88,6 +88,7 @@ typeDefinitionP :: Parser Declaration typeDefinitionP = TypeDefinition <$> (symbol "type" *> identifierP) <*> (symbol "=" *> typeExpressionP) + <* semicolonP <?> "type definition" variableDeclarationP :: Parser VariableDeclaration |