text: update fixtures

aya-prover · Jan 6, 2023 · 10596dc · 10596dc
1 parent 711dcc7
commit 10596dc
Show file tree

Hide file tree

Showing 5 changed files with 45 additions and 7 deletions.
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
@@ -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
@@ -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
@@ -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
@@ -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
@@ -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).