diff options
author | Nadrieril | 2020-03-07 22:14:41 +0000 |
---|---|---|
committer | Nadrieril | 2020-03-10 18:00:38 +0000 |
commit | a610f53d794f430a9f57c37d8b88f76a62620506 (patch) | |
tree | 3bc3e69e3b9385a9583ba522ddfd9acd9f8961dd /dhall/tests/import/data/referentiallyOpaque.dhall | |
parent | 98d1b68b40d190b29f3fb1266de2794cc8ab9e54 (diff) |
Upstream all local tests
See https://github.com/dhall-lang/dhall-lang/pull/933
Diffstat (limited to '')
-rw-r--r-- | dhall/tests/import/data/referentiallyOpaque.dhall | 18 |
1 files changed, 0 insertions, 18 deletions
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 |