Require trailing semicolon for type declarations

1 files changed, 10 insertions, 6 deletions

diff --git a/tests/Language/Elna/NameAnalysisSpec.hs b/tests/Language/Elna/NameAnalysisSpec.hs
index c94e6c7..f0b133e 100644
--- a/tests/Language/Elna/NameAnalysisSpec.hs
+++ b/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" $
-        pendingWith "Not implemented"
+    it "replaces the alias with an equivalent base type" $ do
+        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")