Commit output of printer

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..337a497
--- /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..bf808c8
--- /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..bf808c8
--- /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..15d38db
--- /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..15d38db
--- /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..1434d72
--- /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