diff options
Diffstat (limited to 'dhall/tests/import/success/unit/asLocation')
48 files changed, 0 insertions, 70 deletions
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" |