summaryrefslogtreecommitdiff
path: root/dhall/tests
diff options
context:
space:
mode:
authorNadrieril2020-12-07 15:37:29 +0000
committerNadrieril2020-12-07 19:35:08 +0000
commitff070d5e5815b6cef27ff40383153226ddfd4a61 (patch)
treebfe4694f0c03acda2f6464f3953bf6fd90af71b7 /dhall/tests
parent922199ab322efa7b62bf4698cf5ed9e2d7a378c0 (diff)
Add tests
Diffstat (limited to 'dhall/tests')
-rw-r--r--dhall/tests/import/success/unit/AlternativeWithWrongVariable1A.dhall1
-rw-r--r--dhall/tests/import/success/unit/AlternativeWithWrongVariable1B.dhall1
-rw-r--r--dhall/tests/import/success/unit/AlternativeWithWrongVariable2A.dhall1
-rw-r--r--dhall/tests/import/success/unit/AlternativeWithWrongVariable2B.dhall1
4 files changed, 4 insertions, 0 deletions
diff --git a/dhall/tests/import/success/unit/AlternativeWithWrongVariable1A.dhall b/dhall/tests/import/success/unit/AlternativeWithWrongVariable1A.dhall
new file mode 100644
index 0000000..e6fa8d5
--- /dev/null
+++ b/dhall/tests/import/success/unit/AlternativeWithWrongVariable1A.dhall
@@ -0,0 +1 @@
+\(x: Natural) -> x ? y
diff --git a/dhall/tests/import/success/unit/AlternativeWithWrongVariable1B.dhall b/dhall/tests/import/success/unit/AlternativeWithWrongVariable1B.dhall
new file mode 100644
index 0000000..04a1712
--- /dev/null
+++ b/dhall/tests/import/success/unit/AlternativeWithWrongVariable1B.dhall
@@ -0,0 +1 @@
+λ(x : Natural) → x
diff --git a/dhall/tests/import/success/unit/AlternativeWithWrongVariable2A.dhall b/dhall/tests/import/success/unit/AlternativeWithWrongVariable2A.dhall
new file mode 100644
index 0000000..8089500
--- /dev/null
+++ b/dhall/tests/import/success/unit/AlternativeWithWrongVariable2A.dhall
@@ -0,0 +1 @@
+\(x: Natural) -> (y + missing) ? x
diff --git a/dhall/tests/import/success/unit/AlternativeWithWrongVariable2B.dhall b/dhall/tests/import/success/unit/AlternativeWithWrongVariable2B.dhall
new file mode 100644
index 0000000..04a1712
--- /dev/null
+++ b/dhall/tests/import/success/unit/AlternativeWithWrongVariable2B.dhall
@@ -0,0 +1 @@
+λ(x : Natural) → x