summaryrefslogtreecommitdiff
path: root/dhall
diff options
context:
space:
mode:
authorNadrieril2020-12-06 17:18:58 +0000
committerNadrieril2020-12-06 17:57:05 +0000
commit980349dff0aaaa6ed34ae78d53ff57b67d7629d5 (patch)
treeae4e2acb5830fe6777a06f2eec95091f0f9ec8bd /dhall
parent3c0a850d1522701e136f4fafbcf69d46560fe0ee (diff)
Add test
Diffstat (limited to '')
-rw-r--r--dhall/tests/import/success/unit/MixImportModesA.dhall1
-rw-r--r--dhall/tests/import/success/unit/MixImportModesB.dhall1
-rw-r--r--dhall/tests/spec.rs2
3 files changed, 4 insertions, 0 deletions
diff --git a/dhall/tests/import/success/unit/MixImportModesA.dhall b/dhall/tests/import/success/unit/MixImportModesA.dhall
new file mode 100644
index 0000000..8946ff8
--- /dev/null
+++ b/dhall/tests/import/success/unit/MixImportModesA.dhall
@@ -0,0 +1 @@
+{ n = ../../data/simple.dhall, txt = ../../data/simple.dhall as Text, loc = ../../data/simple.dhall as Location }
diff --git a/dhall/tests/import/success/unit/MixImportModesB.dhall b/dhall/tests/import/success/unit/MixImportModesB.dhall
new file mode 100644
index 0000000..a4e02f5
--- /dev/null
+++ b/dhall/tests/import/success/unit/MixImportModesB.dhall
@@ -0,0 +1 @@
+{ loc = < Environment: Text | Local: Text | Missing | Remote: Text >.Local "./dhall/tests/import/data/simple.dhall", n = < Environment: Text | Local: Text | Missing | Remote: Text >.Local "./dhall/tests/import/data/simple.dhall", txt = < Environment: Text | Local: Text | Missing | Remote: Text >.Local "./dhall/tests/import/data/simple.dhall" }
diff --git a/dhall/tests/spec.rs b/dhall/tests/spec.rs
index 6b156f6..d3db321 100644
--- a/dhall/tests/spec.rs
+++ b/dhall/tests/spec.rs
@@ -535,6 +535,8 @@ fn ignore_test(variant: SpecTestKind, path: &str) -> bool {
// Failing for now, we should fix that.
let is_failing_for_now = false
+ // TODO: fix that one
+ // || path == "import/success/unit/MixImportModes"
// TODO: fails because of caching issues.
|| path == "type-inference/success/prelude"
// TODO: do not recover from cyclic imports