From a610f53d794f430a9f57c37d8b88f76a62620506 Mon Sep 17 00:00:00 2001 From: Nadrieril Date: Sat, 7 Mar 2020 22:14:41 +0000 Subject: Upstream all local tests See https://github.com/dhall-lang/dhall-lang/pull/933 --- dhall/tests/import/data/cycle.dhall | 1 - dhall/tests/import/data/doesNotTypecheck.dhall | 1 - dhall/tests/import/data/example.txt | 1 - dhall/tests/import/data/fieldOrder/1.dhall | 1 - dhall/tests/import/data/fieldOrder/2.dhall | 1 - dhall/tests/import/data/importBoundary.dhall | 3 --- dhall/tests/import/data/nested.dhall | 1 - dhall/tests/import/data/referentiallyOpaque.dhall | 18 ------------------ dhall/tests/import/data/simple.dhall | 1 - dhall/tests/import/data/simpleLocation.dhall | 1 - 10 files changed, 29 deletions(-) delete mode 100644 dhall/tests/import/data/cycle.dhall delete mode 100644 dhall/tests/import/data/doesNotTypecheck.dhall delete mode 100644 dhall/tests/import/data/example.txt delete mode 100644 dhall/tests/import/data/fieldOrder/1.dhall delete mode 100644 dhall/tests/import/data/fieldOrder/2.dhall delete mode 100644 dhall/tests/import/data/importBoundary.dhall delete mode 100644 dhall/tests/import/data/nested.dhall delete mode 100644 dhall/tests/import/data/referentiallyOpaque.dhall delete mode 100644 dhall/tests/import/data/simple.dhall delete mode 100644 dhall/tests/import/data/simpleLocation.dhall (limited to 'dhall/tests/import/data') 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 -- cgit v1.2.3