summaryrefslogtreecommitdiff
path: root/dhall/build.rs
diff options
context:
space:
mode:
authorNadrieril2019-08-06 23:03:01 +0200
committerNadrieril2019-08-06 23:03:01 +0200
commitf7b0c6b9c52f65624dc765fb9eaa7d0d94eeae76 (patch)
treeb72b50561bb3f6f335699c76402819ed20bf42b9 /dhall/build.rs
parenta307a13738ccca538635ae796e6c998439025b9b (diff)
Generalize empty list annotations
Diffstat (limited to '')
-rw-r--r--dhall/build.rs2
1 files changed, 2 insertions, 0 deletions
diff --git a/dhall/build.rs b/dhall/build.rs
index 2d75cbf..07da3f5 100644
--- a/dhall/build.rs
+++ b/dhall/build.rs
@@ -103,6 +103,8 @@ fn main() -> std::io::Result<()> {
|| path == "success/unit/import/urls/potPourri"
// TODO: toMap
|| path == "success/toMap"
+ // Not a failure anymore
+ || path == "failure/unit/ListLitEmptyPrecedence"
},
)?;