diff options
Diffstat (limited to '')
49 files changed, 49 insertions, 0 deletions
diff --git a/dhall/tests/parser/success/unit/import/AsLocationAbsoluteB.txt b/dhall/tests/parser/success/unit/import/AsLocationAbsoluteB.txt new file mode 100644 index 0000000..dcf45d1 --- /dev/null +++ b/dhall/tests/parser/success/unit/import/AsLocationAbsoluteB.txt @@ -0,0 +1 @@ +/absolute/import as Location diff --git a/dhall/tests/parser/success/unit/import/AsLocationEnvB.txt b/dhall/tests/parser/success/unit/import/AsLocationEnvB.txt new file mode 100644 index 0000000..eb4b4a6 --- /dev/null +++ b/dhall/tests/parser/success/unit/import/AsLocationEnvB.txt @@ -0,0 +1 @@ +env:HOME as Location diff --git a/dhall/tests/parser/success/unit/import/AsLocationHashB.txt b/dhall/tests/parser/success/unit/import/AsLocationHashB.txt new file mode 100644 index 0000000..c9e2456 --- /dev/null +++ b/dhall/tests/parser/success/unit/import/AsLocationHashB.txt @@ -0,0 +1 @@ +./some/import sha256:0000000000000000000000000000000000000000000000000000000000000000 as Location diff --git a/dhall/tests/parser/success/unit/import/AsLocationLocalB.txt b/dhall/tests/parser/success/unit/import/AsLocationLocalB.txt new file mode 100644 index 0000000..d92ea82 --- /dev/null +++ b/dhall/tests/parser/success/unit/import/AsLocationLocalB.txt @@ -0,0 +1 @@ +./local/import as Location diff --git a/dhall/tests/parser/success/unit/import/AsLocationMissingB.txt b/dhall/tests/parser/success/unit/import/AsLocationMissingB.txt new file mode 100644 index 0000000..e06a30b --- /dev/null +++ b/dhall/tests/parser/success/unit/import/AsLocationMissingB.txt @@ -0,0 +1 @@ +missing as Location diff --git a/dhall/tests/parser/success/unit/import/AsLocationRemoteB.txt b/dhall/tests/parser/success/unit/import/AsLocationRemoteB.txt new file mode 100644 index 0000000..e0be314 --- /dev/null +++ b/dhall/tests/parser/success/unit/import/AsLocationRemoteB.txt @@ -0,0 +1 @@ +https://prelude.dhall-lang.org/package.dhall as Location diff --git a/dhall/tests/parser/success/unit/import/HeadersB.txt b/dhall/tests/parser/success/unit/import/HeadersB.txt new file mode 100644 index 0000000..47eb98e --- /dev/null +++ b/dhall/tests/parser/success/unit/import/HeadersB.txt @@ -0,0 +1 @@ +https://example.com/foo using x diff --git a/dhall/tests/parser/success/unit/import/HeadersDoubleHashB.txt b/dhall/tests/parser/success/unit/import/HeadersDoubleHashB.txt new file mode 100644 index 0000000..31e19eb --- /dev/null +++ b/dhall/tests/parser/success/unit/import/HeadersDoubleHashB.txt @@ -0,0 +1 @@ +https://example.com/foo using ./headers sha256:0000000000000000000000000000000000000000000000000000000000000000 sha256:1111111111111111111111111111111111111111111111111111111111111111 diff --git a/dhall/tests/parser/success/unit/import/HeadersDoubleHashPrecedenceB.txt b/dhall/tests/parser/success/unit/import/HeadersDoubleHashPrecedenceB.txt new file mode 100644 index 0000000..31e19eb --- /dev/null +++ b/dhall/tests/parser/success/unit/import/HeadersDoubleHashPrecedenceB.txt @@ -0,0 +1 @@ +https://example.com/foo using ./headers sha256:0000000000000000000000000000000000000000000000000000000000000000 sha256:1111111111111111111111111111111111111111111111111111111111111111 diff --git a/dhall/tests/parser/success/unit/import/HeadersHashPrecedenceB.txt b/dhall/tests/parser/success/unit/import/HeadersHashPrecedenceB.txt new file mode 100644 index 0000000..e2d5899 --- /dev/null +++ b/dhall/tests/parser/success/unit/import/HeadersHashPrecedenceB.txt @@ -0,0 +1 @@ +https://example.com/foo using ./headers sha256:0000000000000000000000000000000000000000000000000000000000000000 diff --git a/dhall/tests/parser/success/unit/import/HeadersInteriorHashB.txt b/dhall/tests/parser/success/unit/import/HeadersInteriorHashB.txt new file mode 100644 index 0000000..e2d5899 --- /dev/null +++ b/dhall/tests/parser/success/unit/import/HeadersInteriorHashB.txt @@ -0,0 +1 @@ +https://example.com/foo using ./headers sha256:0000000000000000000000000000000000000000000000000000000000000000 diff --git a/dhall/tests/parser/success/unit/import/ImportAsNoSpaceB.txt b/dhall/tests/parser/success/unit/import/ImportAsNoSpaceB.txt new file mode 100644 index 0000000..7eb5bb8 --- /dev/null +++ b/dhall/tests/parser/success/unit/import/ImportAsNoSpaceB.txt @@ -0,0 +1 @@ +./import asText diff --git a/dhall/tests/parser/success/unit/import/MissingB.txt b/dhall/tests/parser/success/unit/import/MissingB.txt new file mode 100644 index 0000000..33e45d5 --- /dev/null +++ b/dhall/tests/parser/success/unit/import/MissingB.txt @@ -0,0 +1 @@ +missing diff --git a/dhall/tests/parser/success/unit/import/asTextB.txt b/dhall/tests/parser/success/unit/import/asTextB.txt new file mode 100644 index 0000000..d1d9139 --- /dev/null +++ b/dhall/tests/parser/success/unit/import/asTextB.txt @@ -0,0 +1 @@ +https://example.com/foo as Text diff --git a/dhall/tests/parser/success/unit/import/environmentVariableBashB.txt b/dhall/tests/parser/success/unit/import/environmentVariableBashB.txt new file mode 100644 index 0000000..4dc0aa4 --- /dev/null +++ b/dhall/tests/parser/success/unit/import/environmentVariableBashB.txt @@ -0,0 +1 @@ +env:FOO diff --git a/dhall/tests/parser/success/unit/import/environmentVariablePosixB.txt b/dhall/tests/parser/success/unit/import/environmentVariablePosixB.txt new file mode 100644 index 0000000..abb9fe1 --- /dev/null +++ b/dhall/tests/parser/success/unit/import/environmentVariablePosixB.txt @@ -0,0 +1 @@ +env:"\"\\\a\b\f\n\r\t\v!<[~" diff --git a/dhall/tests/parser/success/unit/import/hashB.txt b/dhall/tests/parser/success/unit/import/hashB.txt new file mode 100644 index 0000000..d3ed45a --- /dev/null +++ b/dhall/tests/parser/success/unit/import/hashB.txt @@ -0,0 +1 @@ +./"a.dhall" sha256:16173e984d35ee3ffd8b6b79167df89480e67d1cd03ea5d0fc93689e4d928e61 diff --git a/dhall/tests/parser/success/unit/import/importAltB.txt b/dhall/tests/parser/success/unit/import/importAltB.txt new file mode 100644 index 0000000..147ae85 --- /dev/null +++ b/dhall/tests/parser/success/unit/import/importAltB.txt @@ -0,0 +1 @@ +env:UNSET1 as Text ? env:UNSET2 ? missing ? env:UNSET3 ? 2 diff --git a/dhall/tests/parser/success/unit/import/inlineUsingB.txt b/dhall/tests/parser/success/unit/import/inlineUsingB.txt new file mode 100644 index 0000000..b36afc0 --- /dev/null +++ b/dhall/tests/parser/success/unit/import/inlineUsingB.txt @@ -0,0 +1 @@ +https://example.com/foo using [{ mapKey = "Authorization", mapValue = "token 5199831f4dd3b79e7c5b7e0ebe75d67aa66e79d4" }] diff --git a/dhall/tests/parser/success/unit/import/pathAbsoluteB.txt b/dhall/tests/parser/success/unit/import/pathAbsoluteB.txt new file mode 100644 index 0000000..eedebe6 --- /dev/null +++ b/dhall/tests/parser/success/unit/import/pathAbsoluteB.txt @@ -0,0 +1 @@ +/absolute/path diff --git a/dhall/tests/parser/success/unit/import/pathHereB.txt b/dhall/tests/parser/success/unit/import/pathHereB.txt new file mode 100644 index 0000000..20be97e --- /dev/null +++ b/dhall/tests/parser/success/unit/import/pathHereB.txt @@ -0,0 +1 @@ +./relative/path diff --git a/dhall/tests/parser/success/unit/import/pathHomeB.txt b/dhall/tests/parser/success/unit/import/pathHomeB.txt new file mode 100644 index 0000000..28b8bd9 --- /dev/null +++ b/dhall/tests/parser/success/unit/import/pathHomeB.txt @@ -0,0 +1 @@ +~/home/anchored/path diff --git a/dhall/tests/parser/success/unit/import/pathParentB.txt b/dhall/tests/parser/success/unit/import/pathParentB.txt new file mode 100644 index 0000000..12cd2c7 --- /dev/null +++ b/dhall/tests/parser/success/unit/import/pathParentB.txt @@ -0,0 +1 @@ +../parent/path diff --git a/dhall/tests/parser/success/unit/import/pathTerminationLambdaB.txt b/dhall/tests/parser/success/unit/import/pathTerminationLambdaB.txt new file mode 100644 index 0000000..a0117cd --- /dev/null +++ b/dhall/tests/parser/success/unit/import/pathTerminationLambdaB.txt @@ -0,0 +1 @@ +λ(x : ./example) → x diff --git a/dhall/tests/parser/success/unit/import/pathTerminationListB.txt b/dhall/tests/parser/success/unit/import/pathTerminationListB.txt new file mode 100644 index 0000000..a565a6e --- /dev/null +++ b/dhall/tests/parser/success/unit/import/pathTerminationListB.txt @@ -0,0 +1 @@ +[./example, ./example, ./example] diff --git a/dhall/tests/parser/success/unit/import/pathTerminationRecordB.txt b/dhall/tests/parser/success/unit/import/pathTerminationRecordB.txt new file mode 100644 index 0000000..5304fc2 --- /dev/null +++ b/dhall/tests/parser/success/unit/import/pathTerminationRecordB.txt @@ -0,0 +1 @@ +{ bar = ./example, foo = ./example } diff --git a/dhall/tests/parser/success/unit/import/pathTerminationUnionB.txt b/dhall/tests/parser/success/unit/import/pathTerminationUnionB.txt new file mode 100644 index 0000000..77eff8a --- /dev/null +++ b/dhall/tests/parser/success/unit/import/pathTerminationUnionB.txt @@ -0,0 +1 @@ +< foo: ./"example|" bar : ./example > diff --git a/dhall/tests/parser/success/unit/import/quotedPathsB.txt b/dhall/tests/parser/success/unit/import/quotedPathsB.txt new file mode 100644 index 0000000..4705ca3 --- /dev/null +++ b/dhall/tests/parser/success/unit/import/quotedPathsB.txt @@ -0,0 +1 @@ +{ example0 = /foo/bar/"baz qux", example1 = https://example.com/foo/bar%3Fbaz?qux } diff --git a/dhall/tests/parser/success/unit/import/unicodePathsB.txt b/dhall/tests/parser/success/unit/import/unicodePathsB.txt new file mode 100644 index 0000000..179220a --- /dev/null +++ b/dhall/tests/parser/success/unit/import/unicodePathsB.txt @@ -0,0 +1 @@ +./families/"禺.dhall" diff --git a/dhall/tests/parser/success/unit/import/urls/basicHttpB.txt b/dhall/tests/parser/success/unit/import/urls/basicHttpB.txt new file mode 100644 index 0000000..cf5ddf7 --- /dev/null +++ b/dhall/tests/parser/success/unit/import/urls/basicHttpB.txt @@ -0,0 +1 @@ +http://example.com/someFile.dhall diff --git a/dhall/tests/parser/success/unit/import/urls/basicHttpsB.txt b/dhall/tests/parser/success/unit/import/urls/basicHttpsB.txt new file mode 100644 index 0000000..009061c --- /dev/null +++ b/dhall/tests/parser/success/unit/import/urls/basicHttpsB.txt @@ -0,0 +1 @@ +https://raw.githubusercontent.com/dhall-lang/dhall-haskell/18e4e9a18dc53271146df3ccf5b4177c3552236b/examples/True diff --git a/dhall/tests/parser/success/unit/import/urls/emptyPath0B.txt b/dhall/tests/parser/success/unit/import/urls/emptyPath0B.txt new file mode 100644 index 0000000..dc54b2a --- /dev/null +++ b/dhall/tests/parser/success/unit/import/urls/emptyPath0B.txt @@ -0,0 +1 @@ +https://example.com/ diff --git a/dhall/tests/parser/success/unit/import/urls/emptyPath1B.txt b/dhall/tests/parser/success/unit/import/urls/emptyPath1B.txt new file mode 100644 index 0000000..dc54b2a --- /dev/null +++ b/dhall/tests/parser/success/unit/import/urls/emptyPath1B.txt @@ -0,0 +1 @@ +https://example.com/ diff --git a/dhall/tests/parser/success/unit/import/urls/emptyPathSegmentB.txt b/dhall/tests/parser/success/unit/import/urls/emptyPathSegmentB.txt new file mode 100644 index 0000000..426416a --- /dev/null +++ b/dhall/tests/parser/success/unit/import/urls/emptyPathSegmentB.txt @@ -0,0 +1 @@ +https://example.com/foo//bar diff --git a/dhall/tests/parser/success/unit/import/urls/emptyQueryB.txt b/dhall/tests/parser/success/unit/import/urls/emptyQueryB.txt new file mode 100644 index 0000000..aa8474d --- /dev/null +++ b/dhall/tests/parser/success/unit/import/urls/emptyQueryB.txt @@ -0,0 +1 @@ +https://example.com/foo? diff --git a/dhall/tests/parser/success/unit/import/urls/escapedPathB.txt b/dhall/tests/parser/success/unit/import/urls/escapedPathB.txt new file mode 100644 index 0000000..a72cff1 --- /dev/null +++ b/dhall/tests/parser/success/unit/import/urls/escapedPathB.txt @@ -0,0 +1 @@ +https://example.com/a%20b/c%2fd/e+f/g%2dh diff --git a/dhall/tests/parser/success/unit/import/urls/escapedQueryB.txt b/dhall/tests/parser/success/unit/import/urls/escapedQueryB.txt new file mode 100644 index 0000000..9f1776e --- /dev/null +++ b/dhall/tests/parser/success/unit/import/urls/escapedQueryB.txt @@ -0,0 +1 @@ +https://example.com/foo?a%20b=c%2fd&e+f/? diff --git a/dhall/tests/parser/success/unit/import/urls/fragmentParsesAsListAppendB.txt b/dhall/tests/parser/success/unit/import/urls/fragmentParsesAsListAppendB.txt new file mode 100644 index 0000000..d6df585 --- /dev/null +++ b/dhall/tests/parser/success/unit/import/urls/fragmentParsesAsListAppendB.txt @@ -0,0 +1 @@ +https://example.com/foo # bar diff --git a/dhall/tests/parser/success/unit/import/urls/ipv4B.txt b/dhall/tests/parser/success/unit/import/urls/ipv4B.txt new file mode 100644 index 0000000..68f3114 --- /dev/null +++ b/dhall/tests/parser/success/unit/import/urls/ipv4B.txt @@ -0,0 +1 @@ +https://127.0.0.1/index.dhall diff --git a/dhall/tests/parser/success/unit/import/urls/ipv4upperoctetsB.txt b/dhall/tests/parser/success/unit/import/urls/ipv4upperoctetsB.txt new file mode 100644 index 0000000..57a688c --- /dev/null +++ b/dhall/tests/parser/success/unit/import/urls/ipv4upperoctetsB.txt @@ -0,0 +1 @@ +https://200.249.250.255/index.dhall diff --git a/dhall/tests/parser/success/unit/import/urls/ipv6longB.txt b/dhall/tests/parser/success/unit/import/urls/ipv6longB.txt new file mode 100644 index 0000000..4cf06bc --- /dev/null +++ b/dhall/tests/parser/success/unit/import/urls/ipv6longB.txt @@ -0,0 +1 @@ +https://[2001:db8:85a3:0:0:8a2e:370:7334]/tutorial.dhall diff --git a/dhall/tests/parser/success/unit/import/urls/ipv6mediumB.txt b/dhall/tests/parser/success/unit/import/urls/ipv6mediumB.txt new file mode 100644 index 0000000..0f877e6 --- /dev/null +++ b/dhall/tests/parser/success/unit/import/urls/ipv6mediumB.txt @@ -0,0 +1 @@ +https://[2001:db8:85a3::8a2e:370:7334]/tutorial.dhall diff --git a/dhall/tests/parser/success/unit/import/urls/ipv6shortB.txt b/dhall/tests/parser/success/unit/import/urls/ipv6shortB.txt new file mode 100644 index 0000000..2d30f9d --- /dev/null +++ b/dhall/tests/parser/success/unit/import/urls/ipv6shortB.txt @@ -0,0 +1 @@ +https://[::]/index.dhall diff --git a/dhall/tests/parser/success/unit/import/urls/ipv6verylongB.txt b/dhall/tests/parser/success/unit/import/urls/ipv6verylongB.txt new file mode 100644 index 0000000..3c63448 --- /dev/null +++ b/dhall/tests/parser/success/unit/import/urls/ipv6verylongB.txt @@ -0,0 +1 @@ +http://[AAAA:BBBB:CCCC:DDDD:EEEE:FFFF:0000::]/tutorial.dhall diff --git a/dhall/tests/parser/success/unit/import/urls/ipv6withipv4B.txt b/dhall/tests/parser/success/unit/import/urls/ipv6withipv4B.txt new file mode 100644 index 0000000..e8bc016 --- /dev/null +++ b/dhall/tests/parser/success/unit/import/urls/ipv6withipv4B.txt @@ -0,0 +1 @@ +https://[2001:db8:85a3::8a2e:3.112.115.52]/tutorial.dhall diff --git a/dhall/tests/parser/success/unit/import/urls/portB.txt b/dhall/tests/parser/success/unit/import/urls/portB.txt new file mode 100644 index 0000000..84dfbeb --- /dev/null +++ b/dhall/tests/parser/success/unit/import/urls/portB.txt @@ -0,0 +1 @@ +https://example.com:1234/foo diff --git a/dhall/tests/parser/success/unit/import/urls/potPourriB.txt b/dhall/tests/parser/success/unit/import/urls/potPourriB.txt new file mode 100644 index 0000000..4de1b98 --- /dev/null +++ b/dhall/tests/parser/success/unit/import/urls/potPourriB.txt @@ -0,0 +1 @@ +https://-._~%2C!$&'*+;=:@0abc1--12a------a-a--a-0/foo?/-._~%2C!$&'*+;=:@/? diff --git a/dhall/tests/parser/success/unit/import/urls/quotedPathFakeUrlEncodeB.txt b/dhall/tests/parser/success/unit/import/urls/quotedPathFakeUrlEncodeB.txt new file mode 100644 index 0000000..a8366d2 --- /dev/null +++ b/dhall/tests/parser/success/unit/import/urls/quotedPathFakeUrlEncodeB.txt @@ -0,0 +1 @@ +https://example.com/a%20b/c diff --git a/dhall/tests/parser/success/unit/import/urls/userinfoB.txt b/dhall/tests/parser/success/unit/import/urls/userinfoB.txt new file mode 100644 index 0000000..7de045e --- /dev/null +++ b/dhall/tests/parser/success/unit/import/urls/userinfoB.txt @@ -0,0 +1 @@ +https://john:doe@example.com/foo |