From 6654d441e5741013a8618907773ac54101e3fdf2 Mon Sep 17 00:00:00 2001
From: Nadrieril
Date: Wed, 7 Aug 2019 21:38:01 +0200
Subject: Add binary-decode tests

---
 dhall/build.rs | 23 +++++++++++++++++++++--
 1 file changed, 21 insertions(+), 2 deletions(-)

(limited to 'dhall/build.rs')

diff --git a/dhall/build.rs b/dhall/build.rs
index d3f63ad..1da06ca 100644
--- a/dhall/build.rs
+++ b/dhall/build.rs
@@ -15,11 +15,15 @@ fn dhall_files_in_dir<'a>(
         .filter_map(move |path| {
             let path = path.path();
             let path = path.strip_prefix(dir).unwrap();
-            if path.extension() != Some(&OsString::from("dhall")) {
+            let ext = path.extension();
+            if ext != Some(&OsString::from("dhall"))
+                && ext != Some(&OsString::from("dhallb"))
+            {
                 return None;
             }
+            let ext = ext.unwrap();
             let path = path.to_string_lossy();
-            let path = &path[..path.len() - 6];
+            let path = &path[..path.len() - 1 - ext.len()];
             let path = if take_a_suffix {
                 if &path[path.len() - 1..] != "A" {
                     return None;
@@ -162,6 +166,21 @@ fn main() -> std::io::Result<()> {
         },
     )?;
 
+    make_test_module(
+        &mut file,
+        "binary_decoding",
+        &tests_dir.join("binary-decode/"),
+        "BinaryDecoding",
+        |path| {
+            false
+            // TODO: projection by expression
+            || path == "success/unit/RecordProjectFields"
+            || path == "success/unit/recordProjectionByExpression"
+            // TODO: test is wrong
+            || path == "success/unit/BuiltinNaturalSubtract"
+        },
+    )?;
+
     make_test_module(
         &mut file,
         "beta_normalize",
-- 
cgit v1.2.3