diff --git a/base/src/test/resources/failure/syntax/implicit-element-list-pattern.aya.txt b/base/src/test/resources/failure/syntax/implicit-element-list-pattern.aya.txt index 9a5cdece85..e1bfce847a 100644 --- a/base/src/test/resources/failure/syntax/implicit-element-list-pattern.aya.txt +++ b/base/src/test/resources/failure/syntax/implicit-element-list-pattern.aya.txt @@ -5,7 +5,7 @@ In file $FILE:11:8 -> 11 │ | [ _, {y} ], default => y │ ╰╯ -Error: Parser error: Implicit elements in a list pattern is disallowed +Error: Implicit elements in a list pattern is disallowed 1 error(s), 0 warning(s). What are you doing? diff --git a/base/src/test/resources/failure/syntax/incomplete-code.aya.txt b/base/src/test/resources/failure/syntax/incomplete-code.aya.txt new file mode 100644 index 0000000000..dcd9bfd7f1 --- /dev/null +++ b/base/src/test/resources/failure/syntax/incomplete-code.aya.txt @@ -0,0 +1,38 @@ +In file $FILE:1:0 -> + + 1 │ prim + │ ╰──╯ + 2 │ def + 3 │ def k => + +Error: Expect a primitive's name + +In file $FILE:2:0 -> + + 1 │ prim + 2 │ def + │ ╰─╯ + 3 │ def k => + +Error: Expect a function name + +In file $FILE:3:6 -> + + 1 │ prim + 2 │ def + 3 │ def k => + │ ╰╯ + +Error: Expect function body + +In file $FILE:4:0 -> + + 2 │ def + 3 │ def k => + 4 │ data + │ ╰──╯ + +Error: Expect a data name + +4 error(s), 0 warning(s). +What are you doing? diff --git a/base/src/test/resources/failure/syntax/issue164.aya.txt b/base/src/test/resources/failure/syntax/issue164.aya.txt index c743a2b00c..354f6bfd5a 100644 --- a/base/src/test/resources/failure/syntax/issue164.aya.txt +++ b/base/src/test/resources/failure/syntax/issue164.aya.txt @@ -5,7 +5,7 @@ In file $FILE:3:26 -> 3 │ (p : Sig A B) : C │ ╰╯ -Error: Parser error: Cannot parse +Error: Cannot parse In file $FILE:8:29 -> @@ -14,7 +14,7 @@ In file $FILE:8:29 -> 8 │ (p : Sig A B C) : D │ ╰╯ -Error: Parser error: Cannot parse +Error: Cannot parse In file $FILE:1:4 -> diff --git a/base/src/test/resources/failure/syntax/issue165.aya.txt b/base/src/test/resources/failure/syntax/issue165.aya.txt index f4265b14d7..a53056bbab 100644 --- a/base/src/test/resources/failure/syntax/issue165.aya.txt +++ b/base/src/test/resources/failure/syntax/issue165.aya.txt @@ -1,9 +1,9 @@ -In file $FILE:1:3 -> +In file $FILE:1:0 -> 1 │ def - │ ╰╯ + │ ╰─╯ -Error: Parser error: Cannot parse +Error: Expect a function name 1 error(s), 0 warning(s). What are you doing? diff --git a/base/src/test/resources/failure/syntax/literal-too-large.aya.txt b/base/src/test/resources/failure/syntax/literal-too-large.aya.txt index c2527941ff..9faf336fea 100644 --- a/base/src/test/resources/failure/syntax/literal-too-large.aya.txt +++ b/base/src/test/resources/failure/syntax/literal-too-large.aya.txt @@ -5,7 +5,7 @@ In file $FILE:3:17 -> 3 │ def too-large => 2147483648 │ ╰────────╯ -Error: Parser error: Unsupported integer literal `2147483648` +Error: Unsupported integer literal `2147483648` Parsing interrupted due to: 1 error(s), 0 warning(s).