diff options
| author | Nadrieril | 2020-03-04 21:26:01 +0000 |
|---|---|---|
| committer | Nadrieril | 2020-03-05 15:58:54 +0000 |
| commit | 903d6c0bba36a6696eb337ae84b962f4cc48b5b5 (patch) | |
| tree | 63cb58b2b566fb5532e59b1455fffc82fa89ce0d /dhall/tests/import/success | |
| parent | 5a9a5859eec0cf7deebf7fa07fe99f8dc8722ec8 (diff) | |
Implement remote imports and cleanup import chaining
Diffstat (limited to 'dhall/tests/import/success')
| -rw-r--r-- | dhall/tests/import/success/unit/RemoteAsTextA.dhall | 1 | ||||
| -rw-r--r-- | dhall/tests/import/success/unit/RemoteAsTextB.dhall | 3 |
2 files changed, 4 insertions, 0 deletions
diff --git a/dhall/tests/import/success/unit/RemoteAsTextA.dhall b/dhall/tests/import/success/unit/RemoteAsTextA.dhall new file mode 100644 index 0000000..472d041 --- /dev/null +++ b/dhall/tests/import/success/unit/RemoteAsTextA.dhall @@ -0,0 +1 @@ +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 new file mode 100644 index 0000000..1997a89 --- /dev/null +++ b/dhall/tests/import/success/unit/RemoteAsTextB.dhall @@ -0,0 +1,3 @@ +'' +Hello, world! +'' |