diff options
Diffstat (limited to '')
| -rw-r--r-- | dhall/build.rs | 11 |
1 files changed, 2 insertions, 9 deletions
diff --git a/dhall/build.rs b/dhall/build.rs index d9bceeb..1612406 100644 --- a/dhall/build.rs +++ b/dhall/build.rs @@ -286,15 +286,8 @@ fn generate_tests() -> std::io::Result<()> { // TODO: doesn't typecheck || path == "unit/RightBiasedRecordMergeWithinRecordProjection" || path == "unit/Sort" - // // TODO: Further record simplifications - || path == "simplifications/rightBiasedMergeWithinRecordProjectionWithinFieldSelection0" - || path == "simplifications/rightBiasedMergeWithinRecordProjectionWithinFieldSelection1" - || path == "simplifications/rightBiasedMergeWithinRecursiveRecordMergeWithinFieldselection" + // TODO: Further record simplifications || path == "simplifications/issue661" - || path == "unit/RecursiveRecordMergeWithinFieldSelection0" - || path == "unit/RecursiveRecordMergeWithinFieldSelection1" - || path == "unit/RecursiveRecordMergeWithinFieldSelection2" - || path == "unit/RecursiveRecordMergeWithinFieldSelection3" }), input_type: FileType::Text, output_type: Some(FileType::Text), @@ -304,7 +297,7 @@ fn generate_tests() -> std::io::Result<()> { directory: "alpha-normalization/success/", variant: "AlphaNormalization", path_filter: Box::new(|path: &str| { - // This test doesn't typecheck + // This test is designed to not typecheck path == "unit/FunctionNestedBindingXXFree" }), input_type: FileType::Text, |