diff options
| author | Eugen Wissner <belka@caraus.de> | 2024-07-26 12:22:07 +0200 |
|---|---|---|
| committer | Eugen Wissner <belka@caraus.de> | 2024-07-26 12:22:07 +0200 |
| commit | ce7652c6189b289ffbc749dc3d1ffb465c758c01 (patch) | |
| tree | e3f059ceb8fdaf3153d49d894d695fc5825021c5 /tests/Language | |
| parent | bf774475cc21cf7190144a5a9e16c2a72318f0bb (diff) | |
| download | elna-ce7652c6189b289ffbc749dc3d1ffb465c758c01.tar.gz | |
Add types for name analysis
Diffstat (limited to 'tests/Language')
| -rw-r--r-- | tests/Language/Elna/ParserSpec.hs | 24 |
1 files changed, 12 insertions, 12 deletions
diff --git a/tests/Language/Elna/ParserSpec.hs b/tests/Language/Elna/ParserSpec.hs index 0230097..c230797 100644 --- a/tests/Language/Elna/ParserSpec.hs +++ b/tests/Language/Elna/ParserSpec.hs @@ -29,21 +29,21 @@ spec = in actual `shouldParse` expected it "parses array type definition" $ - let expected = Program [TypeDefinition "t" $ ArrayType (NamedType "integer") 10] - actual = parse programP "" "type t = array[10] of integer" + let expected = Program [TypeDefinition "t" $ ArrayType 10 (NamedType "int")] + actual = parse programP "" "type t = array[10] of int" in actual `shouldParse` expected it "parses parameters" $ - let given = "proc main(x: integer) {}" - parameters = [Parameter "x" (NamedType "integer") False] + let given = "proc main(x: int) {}" + parameters = [Parameter "x" (NamedType "int") False] expected = Program [ProcedureDefinition "main" parameters [] []] actual = parse programP "" given in actual `shouldParse` expected it "parses ref parameters" $ - let given = "proc main(x: integer, ref y: boolean) {}" + let given = "proc main(x: int, ref y: boolean) {}" parameters = - [ Parameter "x" (NamedType "integer") False + [ Parameter "x" (NamedType "int") False , Parameter "y" (NamedType "boolean") True ] expected = Program [ProcedureDefinition "main" parameters [] []] @@ -51,7 +51,7 @@ spec = in actual `shouldParse` expected it "parses variable declaration" $ - let given = "proc main() { var x: integer; }" + let given = "proc main() { var x: int; }" expected (Program [ProcedureDefinition _ _ variables _]) = not $ null variables expected _ = False @@ -59,11 +59,11 @@ spec = in actual `parseSatisfies` expected it "parses negation" $ - let given = "proc main(x: integer) { var y: integer; y := -x; }" - parameters = pure $ Parameter "x" (NamedType "integer") False + let given = "proc main(x: int) { var y: int; y := -x; }" + parameters = pure $ Parameter "x" (NamedType "int") False variables = pure $ VariableDeclaration "y" - $ NamedType "integer" + $ NamedType "int" body = pure $ AssignmentStatement (VariableExpression "y") $ NegationExpression @@ -91,10 +91,10 @@ spec = in actual `shouldParse` expected it "parses hexadecimals" $ - let given = "proc main() { var x: integer; x := 0x10; }" + let given = "proc main() { var x: int; x := 0x10; }" variables = pure $ VariableDeclaration "x" - $ NamedType "integer" + $ NamedType "int" body = pure $ AssignmentStatement (VariableExpression "x") $ LiteralExpression (HexadecimalLiteral 16) |