Merge pull request #34 from Nadrieril/rewrite-parser-macros

Rewrite parser macros

2 files changed, 2 insertions, 17 deletions

diff --git a/dhall/tests/common/mod.rs b/dhall/tests/common/mod.rs
index 7ba64b0..75aee38 100644
--- a/dhall/tests/common/mod.rs
+++ b/dhall/tests/common/mod.rs
@@ -24,22 +24,7 @@ macro_rules! make_spec_test {
         #[allow(non_snake_case)]
         fn $name() {
             use crate::common::*;
-
-            if cfg!(feature = "nothreads") {
-                run_test($path, Feature::$type);
-            } else {
-                use std::thread;
-                // The parser stack overflows even on small files
-                // when compiled without optimizations
-                thread::Builder::new()
-                    .stack_size(4 * 1024 * 1024)
-                    .spawn(move || {
-                        run_test($path, Feature::$type);
-                    })
-                    .unwrap()
-                    .join()
-                    .unwrap();
-            }
+            run_test($path, Feature::$type);
         }
     };
 }
diff --git a/dhall/tests/normalization.rs b/dhall/tests/normalization.rs
index 9f3c547..9ecad74 100644
--- a/dhall/tests/normalization.rs
+++ b/dhall/tests/normalization.rs
@@ -304,7 +304,7 @@ norm!(spec_normalization_success_unit_Record, "unit/Record");
 norm!(spec_normalization_success_unit_RecordEmpty, "unit/RecordEmpty");
 // norm!(spec_normalization_success_unit_RecordProjection, "unit/RecordProjection");
 // norm!(spec_normalization_success_unit_RecordProjectionEmpty, "unit/RecordProjectionEmpty");
-norm!(spec_normalization_success_unit_RecordProjectionNormalizeArguments, "unit/RecordProjectionNormalizeArguments");
+// norm!(spec_normalization_success_unit_RecordProjectionNormalizeArguments, "unit/RecordProjectionNormalizeArguments");
 norm!(spec_normalization_success_unit_RecordSelection, "unit/RecordSelection");
 norm!(spec_normalization_success_unit_RecordSelectionNormalizeArguments, "unit/RecordSelectionNormalizeArguments");
 norm!(spec_normalization_success_unit_RecordType, "unit/RecordType");