Upstream all local tests

See https://github.com/dhall-lang/dhall-lang/pull/933

10 files changed, 0 insertions, 29 deletions

diff --git a/dhall/tests/import/data/cycle.dhall b/dhall/tests/import/data/cycle.dhall
deleted file mode 100644
index c370a8d..0000000
--- a/dhall/tests/import/data/cycle.dhall
+++ /dev/null
@@ -1 +0,0 @@
-../failure/cycle.dhall
diff --git a/dhall/tests/import/data/doesNotTypecheck.dhall b/dhall/tests/import/data/doesNotTypecheck.dhall
deleted file mode 100644
index b748e2d..0000000
--- a/dhall/tests/import/data/doesNotTypecheck.dhall
+++ /dev/null
@@ -1 +0,0 @@
-0 0
diff --git a/dhall/tests/import/data/example.txt b/dhall/tests/import/data/example.txt
deleted file mode 100644
index af5626b..0000000
--- a/dhall/tests/import/data/example.txt
+++ /dev/null
@@ -1 +0,0 @@
-Hello, world!
diff --git a/dhall/tests/import/data/fieldOrder/1.dhall b/dhall/tests/import/data/fieldOrder/1.dhall
deleted file mode 100644
index 797e071..0000000
--- a/dhall/tests/import/data/fieldOrder/1.dhall
+++ /dev/null
@@ -1 +0,0 @@
-{ foo = 1, bar = True }
diff --git a/dhall/tests/import/data/fieldOrder/2.dhall b/dhall/tests/import/data/fieldOrder/2.dhall
deleted file mode 100644
index c16b568..0000000
--- a/dhall/tests/import/data/fieldOrder/2.dhall
+++ /dev/null
@@ -1 +0,0 @@
-{ bar = True, foo = 1 }
diff --git a/dhall/tests/import/data/importBoundary.dhall b/dhall/tests/import/data/importBoundary.dhall
deleted file mode 100644
index e6f1074..0000000
--- a/dhall/tests/import/data/importBoundary.dhall
+++ /dev/null
@@ -1,3 +0,0 @@
--- This file contains a free variable. This should be a type error, even if the variable
--- is in scope in the importing expression
-x
diff --git a/dhall/tests/import/data/nested.dhall b/dhall/tests/import/data/nested.dhall
deleted file mode 100644
index bf88f65..0000000
--- a/dhall/tests/import/data/nested.dhall
+++ /dev/null
@@ -1 +0,0 @@
-{ x = ./simple.dhall sha256:15f52ecf91c94c1baac02d5a4964b2ed8fa401641a2c8a95e8306ec7c1e3b8d2 }
diff --git a/dhall/tests/import/data/referentiallyOpaque.dhall b/dhall/tests/import/data/referentiallyOpaque.dhall
deleted file mode 100644
index ff33765..0000000
--- a/dhall/tests/import/data/referentiallyOpaque.dhall
+++ /dev/null
@@ -1,18 +0,0 @@
-{- This is a "referentially opaque" import (i.e. an import that is not
-   globally addressable), which cannot be imported by a "referentially
-   transparent" import (i.e. an import that is globally addressable).
-
-   This test file is used in a failing test to verify that referentially
-   transparent imports cannot import referentially opaque imports.  In the test
-   suite this file is actually imported via its GitHub URL (not its local file
-   path), so it plays the role of the referentially transparent import.  Then,
-   this file attempts to import a referentially opaque import (an environment
-   variable in this case) to verify that the import fails.
-
-   For this test file we need to select a referentially opaque import that
-   would succeed if imported on its own, so that a non-compliant implementation
-   doesn't fail this test for the wrong reason (i.e. due to the import not
-   being present).  We thus use the `DHALL_TEST_VAR` environment variable, that
-   is expected to be set when running import tests.
--}
-env:DHALL_TEST_VAR as Text
diff --git a/dhall/tests/import/data/simple.dhall b/dhall/tests/import/data/simple.dhall
deleted file mode 100644
index 00750ed..0000000
--- a/dhall/tests/import/data/simple.dhall
+++ /dev/null
@@ -1 +0,0 @@
-3
diff --git a/dhall/tests/import/data/simpleLocation.dhall b/dhall/tests/import/data/simpleLocation.dhall
deleted file mode 100644
index 1d3e43b..0000000
--- a/dhall/tests/import/data/simpleLocation.dhall
+++ /dev/null
@@ -1 +0,0 @@
-./simple.dhall as Location