diff options
Diffstat (limited to 'tests/Language/Elna')
| -rw-r--r-- | tests/Language/Elna/NameAnalysisSpec.hs | 16 | ||||
| -rw-r--r-- | tests/Language/Elna/ParserSpec.hs | 4 |
2 files changed, 12 insertions, 8 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") diff --git a/tests/Language/Elna/ParserSpec.hs b/tests/Language/Elna/ParserSpec.hs index c230797..6c91a11 100644 --- a/tests/Language/Elna/ParserSpec.hs +++ b/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" $ |