diff options
| author | Nadrieril | 2020-03-05 15:50:45 +0000 |
|---|---|---|
| committer | Nadrieril | 2020-03-05 15:56:50 +0000 |
| commit | 29208b0bf3dd2667f92774dacb3a7f058c4cd895 (patch) | |
| tree | 5a40ee7a9d33d9954005917fc8c60f50ca2090e2 /dhall/build.rs | |
| parent | 2ca97e97f1718141d826a78ab3da8197b2d55c69 (diff) | |
Implement some normalization simplifications
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, |