Add more failures to the triggers of the ? operator fallback (#481)

As we identified in #480, the standard was underspecified on this
dhall-lang · Apr 14, 2019 · a8dabae · a8dabae
1 parent 214d124
commit a8dabae
Show file tree

Hide file tree

Showing 5 changed files with 7 additions and 0 deletions.
diff --git a/standard/semantics.md b/standard/semantics.md
@@ -5294,6 +5294,9 @@ resolve in cases like:
 * an environment variable is not defined
 * file doesn't exist
 * URL is not reachable
+* parse error
+* hash mismatch
+* typecheck error
 
 By using the `?` operator, expressions are alternatively resolved, in
 left-to-right order:

diff --git a/tests/import/success/alternativeHashMismatchA.dhall b/tests/import/success/alternativeHashMismatchA.dhall
@@ -0,0 +1 @@
+(./alternativeHashMismatchB.dhall sha256:aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa) ? 42
diff --git a/tests/import/success/alternativeHashMismatchB.dhall b/tests/import/success/alternativeHashMismatchB.dhall
@@ -0,0 +1 @@
+42
diff --git a/tests/import/success/alternativeParseErrorA.dhall b/tests/import/success/alternativeParseErrorA.dhall
@@ -0,0 +1 @@
+(../data/example.txt) ? 42
diff --git a/tests/import/success/alternativeParseErrorB.dhall b/tests/import/success/alternativeParseErrorB.dhall
@@ -0,0 +1 @@
+42