Require trailing semicolon for type declarations

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

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

tests/Language/Elna/NameAnalysisSpec.hs

@@ -4,7 +4,7 @@ module Language.Elna.NameAnalysisSpec
 
 import Data.Text (Text)
 import Text.Megaparsec (runParser)
-import Test.Hspec (Spec, describe, it, shouldBe, shouldSatisfy, pendingWith)
+import Test.Hspec (Spec, describe, it, shouldBe, shouldSatisfy)
 import Language.Elna.NameAnalysis (Error(..), nameAnalysis)
 import Language.Elna.SymbolTable (Info(..), SymbolTable)
 import qualified Language.Elna.SymbolTable as SymbolTable
@@ -19,21 +19,21 @@ nameAnalysisOnText sourceText = nameAnalysis
 spec :: Spec
 spec = describe "nameAnalysis" $ do
     it "adds type to the symbol table" $ do
-        let given = "type A = int"
+        let given = "type A = int;"
             expected = Right $ Just $ TypeInfo intType
         actual <- nameAnalysisOnText given
 
         actual `shouldSatisfy` (expected ==) . fmap (SymbolTable.lookup "A")
 
     it "errors when the aliased type is not defined" $ do
-        let given = "type A = B"
+        let given = "type A = B;"
             expected = Left $ UndefinedTypeError "B"
         actual <- nameAnalysisOnText given
 
         actual `shouldBe` expected
 
     it "errors if the aliased identifier is not a type" $ do
-        let given = "proc main() {} type A = main"
+        let given = "proc main() {} type A = main;"
             expected = Left
                 $ UnexpectedTypeInfoError
                 $ ProcedureInfo mempty mempty
@@ -41,5 +41,9 @@ spec = describe "nameAnalysis" $ do
 
         actual `shouldBe` expected
 
-    it "replaces the alias with an equivalent base type" $
+    it "replaces the alias with an equivalent base type" $ do
-        pendingWith "Not implemented"
+        let given = "type A = int; type B = A; type C = B;"
+            expected = Right $ Just $ TypeInfo intType
+        actual <- nameAnalysisOnText given
+
+        actual `shouldSatisfy` (expected ==) . fmap (SymbolTable.lookup "C")

tests/Language/Elna/ParserSpec.hs

@@ -25,12 +25,12 @@ spec =
 
         it "parses type definition for a type starting like array" $
             let expected = Program [TypeDefinition "t" $ NamedType "arr"]
-                actual = parse programP "" "type t = arr"
+                actual = parse programP "" "type t = arr;"
              in actual `shouldParse` expected
 
         it "parses array type definition" $
             let expected = Program [TypeDefinition "t" $ ArrayType 10 (NamedType "int")]
-                actual = parse programP "" "type t = array[10] of int"
+                actual = parse programP "" "type t = array[10] of int;"
              in actual `shouldParse` expected
 
         it "parses parameters" $