summaryrefslogtreecommitdiff
path: root/dhall/tests
diff options
context:
space:
mode:
authorNadrieril Feneanar2019-03-20 23:18:04 +0100
committerGitHub2019-03-20 23:18:04 +0100
commitc15c71b4fb390913914c7669d906dc892078df7c (patch)
treeacc2a21c064fb62631c076d8c135ae929ce07542 /dhall/tests
parent049f1f12bcf3013e31b179fd469a4ff0f61bf831 (diff)
parent4d616450d6883e68672a91f447999660fa17636c (diff)
Merge pull request #34 from Nadrieril/rewrite-parser-macros
Rewrite parser macros
Diffstat (limited to 'dhall/tests')
-rw-r--r--dhall/tests/common/mod.rs17
-rw-r--r--dhall/tests/normalization.rs2
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");