summaryrefslogtreecommitdiff
path: root/dhall
diff options
context:
space:
mode:
Diffstat (limited to 'dhall')
-rw-r--r--dhall/build.rs8
1 files changed, 7 insertions, 1 deletions
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),
},