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/success | |
| parent | 98d1b68b40d190b29f3fb1266de2794cc8ab9e54 (diff) | |
Upstream all local tests
See https://github.com/dhall-lang/dhall-lang/pull/933
Diffstat (limited to 'dhall/tests/import/success')
86 files changed, 0 insertions, 112 deletions
diff --git a/dhall/tests/import/success/unit/AlternativeChain1A.dhall b/dhall/tests/import/success/unit/AlternativeChain1A.dhall deleted file mode 100644 index 15fbf4b..0000000 --- a/dhall/tests/import/success/unit/AlternativeChain1A.dhall +++ /dev/null @@ -1 +0,0 @@ -missing ? missing ? 42 diff --git a/dhall/tests/import/success/unit/AlternativeChain1B.dhall b/dhall/tests/import/success/unit/AlternativeChain1B.dhall deleted file mode 100644 index d81cc07..0000000 --- a/dhall/tests/import/success/unit/AlternativeChain1B.dhall +++ /dev/null @@ -1 +0,0 @@ -42 diff --git a/dhall/tests/import/success/unit/AlternativeChain2A.dhall b/dhall/tests/import/success/unit/AlternativeChain2A.dhall deleted file mode 100644 index f3ba4b5..0000000 --- a/dhall/tests/import/success/unit/AlternativeChain2A.dhall +++ /dev/null @@ -1 +0,0 @@ -missing ? 42 ? 10 diff --git a/dhall/tests/import/success/unit/AlternativeChain2B.dhall b/dhall/tests/import/success/unit/AlternativeChain2B.dhall deleted file mode 100644 index d81cc07..0000000 --- a/dhall/tests/import/success/unit/AlternativeChain2B.dhall +++ /dev/null @@ -1 +0,0 @@ -42 diff --git a/dhall/tests/import/success/unit/AlternativeEnvA.dhall b/dhall/tests/import/success/unit/AlternativeEnvA.dhall deleted file mode 100644 index 1807534..0000000 --- a/dhall/tests/import/success/unit/AlternativeEnvA.dhall +++ /dev/null @@ -1 +0,0 @@ -env:DHALL_TEST_UNSET ? 42 diff --git a/dhall/tests/import/success/unit/AlternativeEnvB.dhall b/dhall/tests/import/success/unit/AlternativeEnvB.dhall deleted file mode 100644 index d81cc07..0000000 --- a/dhall/tests/import/success/unit/AlternativeEnvB.dhall +++ /dev/null @@ -1 +0,0 @@ -42 diff --git a/dhall/tests/import/success/unit/AlternativeHashMismatchA.dhall b/dhall/tests/import/success/unit/AlternativeHashMismatchA.dhall deleted file mode 100644 index 8f7fb02..0000000 --- a/dhall/tests/import/success/unit/AlternativeHashMismatchA.dhall +++ /dev/null @@ -1 +0,0 @@ -../../data/simple.dhall sha256:aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa ? 42 diff --git a/dhall/tests/import/success/unit/AlternativeHashMismatchB.dhall b/dhall/tests/import/success/unit/AlternativeHashMismatchB.dhall deleted file mode 100644 index d81cc07..0000000 --- a/dhall/tests/import/success/unit/AlternativeHashMismatchB.dhall +++ /dev/null @@ -1 +0,0 @@ -42 diff --git a/dhall/tests/import/success/unit/AlternativeImportErrorA.dhall b/dhall/tests/import/success/unit/AlternativeImportErrorA.dhall deleted file mode 100644 index 9ecc640..0000000 --- a/dhall/tests/import/success/unit/AlternativeImportErrorA.dhall +++ /dev/null @@ -1 +0,0 @@ -missing ? 42 diff --git a/dhall/tests/import/success/unit/AlternativeImportErrorB.dhall b/dhall/tests/import/success/unit/AlternativeImportErrorB.dhall deleted file mode 100644 index d81cc07..0000000 --- a/dhall/tests/import/success/unit/AlternativeImportErrorB.dhall +++ /dev/null @@ -1 +0,0 @@ -42 diff --git a/dhall/tests/import/success/unit/AlternativeNestedImportErrorA.dhall b/dhall/tests/import/success/unit/AlternativeNestedImportErrorA.dhall deleted file mode 100644 index d681287..0000000 --- a/dhall/tests/import/success/unit/AlternativeNestedImportErrorA.dhall +++ /dev/null @@ -1 +0,0 @@ -../../failure/missing.dhall ? 42 diff --git a/dhall/tests/import/success/unit/AlternativeNestedImportErrorB.dhall b/dhall/tests/import/success/unit/AlternativeNestedImportErrorB.dhall deleted file mode 100644 index d81cc07..0000000 --- a/dhall/tests/import/success/unit/AlternativeNestedImportErrorB.dhall +++ /dev/null @@ -1 +0,0 @@ -42 diff --git a/dhall/tests/import/success/unit/AlternativeNoError1A.dhall b/dhall/tests/import/success/unit/AlternativeNoError1A.dhall deleted file mode 100644 index f7c9caf..0000000 --- a/dhall/tests/import/success/unit/AlternativeNoError1A.dhall +++ /dev/null @@ -1 +0,0 @@ -42 ? 10 diff --git a/dhall/tests/import/success/unit/AlternativeNoError1B.dhall b/dhall/tests/import/success/unit/AlternativeNoError1B.dhall deleted file mode 100644 index d81cc07..0000000 --- a/dhall/tests/import/success/unit/AlternativeNoError1B.dhall +++ /dev/null @@ -1 +0,0 @@ -42 diff --git a/dhall/tests/import/success/unit/AlternativeNoError2A.dhall b/dhall/tests/import/success/unit/AlternativeNoError2A.dhall deleted file mode 100644 index 877afd2..0000000 --- a/dhall/tests/import/success/unit/AlternativeNoError2A.dhall +++ /dev/null @@ -1 +0,0 @@ -42 ? missing diff --git a/dhall/tests/import/success/unit/AlternativeNoError2B.dhall b/dhall/tests/import/success/unit/AlternativeNoError2B.dhall deleted file mode 100644 index d81cc07..0000000 --- a/dhall/tests/import/success/unit/AlternativeNoError2B.dhall +++ /dev/null @@ -1 +0,0 @@ -42 diff --git a/dhall/tests/import/success/unit/AlternativeNoError3A.dhall b/dhall/tests/import/success/unit/AlternativeNoError3A.dhall deleted file mode 100644 index 91bcda2..0000000 --- a/dhall/tests/import/success/unit/AlternativeNoError3A.dhall +++ /dev/null @@ -1 +0,0 @@ -env:DHALL_TEST_VAR ? 10 diff --git a/dhall/tests/import/success/unit/AlternativeNoError3B.dhall b/dhall/tests/import/success/unit/AlternativeNoError3B.dhall deleted file mode 100644 index d81cc07..0000000 --- a/dhall/tests/import/success/unit/AlternativeNoError3B.dhall +++ /dev/null @@ -1 +0,0 @@ -42 diff --git a/dhall/tests/import/success/unit/AlternativeParseErrorA.dhall b/dhall/tests/import/success/unit/AlternativeParseErrorA.dhall deleted file mode 100644 index d427c5d..0000000 --- a/dhall/tests/import/success/unit/AlternativeParseErrorA.dhall +++ /dev/null @@ -1 +0,0 @@ -../../data/example.txt ? 42 diff --git a/dhall/tests/import/success/unit/AlternativeParseErrorB.dhall b/dhall/tests/import/success/unit/AlternativeParseErrorB.dhall deleted file mode 100644 index d81cc07..0000000 --- a/dhall/tests/import/success/unit/AlternativeParseErrorB.dhall +++ /dev/null @@ -1 +0,0 @@ -42 diff --git a/dhall/tests/import/success/unit/AlternativeSubExprA.dhall b/dhall/tests/import/success/unit/AlternativeSubExprA.dhall deleted file mode 100644 index 2c13f4b..0000000 --- a/dhall/tests/import/success/unit/AlternativeSubExprA.dhall +++ /dev/null @@ -1 +0,0 @@ -missing + 10 ? 42 diff --git a/dhall/tests/import/success/unit/AlternativeSubExprB.dhall b/dhall/tests/import/success/unit/AlternativeSubExprB.dhall deleted file mode 100644 index d81cc07..0000000 --- a/dhall/tests/import/success/unit/AlternativeSubExprB.dhall +++ /dev/null @@ -1 +0,0 @@ -42 diff --git a/dhall/tests/import/success/unit/AlternativeTypeErrorA.dhall b/dhall/tests/import/success/unit/AlternativeTypeErrorA.dhall deleted file mode 100644 index 24ae717..0000000 --- a/dhall/tests/import/success/unit/AlternativeTypeErrorA.dhall +++ /dev/null @@ -1 +0,0 @@ -../../data/doesNotTypecheck.dhall ? 42 diff --git a/dhall/tests/import/success/unit/AlternativeTypeErrorB.dhall b/dhall/tests/import/success/unit/AlternativeTypeErrorB.dhall deleted file mode 100644 index d81cc07..0000000 --- a/dhall/tests/import/success/unit/AlternativeTypeErrorB.dhall +++ /dev/null @@ -1 +0,0 @@ -42 diff --git a/dhall/tests/import/success/unit/AsTextA.dhall b/dhall/tests/import/success/unit/AsTextA.dhall deleted file mode 100644 index 9edb0ed..0000000 --- a/dhall/tests/import/success/unit/AsTextA.dhall +++ /dev/null @@ -1 +0,0 @@ -../../data/example.txt as Text diff --git a/dhall/tests/import/success/unit/AsTextB.dhall b/dhall/tests/import/success/unit/AsTextB.dhall deleted file mode 100644 index 1997a89..0000000 --- a/dhall/tests/import/success/unit/AsTextB.dhall +++ /dev/null @@ -1,3 +0,0 @@ -'' -Hello, world! -'' diff --git a/dhall/tests/import/success/unit/EnvSetA.dhall b/dhall/tests/import/success/unit/EnvSetA.dhall deleted file mode 100644 index f851f2a..0000000 --- a/dhall/tests/import/success/unit/EnvSetA.dhall +++ /dev/null @@ -1 +0,0 @@ -env:DHALL_TEST_VAR diff --git a/dhall/tests/import/success/unit/EnvSetAsTextA.dhall b/dhall/tests/import/success/unit/EnvSetAsTextA.dhall deleted file mode 100644 index 139b241..0000000 --- a/dhall/tests/import/success/unit/EnvSetAsTextA.dhall +++ /dev/null @@ -1 +0,0 @@ -env:DHALL_TEST_VAR as Text diff --git a/dhall/tests/import/success/unit/EnvSetAsTextB.dhall b/dhall/tests/import/success/unit/EnvSetAsTextB.dhall deleted file mode 100644 index a79bb82..0000000 --- a/dhall/tests/import/success/unit/EnvSetAsTextB.dhall +++ /dev/null @@ -1 +0,0 @@ -"6 * 7" diff --git a/dhall/tests/import/success/unit/EnvSetB.dhall b/dhall/tests/import/success/unit/EnvSetB.dhall deleted file mode 100644 index d81cc07..0000000 --- a/dhall/tests/import/success/unit/EnvSetB.dhall +++ /dev/null @@ -1 +0,0 @@ -42 diff --git a/dhall/tests/import/success/unit/NormalizeA.dhall b/dhall/tests/import/success/unit/NormalizeA.dhall deleted file mode 100644 index 2f89d08..0000000 --- a/dhall/tests/import/success/unit/NormalizeA.dhall +++ /dev/null @@ -1 +0,0 @@ -../../../../../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 deleted file mode 100644 index 0cfbf08..0000000 --- a/dhall/tests/import/success/unit/NormalizeB.dhall +++ /dev/null @@ -1 +0,0 @@ -2 diff --git a/dhall/tests/import/success/unit/RemoteAsTextA.dhall b/dhall/tests/import/success/unit/RemoteAsTextA.dhall deleted file mode 100644 index 472d041..0000000 --- a/dhall/tests/import/success/unit/RemoteAsTextA.dhall +++ /dev/null @@ -1 +0,0 @@ -https://raw.githubusercontent.com/dhall-lang/dhall-lang/0b983b92aa2222dc3e292c20550ee37dea3f41df/tests/import/data/example.txt as Text diff --git a/dhall/tests/import/success/unit/RemoteAsTextB.dhall b/dhall/tests/import/success/unit/RemoteAsTextB.dhall deleted file mode 100644 index 1997a89..0000000 --- a/dhall/tests/import/success/unit/RemoteAsTextB.dhall +++ /dev/null @@ -1,3 +0,0 @@ -'' -Hello, world! -'' diff --git a/dhall/tests/import/success/unit/SimpleA.dhall b/dhall/tests/import/success/unit/SimpleA.dhall deleted file mode 100644 index 035ee8b..0000000 --- a/dhall/tests/import/success/unit/SimpleA.dhall +++ /dev/null @@ -1 +0,0 @@ -../../data/simple.dhall diff --git a/dhall/tests/import/success/unit/SimpleB.dhall b/dhall/tests/import/success/unit/SimpleB.dhall deleted file mode 100644 index 00750ed..0000000 --- a/dhall/tests/import/success/unit/SimpleB.dhall +++ /dev/null @@ -1 +0,0 @@ -3 diff --git a/dhall/tests/import/success/unit/SimpleRemoteA.dhall b/dhall/tests/import/success/unit/SimpleRemoteA.dhall deleted file mode 100644 index 30e0a79..0000000 --- a/dhall/tests/import/success/unit/SimpleRemoteA.dhall +++ /dev/null @@ -1 +0,0 @@ -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 deleted file mode 100644 index 00750ed..0000000 --- a/dhall/tests/import/success/unit/SimpleRemoteB.dhall +++ /dev/null @@ -1 +0,0 @@ -3 diff --git a/dhall/tests/import/success/unit/asLocation/AbsoluteA.dhall b/dhall/tests/import/success/unit/asLocation/AbsoluteA.dhall deleted file mode 100644 index dcf45d1..0000000 --- a/dhall/tests/import/success/unit/asLocation/AbsoluteA.dhall +++ /dev/null @@ -1 +0,0 @@ -/absolute/import as Location diff --git a/dhall/tests/import/success/unit/asLocation/AbsoluteB.dhall b/dhall/tests/import/success/unit/asLocation/AbsoluteB.dhall deleted file mode 100644 index 1c1add7..0000000 --- a/dhall/tests/import/success/unit/asLocation/AbsoluteB.dhall +++ /dev/null @@ -1,2 +0,0 @@ -< Environment : Text | Remote : Text | Local : Text | Missing >.Local - "/absolute/import" diff --git a/dhall/tests/import/success/unit/asLocation/Canonicalize1A.dhall b/dhall/tests/import/success/unit/asLocation/Canonicalize1A.dhall deleted file mode 100644 index e636ed1..0000000 --- a/dhall/tests/import/success/unit/asLocation/Canonicalize1A.dhall +++ /dev/null @@ -1 +0,0 @@ -./foo/./bar/import.dhall as Location diff --git a/dhall/tests/import/success/unit/asLocation/Canonicalize1B.dhall b/dhall/tests/import/success/unit/asLocation/Canonicalize1B.dhall deleted file mode 100644 index 3a8a926..0000000 --- a/dhall/tests/import/success/unit/asLocation/Canonicalize1B.dhall +++ /dev/null @@ -1,2 +0,0 @@ -< Environment : Text | Remote : Text | Local : Text | Missing >.Local - "./dhall/tests/import/success/unit/asLocation/foo/bar/import.dhall" diff --git a/dhall/tests/import/success/unit/asLocation/Canonicalize2A.dhall b/dhall/tests/import/success/unit/asLocation/Canonicalize2A.dhall deleted file mode 100644 index c6ef89f..0000000 --- a/dhall/tests/import/success/unit/asLocation/Canonicalize2A.dhall +++ /dev/null @@ -1 +0,0 @@ -./foo/baz/../bar/import.dhall as Location diff --git a/dhall/tests/import/success/unit/asLocation/Canonicalize2B.dhall b/dhall/tests/import/success/unit/asLocation/Canonicalize2B.dhall deleted file mode 100644 index 3a8a926..0000000 --- a/dhall/tests/import/success/unit/asLocation/Canonicalize2B.dhall +++ /dev/null @@ -1,2 +0,0 @@ -< Environment : Text | Remote : Text | Local : Text | Missing >.Local - "./dhall/tests/import/success/unit/asLocation/foo/bar/import.dhall" diff --git a/dhall/tests/import/success/unit/asLocation/Canonicalize3A.dhall b/dhall/tests/import/success/unit/asLocation/Canonicalize3A.dhall deleted file mode 100644 index e6be780..0000000 --- a/dhall/tests/import/success/unit/asLocation/Canonicalize3A.dhall +++ /dev/null @@ -1 +0,0 @@ -./../bar/import.dhall as Location diff --git a/dhall/tests/import/success/unit/asLocation/Canonicalize3B.dhall b/dhall/tests/import/success/unit/asLocation/Canonicalize3B.dhall deleted file mode 100644 index b223da6..0000000 --- a/dhall/tests/import/success/unit/asLocation/Canonicalize3B.dhall +++ /dev/null @@ -1,2 +0,0 @@ -< Environment : Text | Remote : Text | Local : Text | Missing >.Local - "./dhall/tests/import/success/unit/bar/import.dhall" diff --git a/dhall/tests/import/success/unit/asLocation/Canonicalize4A.dhall b/dhall/tests/import/success/unit/asLocation/Canonicalize4A.dhall deleted file mode 100644 index ffccd47..0000000 --- a/dhall/tests/import/success/unit/asLocation/Canonicalize4A.dhall +++ /dev/null @@ -1 +0,0 @@ -../../bar/import.dhall as Location diff --git a/dhall/tests/import/success/unit/asLocation/Canonicalize4B.dhall b/dhall/tests/import/success/unit/asLocation/Canonicalize4B.dhall deleted file mode 100644 index b6301f8..0000000 --- a/dhall/tests/import/success/unit/asLocation/Canonicalize4B.dhall +++ /dev/null @@ -1,2 +0,0 @@ -< Environment : Text | Remote : Text | Local : Text | Missing >.Local - "./dhall/tests/import/success/bar/import.dhall" diff --git a/dhall/tests/import/success/unit/asLocation/Canonicalize5A.dhall b/dhall/tests/import/success/unit/asLocation/Canonicalize5A.dhall deleted file mode 100644 index 7e58f0b..0000000 --- a/dhall/tests/import/success/unit/asLocation/Canonicalize5A.dhall +++ /dev/null @@ -1 +0,0 @@ -./foo/../../bar/import.dhall as Location diff --git a/dhall/tests/import/success/unit/asLocation/Canonicalize5B.dhall b/dhall/tests/import/success/unit/asLocation/Canonicalize5B.dhall deleted file mode 100644 index b223da6..0000000 --- a/dhall/tests/import/success/unit/asLocation/Canonicalize5B.dhall +++ /dev/null @@ -1,2 +0,0 @@ -< Environment : Text | Remote : Text | Local : Text | Missing >.Local - "./dhall/tests/import/success/unit/bar/import.dhall" diff --git a/dhall/tests/import/success/unit/asLocation/Chain1A.dhall b/dhall/tests/import/success/unit/asLocation/Chain1A.dhall deleted file mode 100644 index cf633fe..0000000 --- a/dhall/tests/import/success/unit/asLocation/Chain1A.dhall +++ /dev/null @@ -1 +0,0 @@ -./Relative1A.dhall diff --git a/dhall/tests/import/success/unit/asLocation/Chain1B.dhall b/dhall/tests/import/success/unit/asLocation/Chain1B.dhall deleted file mode 100644 index 6aee0b5..0000000 --- a/dhall/tests/import/success/unit/asLocation/Chain1B.dhall +++ /dev/null @@ -1,2 +0,0 @@ -< Environment : Text | Local : Text | Missing | Remote : Text >.Local - "./dhall/tests/import/success/unit/asLocation/some/import.dhall" diff --git a/dhall/tests/import/success/unit/asLocation/Chain2A.dhall b/dhall/tests/import/success/unit/asLocation/Chain2A.dhall deleted file mode 100644 index cdbd10d..0000000 --- a/dhall/tests/import/success/unit/asLocation/Chain2A.dhall +++ /dev/null @@ -1 +0,0 @@ -./Canonicalize4A.dhall diff --git a/dhall/tests/import/success/unit/asLocation/Chain2B.dhall b/dhall/tests/import/success/unit/asLocation/Chain2B.dhall deleted file mode 100644 index 6aba54e..0000000 --- a/dhall/tests/import/success/unit/asLocation/Chain2B.dhall +++ /dev/null @@ -1,2 +0,0 @@ -< Environment : Text | Local : Text | Missing | Remote : Text >.Local - "./dhall/tests/import/success/bar/import.dhall" diff --git a/dhall/tests/import/success/unit/asLocation/Chain3A.dhall b/dhall/tests/import/success/unit/asLocation/Chain3A.dhall deleted file mode 100644 index 57751f6..0000000 --- a/dhall/tests/import/success/unit/asLocation/Chain3A.dhall +++ /dev/null @@ -1 +0,0 @@ -../asLocation/Canonicalize4A.dhall diff --git a/dhall/tests/import/success/unit/asLocation/Chain3B.dhall b/dhall/tests/import/success/unit/asLocation/Chain3B.dhall deleted file mode 100644 index 6aba54e..0000000 --- a/dhall/tests/import/success/unit/asLocation/Chain3B.dhall +++ /dev/null @@ -1,2 +0,0 @@ -< Environment : Text | Local : Text | Missing | Remote : Text >.Local - "./dhall/tests/import/success/bar/import.dhall" diff --git a/dhall/tests/import/success/unit/asLocation/DontTryResolvingA.dhall b/dhall/tests/import/success/unit/asLocation/DontTryResolvingA.dhall deleted file mode 100644 index e70016c..0000000 --- a/dhall/tests/import/success/unit/asLocation/DontTryResolvingA.dhall +++ /dev/null @@ -1 +0,0 @@ -(missing as Location) ? 42 -- `missing` fails as an import, but definitely resolves as Location diff --git a/dhall/tests/import/success/unit/asLocation/DontTryResolvingB.dhall b/dhall/tests/import/success/unit/asLocation/DontTryResolvingB.dhall deleted file mode 100644 index dd5e798..0000000 --- a/dhall/tests/import/success/unit/asLocation/DontTryResolvingB.dhall +++ /dev/null @@ -1 +0,0 @@ -< Environment : Text | Remote : Text | Local : Text | Missing >.Missing diff --git a/dhall/tests/import/success/unit/asLocation/EnvA.dhall b/dhall/tests/import/success/unit/asLocation/EnvA.dhall deleted file mode 100644 index eb4b4a6..0000000 --- a/dhall/tests/import/success/unit/asLocation/EnvA.dhall +++ /dev/null @@ -1 +0,0 @@ -env:HOME as Location diff --git a/dhall/tests/import/success/unit/asLocation/EnvB.dhall b/dhall/tests/import/success/unit/asLocation/EnvB.dhall deleted file mode 100644 index 4947caa..0000000 --- a/dhall/tests/import/success/unit/asLocation/EnvB.dhall +++ /dev/null @@ -1,2 +0,0 @@ -< Environment : Text | Remote : Text | Local : Text | Missing >.Environment - "HOME" diff --git a/dhall/tests/import/success/unit/asLocation/HashA.dhall b/dhall/tests/import/success/unit/asLocation/HashA.dhall deleted file mode 100644 index 79f4fda..0000000 --- a/dhall/tests/import/success/unit/asLocation/HashA.dhall +++ /dev/null @@ -1 +0,0 @@ -./some/import.dhall sha256:f9340badf94a684e652e0a384f64363293d8b632d971f3453f7ee22f10ab6e75 as Location diff --git a/dhall/tests/import/success/unit/asLocation/HashB.dhall b/dhall/tests/import/success/unit/asLocation/HashB.dhall deleted file mode 100644 index 6aee0b5..0000000 --- a/dhall/tests/import/success/unit/asLocation/HashB.dhall +++ /dev/null @@ -1,2 +0,0 @@ -< Environment : Text | Local : Text | Missing | Remote : Text >.Local - "./dhall/tests/import/success/unit/asLocation/some/import.dhall" diff --git a/dhall/tests/import/success/unit/asLocation/HomeA.dhall b/dhall/tests/import/success/unit/asLocation/HomeA.dhall deleted file mode 100644 index 18cc2cd..0000000 --- a/dhall/tests/import/success/unit/asLocation/HomeA.dhall +++ /dev/null @@ -1 +0,0 @@ -~/some/import.dhall as Location diff --git a/dhall/tests/import/success/unit/asLocation/HomeB.dhall b/dhall/tests/import/success/unit/asLocation/HomeB.dhall deleted file mode 100644 index 8b4f0fd..0000000 --- a/dhall/tests/import/success/unit/asLocation/HomeB.dhall +++ /dev/null @@ -1,2 +0,0 @@ -< Environment : Text | Remote : Text | Local : Text | Missing >.Local - "~/some/import.dhall" diff --git a/dhall/tests/import/success/unit/asLocation/MissingA.dhall b/dhall/tests/import/success/unit/asLocation/MissingA.dhall deleted file mode 100644 index e06a30b..0000000 --- a/dhall/tests/import/success/unit/asLocation/MissingA.dhall +++ /dev/null @@ -1 +0,0 @@ -missing as Location diff --git a/dhall/tests/import/success/unit/asLocation/MissingB.dhall b/dhall/tests/import/success/unit/asLocation/MissingB.dhall deleted file mode 100644 index dd5e798..0000000 --- a/dhall/tests/import/success/unit/asLocation/MissingB.dhall +++ /dev/null @@ -1 +0,0 @@ -< Environment : Text | Remote : Text | Local : Text | Missing >.Missing diff --git a/dhall/tests/import/success/unit/asLocation/Relative1A.dhall b/dhall/tests/import/success/unit/asLocation/Relative1A.dhall deleted file mode 100644 index b514f79..0000000 --- a/dhall/tests/import/success/unit/asLocation/Relative1A.dhall +++ /dev/null @@ -1 +0,0 @@ -./some/import.dhall as Location diff --git a/dhall/tests/import/success/unit/asLocation/Relative1B.dhall b/dhall/tests/import/success/unit/asLocation/Relative1B.dhall deleted file mode 100644 index 6aee0b5..0000000 --- a/dhall/tests/import/success/unit/asLocation/Relative1B.dhall +++ /dev/null @@ -1,2 +0,0 @@ -< Environment : Text | Local : Text | Missing | Remote : Text >.Local - "./dhall/tests/import/success/unit/asLocation/some/import.dhall" diff --git a/dhall/tests/import/success/unit/asLocation/Relative2A.dhall b/dhall/tests/import/success/unit/asLocation/Relative2A.dhall deleted file mode 100644 index ec59586..0000000 --- a/dhall/tests/import/success/unit/asLocation/Relative2A.dhall +++ /dev/null @@ -1 +0,0 @@ -../some/import.dhall as Location diff --git a/dhall/tests/import/success/unit/asLocation/Relative2B.dhall b/dhall/tests/import/success/unit/asLocation/Relative2B.dhall deleted file mode 100644 index 9842f7c..0000000 --- a/dhall/tests/import/success/unit/asLocation/Relative2B.dhall +++ /dev/null @@ -1,2 +0,0 @@ -< Environment : Text | Local : Text | Missing | Remote : Text >.Local - "./dhall/tests/import/success/unit/some/import.dhall" diff --git a/dhall/tests/import/success/unit/asLocation/RemoteA.dhall b/dhall/tests/import/success/unit/asLocation/RemoteA.dhall deleted file mode 100644 index 54ea028..0000000 --- a/dhall/tests/import/success/unit/asLocation/RemoteA.dhall +++ /dev/null @@ -1 +0,0 @@ -https://example.com/foo/import.dhall as Location diff --git a/dhall/tests/import/success/unit/asLocation/RemoteB.dhall b/dhall/tests/import/success/unit/asLocation/RemoteB.dhall deleted file mode 100644 index e22cfac..0000000 --- a/dhall/tests/import/success/unit/asLocation/RemoteB.dhall +++ /dev/null @@ -1,2 +0,0 @@ -< Environment : Text | Local : Text | Missing | Remote : Text >.Remote - "https://example.com/foo/import.dhall" diff --git a/dhall/tests/import/success/unit/asLocation/RemoteCanonicalize1A.dhall b/dhall/tests/import/success/unit/asLocation/RemoteCanonicalize1A.dhall deleted file mode 100644 index 3e6378e..0000000 --- a/dhall/tests/import/success/unit/asLocation/RemoteCanonicalize1A.dhall +++ /dev/null @@ -1 +0,0 @@ -https://example.com/foo/./bar/import.dhall as Location diff --git a/dhall/tests/import/success/unit/asLocation/RemoteCanonicalize1B.dhall b/dhall/tests/import/success/unit/asLocation/RemoteCanonicalize1B.dhall deleted file mode 100644 index 0064a13..0000000 --- a/dhall/tests/import/success/unit/asLocation/RemoteCanonicalize1B.dhall +++ /dev/null @@ -1,2 +0,0 @@ -< Environment : Text | Local : Text | Missing | Remote : Text >.Remote - "https://example.com/foo/bar/import.dhall" diff --git a/dhall/tests/import/success/unit/asLocation/RemoteCanonicalize2A.dhall b/dhall/tests/import/success/unit/asLocation/RemoteCanonicalize2A.dhall deleted file mode 100644 index d3fd11e..0000000 --- a/dhall/tests/import/success/unit/asLocation/RemoteCanonicalize2A.dhall +++ /dev/null @@ -1 +0,0 @@ -https://example.com/foo/bar/../baz/import.dhall as Location diff --git a/dhall/tests/import/success/unit/asLocation/RemoteCanonicalize2B.dhall b/dhall/tests/import/success/unit/asLocation/RemoteCanonicalize2B.dhall deleted file mode 100644 index d85236b..0000000 --- a/dhall/tests/import/success/unit/asLocation/RemoteCanonicalize2B.dhall +++ /dev/null @@ -1,2 +0,0 @@ -< Environment : Text | Local : Text | Missing | Remote : Text >.Remote - "https://example.com/foo/baz/import.dhall" diff --git a/dhall/tests/import/success/unit/asLocation/RemoteCanonicalize3A.dhall b/dhall/tests/import/success/unit/asLocation/RemoteCanonicalize3A.dhall deleted file mode 100644 index 2074fbf..0000000 --- a/dhall/tests/import/success/unit/asLocation/RemoteCanonicalize3A.dhall +++ /dev/null @@ -1 +0,0 @@ -https://example.com/foo/bar/../../baz/import.dhall as Location diff --git a/dhall/tests/import/success/unit/asLocation/RemoteCanonicalize3B.dhall b/dhall/tests/import/success/unit/asLocation/RemoteCanonicalize3B.dhall deleted file mode 100644 index 45a2857..0000000 --- a/dhall/tests/import/success/unit/asLocation/RemoteCanonicalize3B.dhall +++ /dev/null @@ -1,2 +0,0 @@ -< Environment : Text | Local : Text | Missing | Remote : Text >.Remote - "https://example.com/baz/import.dhall" diff --git a/dhall/tests/import/success/unit/asLocation/RemoteCanonicalize4A.dhall b/dhall/tests/import/success/unit/asLocation/RemoteCanonicalize4A.dhall deleted file mode 100644 index 9358f44..0000000 --- a/dhall/tests/import/success/unit/asLocation/RemoteCanonicalize4A.dhall +++ /dev/null @@ -1 +0,0 @@ -https://example.com/../bar/import.dhall as Location diff --git a/dhall/tests/import/success/unit/asLocation/RemoteCanonicalize4B.dhall b/dhall/tests/import/success/unit/asLocation/RemoteCanonicalize4B.dhall deleted file mode 100644 index b5ccbcd..0000000 --- a/dhall/tests/import/success/unit/asLocation/RemoteCanonicalize4B.dhall +++ /dev/null @@ -1,2 +0,0 @@ -< Environment : Text | Local : Text | Missing | Remote : Text >.Remote - "https://example.com/../bar/import.dhall" diff --git a/dhall/tests/import/success/unit/asLocation/RemoteChain1A.dhall b/dhall/tests/import/success/unit/asLocation/RemoteChain1A.dhall deleted file mode 100644 index 7d081ab..0000000 --- a/dhall/tests/import/success/unit/asLocation/RemoteChain1A.dhall +++ /dev/null @@ -1 +0,0 @@ -https://raw.githubusercontent.com/dhall-lang/dhall-lang/0b983b92aa2222dc3e292c20550ee37dea3f41df/tests/import/data/simpleLocation.dhall diff --git a/dhall/tests/import/success/unit/asLocation/RemoteChain1B.dhall b/dhall/tests/import/success/unit/asLocation/RemoteChain1B.dhall deleted file mode 100644 index 8ac2c6b..0000000 --- a/dhall/tests/import/success/unit/asLocation/RemoteChain1B.dhall +++ /dev/null @@ -1,2 +0,0 @@ -< Environment : Text | Local : Text | Missing | Remote : Text >.Remote - "https://raw.githubusercontent.com/dhall-lang/dhall-lang/0b983b92aa2222dc3e292c20550ee37dea3f41df/tests/import/data/simple.dhall" diff --git a/dhall/tests/import/success/unit/asLocation/RemoteChain2A.dhall b/dhall/tests/import/success/unit/asLocation/RemoteChain2A.dhall deleted file mode 100644 index 9929517..0000000 --- a/dhall/tests/import/success/unit/asLocation/RemoteChain2A.dhall +++ /dev/null @@ -1 +0,0 @@ -https://raw.githubusercontent.com/Nadrieril/dhall-rust/f7d8c64a9799f139ad65427c2518376adb9e2e2f/dhall/tests/import/success/unit/asLocation/Canonicalize3A.dhall diff --git a/dhall/tests/import/success/unit/asLocation/RemoteChain2B.dhall b/dhall/tests/import/success/unit/asLocation/RemoteChain2B.dhall deleted file mode 100644 index 685dc04..0000000 --- a/dhall/tests/import/success/unit/asLocation/RemoteChain2B.dhall +++ /dev/null @@ -1,2 +0,0 @@ -< Environment : Text | Local : Text | Missing | Remote : Text >.Remote - "https://raw.githubusercontent.com/Nadrieril/dhall-rust/f7d8c64a9799f139ad65427c2518376adb9e2e2f/dhall/tests/import/success/unit/bar/import.dhall" diff --git a/dhall/tests/import/success/unit/asLocation/RemoteChain3A.dhall b/dhall/tests/import/success/unit/asLocation/RemoteChain3A.dhall deleted file mode 100644 index 851108c..0000000 --- a/dhall/tests/import/success/unit/asLocation/RemoteChain3A.dhall +++ /dev/null @@ -1 +0,0 @@ -https://raw.githubusercontent.com/Nadrieril/dhall-rust/f7d8c64a9799f139ad65427c2518376adb9e2e2f/dhall/tests/import/success/unit/asLocation/Canonicalize5A.dhall diff --git a/dhall/tests/import/success/unit/asLocation/RemoteChain3B.dhall b/dhall/tests/import/success/unit/asLocation/RemoteChain3B.dhall deleted file mode 100644 index 685dc04..0000000 --- a/dhall/tests/import/success/unit/asLocation/RemoteChain3B.dhall +++ /dev/null @@ -1,2 +0,0 @@ -< Environment : Text | Local : Text | Missing | Remote : Text >.Remote - "https://raw.githubusercontent.com/Nadrieril/dhall-rust/f7d8c64a9799f139ad65427c2518376adb9e2e2f/dhall/tests/import/success/unit/bar/import.dhall" |