From 24ff14dc98b83ddc12239a0eae4852c9cd87d41f Mon Sep 17 00:00:00 2001 From: Nadrieril Date: Sun, 1 Mar 2020 16:37:10 +0000 Subject: Add a lot of import tests --- dhall/tests/import/success/unit/AlternativeChain1A.dhall | 1 + dhall/tests/import/success/unit/AlternativeChain1B.dhall | 1 + dhall/tests/import/success/unit/AlternativeChain2A.dhall | 1 + dhall/tests/import/success/unit/AlternativeChain2B.dhall | 1 + dhall/tests/import/success/unit/AlternativeEnvA.dhall | 1 + dhall/tests/import/success/unit/AlternativeEnvB.dhall | 1 + dhall/tests/import/success/unit/AlternativeHashMismatchA.dhall | 1 + dhall/tests/import/success/unit/AlternativeHashMismatchB.dhall | 1 + dhall/tests/import/success/unit/AlternativeImportErrorA.dhall | 1 + dhall/tests/import/success/unit/AlternativeImportErrorB.dhall | 1 + dhall/tests/import/success/unit/AlternativeNestedImportErrorA.dhall | 1 + dhall/tests/import/success/unit/AlternativeNestedImportErrorB.dhall | 1 + dhall/tests/import/success/unit/AlternativeNoError1A.dhall | 1 + dhall/tests/import/success/unit/AlternativeNoError1B.dhall | 1 + dhall/tests/import/success/unit/AlternativeNoError2A.dhall | 1 + dhall/tests/import/success/unit/AlternativeNoError2B.dhall | 1 + dhall/tests/import/success/unit/AlternativeNoError3A.dhall | 1 + dhall/tests/import/success/unit/AlternativeNoError3B.dhall | 1 + dhall/tests/import/success/unit/AlternativeParseErrorA.dhall | 1 + dhall/tests/import/success/unit/AlternativeParseErrorB.dhall | 1 + dhall/tests/import/success/unit/AlternativeSubExprA.dhall | 1 + dhall/tests/import/success/unit/AlternativeSubExprB.dhall | 1 + dhall/tests/import/success/unit/AlternativeTypeErrorA.dhall | 1 + dhall/tests/import/success/unit/AlternativeTypeErrorB.dhall | 1 + dhall/tests/import/success/unit/AsTextA.dhall | 1 + dhall/tests/import/success/unit/AsTextB.dhall | 3 +++ dhall/tests/import/success/unit/EnvSetA.dhall | 1 + dhall/tests/import/success/unit/EnvSetAsTextA.dhall | 1 + dhall/tests/import/success/unit/EnvSetAsTextB.dhall | 1 + dhall/tests/import/success/unit/EnvSetB.dhall | 1 + dhall/tests/import/success/unit/NormalizeA.dhall | 1 + dhall/tests/import/success/unit/NormalizeB.dhall | 1 + dhall/tests/import/success/unit/SimpleA.dhall | 1 + dhall/tests/import/success/unit/SimpleB.dhall | 1 + dhall/tests/import/success/unit/SimpleRemoteA.dhall | 1 + dhall/tests/import/success/unit/SimpleRemoteB.dhall | 1 + 36 files changed, 38 insertions(+) create mode 100644 dhall/tests/import/success/unit/AlternativeChain1A.dhall create mode 100644 dhall/tests/import/success/unit/AlternativeChain1B.dhall create mode 100644 dhall/tests/import/success/unit/AlternativeChain2A.dhall create mode 100644 dhall/tests/import/success/unit/AlternativeChain2B.dhall create mode 100644 dhall/tests/import/success/unit/AlternativeEnvA.dhall create mode 100644 dhall/tests/import/success/unit/AlternativeEnvB.dhall create mode 100644 dhall/tests/import/success/unit/AlternativeHashMismatchA.dhall create mode 100644 dhall/tests/import/success/unit/AlternativeHashMismatchB.dhall create mode 100644 dhall/tests/import/success/unit/AlternativeImportErrorA.dhall create mode 100644 dhall/tests/import/success/unit/AlternativeImportErrorB.dhall create mode 100644 dhall/tests/import/success/unit/AlternativeNestedImportErrorA.dhall create mode 100644 dhall/tests/import/success/unit/AlternativeNestedImportErrorB.dhall create mode 100644 dhall/tests/import/success/unit/AlternativeNoError1A.dhall create mode 100644 dhall/tests/import/success/unit/AlternativeNoError1B.dhall create mode 100644 dhall/tests/import/success/unit/AlternativeNoError2A.dhall create mode 100644 dhall/tests/import/success/unit/AlternativeNoError2B.dhall create mode 100644 dhall/tests/import/success/unit/AlternativeNoError3A.dhall create mode 100644 dhall/tests/import/success/unit/AlternativeNoError3B.dhall create mode 100644 dhall/tests/import/success/unit/AlternativeParseErrorA.dhall create mode 100644 dhall/tests/import/success/unit/AlternativeParseErrorB.dhall create mode 100644 dhall/tests/import/success/unit/AlternativeSubExprA.dhall create mode 100644 dhall/tests/import/success/unit/AlternativeSubExprB.dhall create mode 100644 dhall/tests/import/success/unit/AlternativeTypeErrorA.dhall create mode 100644 dhall/tests/import/success/unit/AlternativeTypeErrorB.dhall create mode 100644 dhall/tests/import/success/unit/AsTextA.dhall create mode 100644 dhall/tests/import/success/unit/AsTextB.dhall create mode 100644 dhall/tests/import/success/unit/EnvSetA.dhall create mode 100644 dhall/tests/import/success/unit/EnvSetAsTextA.dhall create mode 100644 dhall/tests/import/success/unit/EnvSetAsTextB.dhall create mode 100644 dhall/tests/import/success/unit/EnvSetB.dhall create mode 100644 dhall/tests/import/success/unit/NormalizeA.dhall create mode 100644 dhall/tests/import/success/unit/NormalizeB.dhall create mode 100644 dhall/tests/import/success/unit/SimpleA.dhall create mode 100644 dhall/tests/import/success/unit/SimpleB.dhall create mode 100644 dhall/tests/import/success/unit/SimpleRemoteA.dhall create mode 100644 dhall/tests/import/success/unit/SimpleRemoteB.dhall (limited to 'dhall/tests/import/success/unit') diff --git a/dhall/tests/import/success/unit/AlternativeChain1A.dhall b/dhall/tests/import/success/unit/AlternativeChain1A.dhall new file mode 100644 index 0000000..15fbf4b --- /dev/null +++ b/dhall/tests/import/success/unit/AlternativeChain1A.dhall @@ -0,0 +1 @@ +missing ? missing ? 42 diff --git a/dhall/tests/import/success/unit/AlternativeChain1B.dhall b/dhall/tests/import/success/unit/AlternativeChain1B.dhall new file mode 100644 index 0000000..d81cc07 --- /dev/null +++ b/dhall/tests/import/success/unit/AlternativeChain1B.dhall @@ -0,0 +1 @@ +42 diff --git a/dhall/tests/import/success/unit/AlternativeChain2A.dhall b/dhall/tests/import/success/unit/AlternativeChain2A.dhall new file mode 100644 index 0000000..f3ba4b5 --- /dev/null +++ b/dhall/tests/import/success/unit/AlternativeChain2A.dhall @@ -0,0 +1 @@ +missing ? 42 ? 10 diff --git a/dhall/tests/import/success/unit/AlternativeChain2B.dhall b/dhall/tests/import/success/unit/AlternativeChain2B.dhall new file mode 100644 index 0000000..d81cc07 --- /dev/null +++ b/dhall/tests/import/success/unit/AlternativeChain2B.dhall @@ -0,0 +1 @@ +42 diff --git a/dhall/tests/import/success/unit/AlternativeEnvA.dhall b/dhall/tests/import/success/unit/AlternativeEnvA.dhall new file mode 100644 index 0000000..1807534 --- /dev/null +++ b/dhall/tests/import/success/unit/AlternativeEnvA.dhall @@ -0,0 +1 @@ +env:DHALL_TEST_UNSET ? 42 diff --git a/dhall/tests/import/success/unit/AlternativeEnvB.dhall b/dhall/tests/import/success/unit/AlternativeEnvB.dhall new file mode 100644 index 0000000..d81cc07 --- /dev/null +++ b/dhall/tests/import/success/unit/AlternativeEnvB.dhall @@ -0,0 +1 @@ +42 diff --git a/dhall/tests/import/success/unit/AlternativeHashMismatchA.dhall b/dhall/tests/import/success/unit/AlternativeHashMismatchA.dhall new file mode 100644 index 0000000..8f7fb02 --- /dev/null +++ b/dhall/tests/import/success/unit/AlternativeHashMismatchA.dhall @@ -0,0 +1 @@ +../../data/simple.dhall sha256:aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa ? 42 diff --git a/dhall/tests/import/success/unit/AlternativeHashMismatchB.dhall b/dhall/tests/import/success/unit/AlternativeHashMismatchB.dhall new file mode 100644 index 0000000..d81cc07 --- /dev/null +++ b/dhall/tests/import/success/unit/AlternativeHashMismatchB.dhall @@ -0,0 +1 @@ +42 diff --git a/dhall/tests/import/success/unit/AlternativeImportErrorA.dhall b/dhall/tests/import/success/unit/AlternativeImportErrorA.dhall new file mode 100644 index 0000000..9ecc640 --- /dev/null +++ b/dhall/tests/import/success/unit/AlternativeImportErrorA.dhall @@ -0,0 +1 @@ +missing ? 42 diff --git a/dhall/tests/import/success/unit/AlternativeImportErrorB.dhall b/dhall/tests/import/success/unit/AlternativeImportErrorB.dhall new file mode 100644 index 0000000..d81cc07 --- /dev/null +++ b/dhall/tests/import/success/unit/AlternativeImportErrorB.dhall @@ -0,0 +1 @@ +42 diff --git a/dhall/tests/import/success/unit/AlternativeNestedImportErrorA.dhall b/dhall/tests/import/success/unit/AlternativeNestedImportErrorA.dhall new file mode 100644 index 0000000..d681287 --- /dev/null +++ b/dhall/tests/import/success/unit/AlternativeNestedImportErrorA.dhall @@ -0,0 +1 @@ +../../failure/missing.dhall ? 42 diff --git a/dhall/tests/import/success/unit/AlternativeNestedImportErrorB.dhall b/dhall/tests/import/success/unit/AlternativeNestedImportErrorB.dhall new file mode 100644 index 0000000..d81cc07 --- /dev/null +++ b/dhall/tests/import/success/unit/AlternativeNestedImportErrorB.dhall @@ -0,0 +1 @@ +42 diff --git a/dhall/tests/import/success/unit/AlternativeNoError1A.dhall b/dhall/tests/import/success/unit/AlternativeNoError1A.dhall new file mode 100644 index 0000000..f7c9caf --- /dev/null +++ b/dhall/tests/import/success/unit/AlternativeNoError1A.dhall @@ -0,0 +1 @@ +42 ? 10 diff --git a/dhall/tests/import/success/unit/AlternativeNoError1B.dhall b/dhall/tests/import/success/unit/AlternativeNoError1B.dhall new file mode 100644 index 0000000..d81cc07 --- /dev/null +++ b/dhall/tests/import/success/unit/AlternativeNoError1B.dhall @@ -0,0 +1 @@ +42 diff --git a/dhall/tests/import/success/unit/AlternativeNoError2A.dhall b/dhall/tests/import/success/unit/AlternativeNoError2A.dhall new file mode 100644 index 0000000..877afd2 --- /dev/null +++ b/dhall/tests/import/success/unit/AlternativeNoError2A.dhall @@ -0,0 +1 @@ +42 ? missing diff --git a/dhall/tests/import/success/unit/AlternativeNoError2B.dhall b/dhall/tests/import/success/unit/AlternativeNoError2B.dhall new file mode 100644 index 0000000..d81cc07 --- /dev/null +++ b/dhall/tests/import/success/unit/AlternativeNoError2B.dhall @@ -0,0 +1 @@ +42 diff --git a/dhall/tests/import/success/unit/AlternativeNoError3A.dhall b/dhall/tests/import/success/unit/AlternativeNoError3A.dhall new file mode 100644 index 0000000..91bcda2 --- /dev/null +++ b/dhall/tests/import/success/unit/AlternativeNoError3A.dhall @@ -0,0 +1 @@ +env:DHALL_TEST_VAR ? 10 diff --git a/dhall/tests/import/success/unit/AlternativeNoError3B.dhall b/dhall/tests/import/success/unit/AlternativeNoError3B.dhall new file mode 100644 index 0000000..d81cc07 --- /dev/null +++ b/dhall/tests/import/success/unit/AlternativeNoError3B.dhall @@ -0,0 +1 @@ +42 diff --git a/dhall/tests/import/success/unit/AlternativeParseErrorA.dhall b/dhall/tests/import/success/unit/AlternativeParseErrorA.dhall new file mode 100644 index 0000000..d427c5d --- /dev/null +++ b/dhall/tests/import/success/unit/AlternativeParseErrorA.dhall @@ -0,0 +1 @@ +../../data/example.txt ? 42 diff --git a/dhall/tests/import/success/unit/AlternativeParseErrorB.dhall b/dhall/tests/import/success/unit/AlternativeParseErrorB.dhall new file mode 100644 index 0000000..d81cc07 --- /dev/null +++ b/dhall/tests/import/success/unit/AlternativeParseErrorB.dhall @@ -0,0 +1 @@ +42 diff --git a/dhall/tests/import/success/unit/AlternativeSubExprA.dhall b/dhall/tests/import/success/unit/AlternativeSubExprA.dhall new file mode 100644 index 0000000..2c13f4b --- /dev/null +++ b/dhall/tests/import/success/unit/AlternativeSubExprA.dhall @@ -0,0 +1 @@ +missing + 10 ? 42 diff --git a/dhall/tests/import/success/unit/AlternativeSubExprB.dhall b/dhall/tests/import/success/unit/AlternativeSubExprB.dhall new file mode 100644 index 0000000..d81cc07 --- /dev/null +++ b/dhall/tests/import/success/unit/AlternativeSubExprB.dhall @@ -0,0 +1 @@ +42 diff --git a/dhall/tests/import/success/unit/AlternativeTypeErrorA.dhall b/dhall/tests/import/success/unit/AlternativeTypeErrorA.dhall new file mode 100644 index 0000000..24ae717 --- /dev/null +++ b/dhall/tests/import/success/unit/AlternativeTypeErrorA.dhall @@ -0,0 +1 @@ +../../data/doesNotTypecheck.dhall ? 42 diff --git a/dhall/tests/import/success/unit/AlternativeTypeErrorB.dhall b/dhall/tests/import/success/unit/AlternativeTypeErrorB.dhall new file mode 100644 index 0000000..d81cc07 --- /dev/null +++ b/dhall/tests/import/success/unit/AlternativeTypeErrorB.dhall @@ -0,0 +1 @@ +42 diff --git a/dhall/tests/import/success/unit/AsTextA.dhall b/dhall/tests/import/success/unit/AsTextA.dhall new file mode 100644 index 0000000..9edb0ed --- /dev/null +++ b/dhall/tests/import/success/unit/AsTextA.dhall @@ -0,0 +1 @@ +../../data/example.txt as Text diff --git a/dhall/tests/import/success/unit/AsTextB.dhall b/dhall/tests/import/success/unit/AsTextB.dhall new file mode 100644 index 0000000..1997a89 --- /dev/null +++ b/dhall/tests/import/success/unit/AsTextB.dhall @@ -0,0 +1,3 @@ +'' +Hello, world! +'' diff --git a/dhall/tests/import/success/unit/EnvSetA.dhall b/dhall/tests/import/success/unit/EnvSetA.dhall new file mode 100644 index 0000000..f851f2a --- /dev/null +++ b/dhall/tests/import/success/unit/EnvSetA.dhall @@ -0,0 +1 @@ +env:DHALL_TEST_VAR diff --git a/dhall/tests/import/success/unit/EnvSetAsTextA.dhall b/dhall/tests/import/success/unit/EnvSetAsTextA.dhall new file mode 100644 index 0000000..139b241 --- /dev/null +++ b/dhall/tests/import/success/unit/EnvSetAsTextA.dhall @@ -0,0 +1 @@ +env:DHALL_TEST_VAR as Text diff --git a/dhall/tests/import/success/unit/EnvSetAsTextB.dhall b/dhall/tests/import/success/unit/EnvSetAsTextB.dhall new file mode 100644 index 0000000..192548e --- /dev/null +++ b/dhall/tests/import/success/unit/EnvSetAsTextB.dhall @@ -0,0 +1 @@ +"42" diff --git a/dhall/tests/import/success/unit/EnvSetB.dhall b/dhall/tests/import/success/unit/EnvSetB.dhall new file mode 100644 index 0000000..d81cc07 --- /dev/null +++ b/dhall/tests/import/success/unit/EnvSetB.dhall @@ -0,0 +1 @@ +42 diff --git a/dhall/tests/import/success/unit/NormalizeA.dhall b/dhall/tests/import/success/unit/NormalizeA.dhall new file mode 100644 index 0000000..2f89d08 --- /dev/null +++ b/dhall/tests/import/success/unit/NormalizeA.dhall @@ -0,0 +1 @@ +../../../../../dhall-lang/tests/normalization/success/unit/OperatorPlusOneAndOneA.dhall diff --git a/dhall/tests/import/success/unit/NormalizeB.dhall b/dhall/tests/import/success/unit/NormalizeB.dhall new file mode 100644 index 0000000..0cfbf08 --- /dev/null +++ b/dhall/tests/import/success/unit/NormalizeB.dhall @@ -0,0 +1 @@ +2 diff --git a/dhall/tests/import/success/unit/SimpleA.dhall b/dhall/tests/import/success/unit/SimpleA.dhall new file mode 100644 index 0000000..035ee8b --- /dev/null +++ b/dhall/tests/import/success/unit/SimpleA.dhall @@ -0,0 +1 @@ +../../data/simple.dhall diff --git a/dhall/tests/import/success/unit/SimpleB.dhall b/dhall/tests/import/success/unit/SimpleB.dhall new file mode 100644 index 0000000..00750ed --- /dev/null +++ b/dhall/tests/import/success/unit/SimpleB.dhall @@ -0,0 +1 @@ +3 diff --git a/dhall/tests/import/success/unit/SimpleRemoteA.dhall b/dhall/tests/import/success/unit/SimpleRemoteA.dhall new file mode 100644 index 0000000..30e0a79 --- /dev/null +++ b/dhall/tests/import/success/unit/SimpleRemoteA.dhall @@ -0,0 +1 @@ +https://raw.githubusercontent.com/dhall-lang/dhall-lang/0b983b92aa2222dc3e292c20550ee37dea3f41df/tests/import/data/simple.dhall diff --git a/dhall/tests/import/success/unit/SimpleRemoteB.dhall b/dhall/tests/import/success/unit/SimpleRemoteB.dhall new file mode 100644 index 0000000..00750ed --- /dev/null +++ b/dhall/tests/import/success/unit/SimpleRemoteB.dhall @@ -0,0 +1 @@ +3 -- cgit v1.2.3