diff options
| m--------- | dhall-lang | 0 | ||||
| -rw-r--r-- | dhall/build.rs | 8 |
2 files changed, 7 insertions, 1 deletions
diff --git a/dhall-lang b/dhall-lang -Subproject ee120309828f8a18b3267d192e3030add2a718e +Subproject 3b31dea1ba47f9de041a7288826f07a05a167ba 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), }, |