summaryrefslogtreecommitdiff
path: root/dhall/tests/parser/failure/unit
diff options
context:
space:
mode:
authorNadrieril Feneanar2020-02-09 20:12:13 +0000
committerGitHub2020-02-09 20:12:13 +0000
commit75889ac64e2d04dfd7c00fc59e29e4530e69cc9a (patch)
treecf28b0104879bd73802c4a21c4ca76b298d1cb04 /dhall/tests/parser/failure/unit
parent5abc0628058a318782c46614d943c034711845c6 (diff)
parent4c2a28b844b18d7b67278a1c8f628d9a95ea37c4 (diff)
Merge pull request #130 from Nadrieril/improve-tests
Improve the test harness
Diffstat (limited to 'dhall/tests/parser/failure/unit')
-rw-r--r--dhall/tests/parser/failure/unit/BoolLitTrueWithIndex.txt6
-rw-r--r--dhall/tests/parser/failure/unit/BuiltinBoolWithIndex.txt6
-rw-r--r--dhall/tests/parser/failure/unit/BuiltinTypeWithIndex.txt6
-rw-r--r--dhall/tests/parser/failure/unit/ImportEnvWrongEscape.txt6
-rw-r--r--dhall/tests/parser/failure/unit/ListLitEmptyAnnotation.txt6
-rw-r--r--dhall/tests/parser/failure/unit/ListLitEmptyMissingAnnotation.txt6
-rw-r--r--dhall/tests/parser/failure/unit/MergeAlone.txt6
-rw-r--r--dhall/tests/parser/failure/unit/MergeOneArgument.txt6
-rw-r--r--dhall/tests/parser/failure/unit/OldUnionLitSyntax.txt6
-rw-r--r--dhall/tests/parser/failure/unit/RecordTypeTrailingComma.txt6
-rw-r--r--dhall/tests/parser/failure/unit/SomeAlone.txt6
11 files changed, 66 insertions, 0 deletions
diff --git a/dhall/tests/parser/failure/unit/BoolLitTrueWithIndex.txt b/dhall/tests/parser/failure/unit/BoolLitTrueWithIndex.txt
new file mode 100644
index 0000000..7561fd7
--- /dev/null
+++ b/dhall/tests/parser/failure/unit/BoolLitTrueWithIndex.txt
@@ -0,0 +1,6 @@
+ --> 1:5
+ |
+1 | True@0␊
+ | ^---
+ |
+ = expected EOI, import_alt, bool_or, natural_plus, text_append, list_append, bool_and, natural_times, bool_eq, bool_ne, combine, combine_types, equivalent, prefer, or arrow
diff --git a/dhall/tests/parser/failure/unit/BuiltinBoolWithIndex.txt b/dhall/tests/parser/failure/unit/BuiltinBoolWithIndex.txt
new file mode 100644
index 0000000..6a8814f
--- /dev/null
+++ b/dhall/tests/parser/failure/unit/BuiltinBoolWithIndex.txt
@@ -0,0 +1,6 @@
+ --> 1:5
+ |
+1 | Bool@1␊
+ | ^---
+ |
+ = expected EOI, import_alt, bool_or, natural_plus, text_append, list_append, bool_and, natural_times, bool_eq, bool_ne, combine, combine_types, equivalent, prefer, or arrow
diff --git a/dhall/tests/parser/failure/unit/BuiltinTypeWithIndex.txt b/dhall/tests/parser/failure/unit/BuiltinTypeWithIndex.txt
new file mode 100644
index 0000000..f06e887
--- /dev/null
+++ b/dhall/tests/parser/failure/unit/BuiltinTypeWithIndex.txt
@@ -0,0 +1,6 @@
+ --> 1:5
+ |
+1 | Type@0␊
+ | ^---
+ |
+ = expected EOI, import_alt, bool_or, natural_plus, text_append, list_append, bool_and, natural_times, bool_eq, bool_ne, combine, combine_types, equivalent, prefer, or arrow
diff --git a/dhall/tests/parser/failure/unit/ImportEnvWrongEscape.txt b/dhall/tests/parser/failure/unit/ImportEnvWrongEscape.txt
new file mode 100644
index 0000000..a02d38e
--- /dev/null
+++ b/dhall/tests/parser/failure/unit/ImportEnvWrongEscape.txt
@@ -0,0 +1,6 @@
+ --> 1:6
+ |
+1 | env:"\$"␊
+ | ^---
+ |
+ = expected posix_environment_variable_character
diff --git a/dhall/tests/parser/failure/unit/ListLitEmptyAnnotation.txt b/dhall/tests/parser/failure/unit/ListLitEmptyAnnotation.txt
new file mode 100644
index 0000000..c9d3216
--- /dev/null
+++ b/dhall/tests/parser/failure/unit/ListLitEmptyAnnotation.txt
@@ -0,0 +1,6 @@
+ --> 1:3
+ |
+1 | ([]) : List T␊
+ | ^---
+ |
+ = expected expression
diff --git a/dhall/tests/parser/failure/unit/ListLitEmptyMissingAnnotation.txt b/dhall/tests/parser/failure/unit/ListLitEmptyMissingAnnotation.txt
new file mode 100644
index 0000000..5c8dfbc
--- /dev/null
+++ b/dhall/tests/parser/failure/unit/ListLitEmptyMissingAnnotation.txt
@@ -0,0 +1,6 @@
+ --> 1:2
+ |
+1 | []␊
+ | ^---
+ |
+ = expected expression
diff --git a/dhall/tests/parser/failure/unit/MergeAlone.txt b/dhall/tests/parser/failure/unit/MergeAlone.txt
new file mode 100644
index 0000000..43e7223
--- /dev/null
+++ b/dhall/tests/parser/failure/unit/MergeAlone.txt
@@ -0,0 +1,6 @@
+ --> 2:1
+ |
+2 |
+ | ^---
+ |
+ = expected import_hashed or primitive_expression
diff --git a/dhall/tests/parser/failure/unit/MergeOneArgument.txt b/dhall/tests/parser/failure/unit/MergeOneArgument.txt
new file mode 100644
index 0000000..43e7223
--- /dev/null
+++ b/dhall/tests/parser/failure/unit/MergeOneArgument.txt
@@ -0,0 +1,6 @@
+ --> 2:1
+ |
+2 |
+ | ^---
+ |
+ = expected import_hashed or primitive_expression
diff --git a/dhall/tests/parser/failure/unit/OldUnionLitSyntax.txt b/dhall/tests/parser/failure/unit/OldUnionLitSyntax.txt
new file mode 100644
index 0000000..8475bb9
--- /dev/null
+++ b/dhall/tests/parser/failure/unit/OldUnionLitSyntax.txt
@@ -0,0 +1,6 @@
+ --> 1:3
+ |
+1 | < x = 3 | y : Bool >␊
+ | ^---
+ |
+ = expected missing, if_, merge, NaN, Some_, toMap, assert, or forall
diff --git a/dhall/tests/parser/failure/unit/RecordTypeTrailingComma.txt b/dhall/tests/parser/failure/unit/RecordTypeTrailingComma.txt
new file mode 100644
index 0000000..80434d3
--- /dev/null
+++ b/dhall/tests/parser/failure/unit/RecordTypeTrailingComma.txt
@@ -0,0 +1,6 @@
+ --> 1:9
+ |
+1 | { x: T, }␊
+ | ^---
+ |
+ = expected any_label_or_some
diff --git a/dhall/tests/parser/failure/unit/SomeAlone.txt b/dhall/tests/parser/failure/unit/SomeAlone.txt
new file mode 100644
index 0000000..43e7223
--- /dev/null
+++ b/dhall/tests/parser/failure/unit/SomeAlone.txt
@@ -0,0 +1,6 @@
+ --> 2:1
+ |
+2 |
+ | ^---
+ |
+ = expected import_hashed or primitive_expression