From a93065fce4c55188122bee02a11d8990b0d154ce Mon Sep 17 00:00:00 2001
From: Nadrieril
Date: Mon, 23 Dec 2019 22:05:23 +0000
Subject: Update dhall-lang submodule

---
 dhall-lang     | 2 +-
 dhall/build.rs | 8 +++++++-
 2 files changed, 8 insertions(+), 2 deletions(-)

diff --git a/dhall-lang b/dhall-lang
index ee12030..3b31dea 160000
--- a/dhall-lang
+++ b/dhall-lang
@@ -1 +1 @@
-Subproject commit ee120309828f8a18b3267d192e3030add2a718e5
+Subproject commit 3b31dea1ba47f9de041a7288826f07a05a167ba7
diff --git a/dhall/build.rs b/dhall/build.rs
index 7beaa9f..70389bf 100644
--- a/dhall/build.rs
+++ b/dhall/build.rs
@@ -188,7 +188,13 @@ fn generate_tests() -> std::io::Result<()> {
             module_name: "binary_decoding_success",
             directory: spec_tests_dir.join("binary-decode/success/"),
             variant: "BinaryDecodingSuccess",
-            path_filter: Box::new(|_path: &str| false),
+            path_filter: Box::new(|path: &str| {
+                false
+                    // We don't support bignums
+                    || path == "unit/IntegerBigNegative"
+                    || path == "unit/IntegerBigPositive"
+                    || path == "unit/NaturalBig"
+            }),
             input_type: FileType::Binary,
             output_type: Some(FileType::Text),
         },
-- 
cgit v1.2.3